MLton Files

Here are the changes from version 20020410.

Summary:
  + MLton now runs on FreeBSD.
  + Major runtime system improvements.  The runtime now implements
    mark-compact and generational collection, in addition to the copying
    collection that was there before.  It automatically switches between
    the the collection strategies to improve performance and to try to avoid
    paging.
  + Performance when compiling "-exn-history true" has been improved.
  + Added IntInf.log2, MLton.GC.pack, MLton.GC.unpack.
  + Fixed bug in load world that could cause "sread failed" on Cygwin.
  + Fixed optimizer bug that could cause "no analyze var value property"
    message. 

* 2002-09
  - Integrated Sam Rushing's changes to port MLton to FreeBSD.

* 2002-08-25
  - Changed the implementation of exception history to be completely functional.
    Now, the extra field in exceptions (when compiling -exn-history true) is a
    string list instead of a string list ref, and raise conses a new exception
    with a new element in the list instead of assigning to the list.  This
    changes the semantics of exception history (for the better) on some
    programs. See regression/exnHistory3.sml for an example.  It also
    significantly improves performance when compiling -exn-history true.

* 2002-07 and 2002-08
  - Added generational GC, and code to the runtime that automatically turns it
    on and off.

* 2002-08-20
  - Fixed SSA optimizer bug that could cause the following error message
	x_0 has no analyze var value property 

* 2002-07-28
  - Added MLton.GC.{pack,unpack}.  pack shrinks the heap so that other processes
    can use the RAM, and its dual, unpack, resizes the heap to the desired size.

* 2002-06 and 2002-07
  - Added mark compact GC.
  - Changed array layout so that arrays have three, not two header words.
      The new word is a counter word that preceeds the array length and header.
  - Changed all header words to be indices into an array of object descriptors.

* 2002-06-27
  - Added patches from Michael Neumann to port runtime to FreeBSD 4.5.

* 2002-06-05
  - Output file and intermediate file are now saved in the current directory
    instead of in the directory containing the input file.

* 2002-05-31
  - Fixed bug in overloading of / so that the following now type checks:
	fun f (x, y) = x + y / y

* 2002-04-26
  - Added back max-heap runtime option.

* 2002-04-25
  - Fixed load/save world so that they use binary mode.  This should fix the
    "sread failed" problem that Byron Hale saw on Cygwin that caused mlton to
    fail to start.
  - Added IntInf.log2.
  - Changed call to linker to use libgmp.a (if it exists) instead of libgmp.so.
    This is because the linker adds a dependency to a shared library even if
    there are no references to it

* 2002-04-23
  - Rewrote heap resizing code.  This fixed bug that was triggered with large
    heaps and could cause a spurious out of memory error.
  - Removed gmp from MLton sources (again :-).