0004165: private rows syntax does not work

Viewing Issue Simple Details [ Jump to Notes ]

[ View Advanced ] [ Issue History ] [ Print ]

Category

Severity

Reproducibility

Date Submitted

Last Update

0004165

[OCaml] Camlp4

minor

always

2006-11-17 05:00

2007-02-21 15:46

Reporter

pietro

View Status

public

Assigned To

ertai

Priority

normal

Resolution

no change required

Status

closed

Product Version

3.09.2

Summary

0004165: private rows syntax does not work

Description

I've this snippet of code:

----------
type st = [ `A ]

module Make(T: sig type t end with type t = private [> st ] )
= struct
let test = 1
end
-----------

it compiles fine with ocamlc , but it fails with camlp4 ...

ocamlfind ocamlc -c -pp "camlp4o -I . pa_extend.cmo q_MLast.cmo " -I
/usr/lib/ocaml/3.09.2/camlp4 pr.ml
File "pr.ml", line 4, characters 44-51:
Parse error: [type] expected after '=' (in [with_constr])
Uncaught exception: Stream.Error("[type] expected after '=' (in
[with_constr])")
Preprocessor error

Additional Information

Tags

No tags attached.

Attached Files

Relationships

Notes
(0003848) ertai (developer) 2006-11-20 10:16	Already fixed in the CVS (wait for the 3.10 release)

Issue History
Date Modified	Username	Field	Change
2006-11-17 05:00	pietro	New Issue
2006-11-20 10:16	ertai	Note Added: 0003848
2006-11-20 10:16	ertai	Assigned To	=> ertai
2006-11-20 10:16	ertai	Status	new => resolved
2006-11-20 10:16	ertai	Resolution	open => no change required
2007-02-21 15:46	xleroy	Status	resolved => closed
2007-02-21 15:46	xleroy	Fixed in Version	=> 3.10+dev