Original bug ID: 4216
Reporter: wneumann
Assigned to: ertai
Status: closed (set by @xavierleroy on 2009-03-31T11:03:19Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.10+dev
Fixed in version: 3.11.0
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues

Bug description

Two problems have recently come to light when trying to build Gerd Stolpmann's ocamlnet-2.2.4 with the CVS version of ocaml (3.10+24). Both issues involve camlp4 not accepting syntax that OCaml does (and that camlp4 version 3.09.3 accepted as well).

The first involves polymorphic variants: camlp4 no longer accepts definitions where a | character precedes the first variant, e.g. type t = [ | A | B ]. This can be seen from the command line:

[251] 12:48PM% camlp4o -printer o -str 'type t = [ | A | B ]'
File "/tmp/from_string7b9067.ml", line 1, characters 11-12:
Parse error: ">" or [row_field] expected after "[" (in [ctyp])

The second issue involves the declaration of external functions where one supplies separate C functions for native and bytecode compilation. Here, camlp4 doesn't appear to treat the second, native function as part of the declaration. This can be seen from the command line as well:

[248] 12:45PM% camlp4o -printer o -str 'external add6 : int -> int -> int -> int -> int -> int -> int = "add_six_byte" "add_six_nat"'
external add6 : int -> int -> int -> int -> int -> int -> int =
"add_six_byte"
let _ = "add_six_nat"