0004242: camlp4 does not parse module constraints correctly

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004242

OCaml

Camlp4

public

2007-03-24 15:46

2009-03-31 13:07

Reporter

xiemaisi

Assigned To

ertai

Priority

normal

Severity

major

Reproducibility

always

Status

closed

Resolution

no change required

Platform

OS Version

Product Version

3.09.3

Target Version

Fixed in Version

3.10.0

Summary

0004242: camlp4 does not parse module constraints correctly

Description

Camlp4 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)
======================================================================

Tags

No 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