OCaml 4.00.1 - Changelog

What's new in OCaml 3.12.1:

Buds fixed:
· Unused variables not detected in "include (struct .. end)"
· camlp4 revised syntax printing bug in the toplevel (reported on caml-list)
· configure: do not define _WIN32 under cygwin
· Hardened generic comparison in the case where two custom blocks are compared and have different sets of custom operations.
· Hardened comparison between bigarrays in the case where the two bigarrays have different kinds.
· Fixed wrong autodetection of expm1() and log1p().
· Don't add .exe suffix when installing the ocamlmktop shell script
· ocamldoc: minor fixes related to the display of ocamldoc options
· Fixed bug with huge values in OCAMLRUNPARAM
· Mismatch between declaration and definition of caml_major_collection_slice

Feature wishes:
· Added '-ml-synonym' and '-mli-synonym' options to ocamldep
· Added '-ocamldoc' option to ocamlbuild
· Added possibility to add options to ocamlbuild
· Added access to current camlp4 parsers and printers
· Improved instruction selection for float operations on amd64
· Added a 'usage_string' function to Arg
· Allow with constraints to add a type equation to a datatype definition
· Allow to merge '@before' tags like other ones
· Allow dependency on file "_oasis"

Other changes:
· Changed default minor heap size from 32k to 256k words.
· Added new operation 'compare_ext' to custom blocks, called when comparing a custom block value with an unboxed integer.

What's new in OCaml 3.12.0:

· Record patterns of the form { lbl = pat; _ } to mark that not all labels are listed, purposefully.
· Warnings are now numbered and can be switched on and off individually. The old system with letters referring to sets of warnings is still supported.
· Added option '-strict-sequence' to force left hand part of sequence to have type unit.
· Map: implement functions from Set that make sense for Map.
· Add support for native dynlink.
· The semantics of warning 7 (code 'M', method override) have changed (it now detects all overrides, not just repeated definitions inside the same class body), and it is now inactive by default.

What's new in OCaml 3.11.2:

· Better documentation for min and max w.r.t. NaN
· ocamlbuild uses wrong compiler for C files
· ocamlbuild does not use properly configuration information
· Under some Windows installations, high start-up times for Unix lib
· Problem with scanf and CRLF
· ocamlmklib problem under Windows
· BSD problem with socket addresses, e.g. in Unix.getnameinfo
· Issue with parsing of float literals by the GNU assembler
· Problem with modules and private types