Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000300OCamlOCaml generalpublic2001-03-05 11:002001-03-06 10:50
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000300: problem with class types in camlp4
DescriptionHi,

about a week ago I reported the following problem to
daniel.de_rauglaudre@inria.fr, but until now I haven't got any
reactions. Could you please forward this to the person
responsible for camlp4?

camlp4o aborts on the following valid ocaml program:

    class type ['a, 'b] classtype =
    object
      method a : 'a
      method b : 'b
    end

    class ['a, 'b] cl a b : ['a, 'b] classtype =
    object
      method a = a
      method b = b
    end

I use Camlp4 version 3.00 and The Objective Caml compiler,
version 3.00.

Bye,

Hendrik


-----------------------------------------------------------------
Hendrik Tews Department of Theoretical Computer Science
                 Dresden University of Technology, Germany

Telefon: +49 351 463 8351
e-mail: tews@tcs.inf.tu-dresden.de
www: http://home.pages.de/~tews/ [^]
pgp key: http://home.pages.de/~tews/pgpkey.asc [^]
-----------------------------------------------------------------

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000523)
administrator (administrator)
2001-03-05 18:04

Hi,

> camlp4o aborts on the following valid ocaml program:
>
> class type ['a, 'b] classtype =
> object
> method a : 'a
> method b : 'b
> end
>
> class ['a, 'b] cl a b : ['a, 'b] classtype =
> object
> method a = a
> method b = b
> end

Ok, it is fixed for version 3.01 coming very soon.

--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/ [^]

(0000524)
administrator (administrator)
2001-03-06 10:50

Fixed by DdR 2001-03-05.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker