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