MantisBT - OCaml
View Issue Details
0004165OCaml-for Camlp4 use https://github.com/ocaml/camlp4/issuespublic2006-11-17 05:002007-02-21 15:46
pietro 
ertai 
normalminoralways
closedno change required 
3.09.2 
3.10+dev 
0004165: private rows syntax does not work
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
No tags attached.
Issue History
2006-11-17 05:00pietroNew Issue
2006-11-20 10:16ertaiNote Added: 0003848
2006-11-20 10:16ertaiAssigned To => ertai
2006-11-20 10:16ertaiStatusnew => resolved
2006-11-20 10:16ertaiResolutionopen => no change required
2007-02-21 15:46xleroyStatusresolved => closed
2007-02-21 15:46xleroyFixed in Version => 3.10+dev
2016-02-08 12:49doligezCategoryCamlp4 => for Camlp4 use https://github.com/ocaml/camlp4/issues/102 [^]
2016-02-08 12:50doligezCategoryfor Camlp4 use https://github.com/ocaml/camlp4/issues/102 [^] => for Camlp4 use https://github.com/ocaml/camlp4/issues [^]
2017-02-23 16:43doligezCategoryfor Camlp4 use https://github.com/ocaml/camlp4/issues [^] => -for Camlp4 use https://github.com/ocaml/camlp4/issues [^]

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