Hi,

OCaml as of 4.00.1 does complain about this with a warning. Allowing it
is mostly useful (and used) in generated code.

Pippijn