Grammar inconsistencies

Document known differences between OCaml and Camlp4. Merlin will follow OCaml syntax.

0-uple

# type t = ()

Accepted by ocaml.
Rejected by camlp4.

"()" in an expression context is quite ambiguous after such definitions.

functions in labelled arguments

# let f x = f ~f:fun x -> x;;

Rejected by ocaml.
Accepted by camlp4.

variant extension

# type t = [variants];;

Rejected by ocaml.
Accepted by camlp4.

type annotations on bindings

# let _ : type = value;;

Rejected by ocaml.
Accepted by camlp4.

# let (_ : type) = value;;
# let _id : type = value;;

Accepted by both ocaml and camlp4.

infix operators

# let ( :=> ) = value;;

Rejected by ocaml.
Accepted by camlp4.

precedence of 'if' in rhs of (^)

# "" ^ if true then (); "";;

Rejected by ocaml.
Accepted by camlp4.

not a seq_expr inside Module.(…) notation

# List.(1;2)

Accepted by ocaml. Rejected by camlp4.

Spotted by obad.

";" and infix operators

# 4; + 5;;

Accepted by camlp4 (evaluates to 9!). Rejected by ocaml.