Dear Ocaml users,
I found some serious errors in the compiler e.g. in line 28 of
typing/includecore.ml
and line 499 of typing/ctype.ml of version 3.12.1.

A longer list of errors with explanations and possible fixes will be under
      www.pfitzenmaier.de/ocaml-considered-dangerous.html

regards,
Jürgen