MLton Files

Here are the changes from version 20041109 to version 20051202.

Summary:
  + New license: BSD-style instead of GPL.
  + New platforms:
   o hppa: Debian Linux.
   o x86: MinGW.
  + Compiler.
   o improved exception history.
   o Command-line switches.
    * Added: -as-opt, -mlb-path-map, -target-as-opt, -target-cc-opt.
    * Deprecated: none.
    * Removed: -native, -sequence-unit, -warn-match, -warn-unused.
  + Language.
   o FFI syntax changes and extensions.
    * Added: _symbol.
    * Changed: _export, _import.
    * Removed: _ffi.
   o ML Basis annotations.
    * Added: allowFFI, nonexhaustiveExnMatch, nonexhaustiveMatch,
        redundantMatch, sequenceNonUnit.
    * Deprecated: allowExport, allowImport, sequenceUnit, warnMatch.
  + Libraries.
   o Basis Library.
    * Added: Int1, Word1.
   o MLton structure.
    * Added: Process.create, ProcEnv.setgroups, Rusage.measureGC,
        Socket.fdToSock Socket.Ctl.getError.
    * Changed: MLton.Platform.Arch.
   o Other libraries.
    * Added: ckit library, ML-NLFFI library, SML/NJ library.
  + Tools.
   o updates of mllex and mlyacc from SML/NJ.
   o added mlnlffigen.
   o profiling supports better inclusion/exclusion of code.

* 2005-11-19
  - Updated SML/NJ Library and CKit Library from SML/NJ 110.57.

* 2005-11-15
  - Fixed a bug in MLton.ProcEnv.setgroups.

* 2005-11-11
  - Fixed a bug in the interleaving of lexing/parsing and elaborating of
    ML Basis files, which would raise an unhandled Force exception on
    cyclic basis references.  Thanks to John Dias for the bug report.

* 2005-11-10
  - Fixed two bugs in Time.scan.  One would raise Time on a string with a
    large fractional component.  Thanks to Carsten Varming for the bug
    report.  The other failed to scan strings with an explicit sign
    followed by a decimal point.

* 2005-11-03
  - Removed MLton.GC.setRusage.
  - Added MLton.Rusage.measureGC.

* 2005-09-11
  - Fixed bug in display of types with large numbers of type
    variables, which could cause unhandled exception Chr.

* 2005-09-08
  - Fixed bug in type inference of flexible records that would show up
    as "Type error: variable applied to wrong number of type args"

* 2005-09-06
  - Fixed bug in Real.signBit, which had assumed that the underlying
    C signbit returned 0 or 1, when in fact any nonzero value is
    allowed to indicate the signbit is set.

* 2005-09-05
  - Added -mlb-path-map switch.

* 2005-08-25
  - Fixed bug in MLton.Finalizable.touch, which was not keeping alive
    finalizable values in all cases.

* 2005-08-18
  - Added SML/NJ Library and CKit Library from SML/NJ 110.55 to
    standard distribution.
  - Fixed bug in Socket.Ctl.*, which got the endianness wrong on
    big-endian machines.  Thanks to Wesley Terpstra for the bug report
    and fix.
  - Added MLton.GC.setRusage.
  - Fixed bug in mllex, which had file positions starting at 2.  They
    now start at zero.

* 2005-08-15
  - Fixed bug in LargeInt.scan, which should skip leading "0x" and
    "0X".  Thanks to Wesley Terpstra for the bug report and fix.

* 2005-08-06
  - Additional revisions of FFI.
    Deprecated _export with incomplete annotation.
    Added _address for address of C objects.
    Eliminated address component of _symbol.
    Changed the type of the _symbol* expression.
    See documentation for more detail.

* 2005-08-06
  - Annotation changes.
    Deprecated: sequenceUnit
    Added: sequenceNonUnit

* 2005-08-03
  - Annotation changes.
    Deprecated: allowExport, allowImport, warnMatch
    Added: allowFFI, nonexhaustiveExnMatch, nonexhaustiveMatch,
      redundantMatch

* 2005-08-01
  - Update mllex and mlyacc with SML/NJ 110.55+ versions.  This
    incorporates a small number of minor bug fixes.

