You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 2018 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
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).
The text was updated successfully, but these errors were encountered: