Module Name:	doc
Committed By:	jschauma
Date:		Thu Aug 22 02:58:53 UTC 2002

Modified Files:
	doc: pkg-CHANGES

Log Message:
Note update of lang/ocaml to 3.06, using patch supplied by Martin Weber
(ephaeton at gmx dot net) in PR pkg/18023.

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;


To generate a diff of this commit:
cvs rdiff -r1.7235 -r1.7236 doc/pkg-CHANGES

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.