* 2005-07-23
  - Fixed bug in pass to flatten refs into containing data structure.

* 2005-07-23
  - Overhaul of FFI.
    Deprecated _import of C base types.
    Added _symbol for address, getter, and setter of C base types.
    See documentation for more detail.

* 2005-07-21
  - Update mllex and mlyacc with SML/NJ 110.55 versions.  This
    incorporates a small number of minor bug fixes.

* 2005-07-20
  - Fixed bug in front end that allowed unary constructors to be used
    without an argument in patterns.

* 2005-07-19
  - Eliminated _ffi, which has been deprecated for some time.

* 2005-07-14
  - Fixed bug in runtime that caused getrusage to be called on every
    GC, even if timing info isn't needed.

* 2005-07-13
  - Fixed bug in closure conversion tickled by making a weak pointer
    to a closure.

* 2005-07-12
  - Changed {OS,Posix}.Process.sleep to call nanosleep() instead of
    sleep().
  - Added MLton.ProcEnv.setgroups.

* 2005-07-11
  - InetSock.{any,toAddr} raise SysErr if port is not in [0, 2^16).

* 2005-07-02
  - Fixed bug in Socket.recvVecFrom{,',NB,NB'}.  The type was too
    polymorphic and allowed the creation of a bogus sock_addr.

* 2005-06-28
  - The front end now reports errors on encountering undefined or
    cyclicly defined MLB path variables.

* 2005-05-22
  - Fixed bug in Posix.IO.{getlk,setlk,setlkw} that caused a link-time
    error: undefined reference to Posix_IO_FLock_typ.
  - Improved exception history so that the first entry in the history
    is the source position of the raise, and the rest is the call
    stack.

* 2005-05-19
  - Improved exception history for Overflow exceptions.

* 2005-04-20
  - Fixed a bug in pass to flatten refs into containing data structure.

* 2005-04-14
  - Fixed a front-end bug that could cause an internal bug message of the
    form "missing flexInst".

* 2005-04-13
  - Fixed a bug in the representation of flat arrays/vectors that
    caused incorrect behavior when the element size was 2 or 4 bytes
    and there were multiple components to the element (e.g. (char *
    char) vector).

* 2005-04-01
  - Fixed a bug in GC_arrayAllocate that could cause a segfault.

* 2005-03-22
  - Added structures Int1, Word1.

* 2005-03-19
  - Fixed a bug that caused Socket.Ctl.{get,set}LINGER to raise
    Subscript.  The problem was in the use of PackWord32Little.update,
    which scales the supplied index by bytesPerElem.

* 2005-03-13
  - Fixed a bug in CML mailboxes.

* 2005-02-26
  - Fixed an off-by-one error in mkstemp defined in mingw.c.

* 2005-02-13
  - Added mlnlffigen tool (heavily adapted from SML/NJ).

* 2005-02-12
  - Added MLNLFFI Library (heavily adapted from SML/NJ) to standard
    distribution.

* 2005-02-04
  - Fixed a bug in OS.path.toString, which did not raise InvalidArc
    when needed.

* 2005-02-03
  - Fixed a bug in OS.Path.joinDirFile, which did not raise InvalidArc
    when passed a file that was not an arc.

* 2005-01-26
  - Fixed a front end bug that incorrectly rejected expansive valbinds
    with useless bound type variables.

* 2005-01-22
  - Fixed x86 codegen bug which failed to account for the possibility that
    a 64-bit move could interfere with itself (as simulated by 32-bit
    moves).

* 2004-12-22
  - Fixed Real32.fmt StringCvt.EXACT, which had been producing too
    many digits of precision because it was converting to a
    Real64.real.

* 2004-12-15
  - Replaced MLB path variable MLTON_ROOT with SML_LIB, to use a more
    compiler-independent name.  We will keep MLTON_ROOT aliased to
    SML_LIB until after the next release.

* 2004-12-02
  - Unix.create now works on all platforms (including Cygwin and MinGW).

* 2004-11-24
  - Added support for MLton.Process.create, which works on all
    platforms (including Windows-based ones like Cygwin and MinGW) and
    allows better control over std{in,out,err} for child process.