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

Bug description

Full_Name: Francois Rouaix
Version: 3.04
OS: Linux
Submission from: ca-redbch-u1-c3b-189.stmnca.adelphia.net (24.54.194.189)

Consider the following .mli file

val f : ?a:int -> unit
val g : ?a : int -> unit

It compiles with ocamlc
but ocamlc -pp ocamlp4o fails with
Parse error: [type] expected after ':' (in [sig_item])
Preprocessing error

Not clear if the bug is in the reference grammar, in camlp4o or camlc.
You decide. Now that I have to use -pp camlp4o everywhere to get my
stream code to compile, I'd like -pp camlp4o to be backward compatible...
If the code compiles without, it should compile with.

Not urgent to fix since the workaround is obvious...