(ephaeton at gmx dot net) in PR pkg/18023. Besten Dank!
Changes from 3.04 to 3.05 (abbreviated list, full list available at
http://caml.inria.fr/archives/200207/msg00558.html):
Language features:
- Support for polymorphic methods and record fields.
- Allows _ separators in integer and float literals, e.g. 1_000_000.
Type-checker:
- Fixed subtle typing bug with higher-order functors.
- Fixed several complexity problems;
- Fixed various bugs with objects and polymorphic variants.
Bytecode compiler:
- Fixed issue with ocamlc.opt and dynamic linking.
Native-code compiler:
- Fixed GC bug related to constant constructors of polymorphic variant types.
- Fixed compilation bug for top-level "include" statements.
Toplevel interactive system:
- ocamlmktop: minimized possibility of name clashes with user-provided modules.
Run-time system:
- Better support for lazy data in the garbage collector.
- Support for float formats that are neither big-endian nor little-endian
- Fixed bug in callback*_exn functions in the exception-catching case.
Standard library:
- Protect against integer overflow in sub-string and sub-array bound checks.
- New module Complex implementing arithmetic over complex numbers.
- New module Scanf implementing format-based scanning a la scanf() in C.
- various fixes and enhancements to existing modules
Tools:
- ocamldoc part of distribution
- Debugger: now supports the option -I +dir.
- ocamllex: supports the same identifiers as ocamlc;
Changes from 3.05 to 3.06:
Type-checking:
- Apply value restriction to polymorphic record fields.
Run-time system:
- Fixed GC bug affecting lazy values.
Both compilers:
- Added option "-version" to print just the version number.
- Fixed wrong dependencies in .cmi generated with the -pack option.
Native-code compiler:
- Fixed wrong return value for inline bigarray assignments.
Libraries:
- Unix.getsockopt: make sure result is a valid boolean.
Tools:
- ocamlbrowser: improved error reporting;
> Update to version 3.04 based on patches submitted in PR#16896 by
> Marko Schuetz (MarcoSchuetz at web dot de) with minor modification by
> me, closing that PR.
(Pointed out by Takahiro Kambe)
