MLton Files

Here are the changes from version 20020923 to 20030312.

Summary:
  + Added source-level profiling of both time and allocation.
  + Updated basis library to 2002 specification.  To obtain the old
    library, compile with -basis 1997.
  + Added many modules to basis library:
    BinPrimIO, GenericSock, ImperativeIO, INetSock, NetHostDB,
    NetProtDB, NetServDB, Socket, StreamIO, TextPrimIO, UnixSock.
  + Completed implementation of IntInf and OS.IO.

* 2003-02-23
  - Replaced -profile-combine wih -profile-split.

* 2003-02-11
  - Regularization of options.
	-l --> -link
	-L --> -lib-search
	-o --> -output
	-v --> -verbose

* 2003-02-10
  - Added option to mlton: -profile-combine {false|true}

* 2003-02-09
  - Added options to mlprof: -graph-title, -gray, -ignore, -mlmon,
	-tolerant.

* 2002-11 - 2003-01
  - Added source-level allocation and time profiling.  This includes
	the new options to mlton: -profile and -profile-stack.

* 2002-12-28
  - Added NetHostDB,NetProtDB,NetServDB structures.
  - Added Socket,GenericSock,INetSock,UnixSock structures.

* 2002-12-19
  - Fixed bug in signal check insertion that could cause some signals
    to be missed.  The fix was to add a signal check on entry to each
    function in addition to at each loop header.

* 2002-12-10
  - Fixed bug in runtime that might cause the message
	Unable to set cardMapForMutator.

* 2002-11-23
  - Added support for the latest Basis Library specification.
  - Added option -basis to choose Basis Library version.  Currently available
    basis libraries are 2002, 2002-strict, 1997, and none.
  - Added IntInf.{orb,xorb,andb,notb,<<,~>>} values.
  - Added OS.IO.{poll_desc,poll_info} types.
  - Added OS.IO.{pollDesc,pollToIODesc,infoToPollDesc,Poll} values.
  - Added OS.IO.{pollIn,pollOut,pollPri,poll,isIn,isOut,isPri} values.
  - Added BinPrimIO,TextPrimIO structures.
  - Added StreamIO,ImperativeIO functors.

* 2002-11-22
  - Fixed bug that caused time profiling to fail (with a segfault) when resuming
    a saved world. 

* 2002-11-07
  - Fixed bug in MLton.eq that could arise when using eq on functions.

* 2002-11-05
  - Improvements to polymorphic equality.  Equality on IntInfs, vectors,
    and dataypes all do an eq test first before a more expensive comparison.

* 2002-11-01
  - Added allocation profiling.  Now, can compile with either -profile alloc
    or -profile time.  Renamed MLton.Profile as MLton.ProfileTime.  Added
    MLton.ProfileAlloc.  Cleaned up and changed most mlprof option names.

* 2002-10-31
  - Eliminated MLton.debug.
  - Fixed bug in the optimizer that affected IntInf.fmt.  The optimizer
    had been always using base 10, instead of the passed in radix.

* 2002-10-22
  - Fixed Real.toManExp so that the mantissa is in [1, 2), not [0.5, 1).
  - Added Real.fromLargeInt, Real.toLargeInt.
  - Fixed Real.split, which would return an incorrect whole part due to
    the underlying primitive, Real_modf, being treated as functional instead
    of side-effecting.

* 2002-09-30
  - Fixed rpath problem with packaging.  All executables in packages previously
    made had included a setting for RPATH.