Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004242OCamlCamlp4public2007-03-24 15:462009-03-31 13:07
Reporterxiemaisi 
Assigned Toertai 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version3.09.3 
Target VersionFixed in Version3.10.0 
Summary0004242: camlp4 does not parse module constraints correctly
DescriptionCamlp4 refuses to parse module constraints containing functor applications, i.e. constraints of the form "with module B = F(A)". According to the OCaml manual, such applications should be allowed (see section 6.10, production "mod-constraint").

The following (short but nonsensical) code compiles under pure ocamlc, but gives a "bad modules expr long ident" failure under camlp4 for the constraint in module type C:

======================================================================
module type A = sig end
module F (X:A) : A = struct end
module type B = sig module Y : A end
module type C =
  (sig
     module M1 : A
     module M2 : B with module Y = F(M1)
   end)
======================================================================
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003993)
ertai (developer)
2007-03-24 16:31

Already fixed in CVS for 3.10

- Issue History
Date Modified Username Field Change
2007-03-24 15:46 xiemaisi New Issue
2007-03-24 16:31 ertai Note Added: 0003993
2007-03-24 16:31 ertai Assigned To => ertai
2007-03-24 16:31 ertai Status new => resolved
2007-03-24 16:31 ertai Resolution open => no change required
2007-03-24 16:31 ertai Fixed in Version => 3.10+dev
2009-03-31 13:07 xleroy Status resolved => closed
2009-03-31 13:07 xleroy Fixed in Version 3.10+dev => 3.10.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker