Original bug ID: 2018
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Jim Farrand
Version: 3.07+2
OS: Gentoo GNU/Linux
Submission from: 81-178-234-70.dsl.pipex.com (81.178.234.70)

A type which is valid in the old syntax, but when converted to the revised
syntax with camlp4 is not accepted by the compiler.

Put the following type in the file bad_o.mli:

val foo : (< bar : unit; .. > as 'a) -> 'a

This can be compiled trivially by ocamlc. Convert to the revised syntax with
the following command:

camlp4o pr_r.cmo bad_o.mli >bad_r.mli

We get the following type in the revised syntax:

value foo : (< bar : unit; .. > as 'a) -> 'a;

However, this type is not accepted by the compiler:

ocamlc -pp camlp4r bad_r.mli
File "bad_r.mli", line 2, characters 27-29:
Parse error: [field] expected after ';' (in [type])
Preprocessor error

I'm not sure if this is a bug in the printer (pr_r.cmo) or the parser
(pa_r.cmo).