MLton Files

Here are the changes from version 20011006 to version 20020410.

* 2002-03-28
  - Added BinIO.

* 2002-03-27
  - Regularization of options
	-g	-->	-degug {false|true}
	-h n	--> 	-fixed-heap n
	-p 	--> 	-profile {false|true}

* 2002-03-22
  - Set up the stubs so that MLton can be compiled in the standard basis
    library, with no MLton structure.  Thus it is now easy to compile MLton
    with an older (or newer) version of itself that has a different MLton
    structure.

* 2002-03-17
  - Added MLton.Process.{spawn,spawne,spawnp}, which use primitives when
    running on Cygwin and fork/exec when running on Linux.

* 2002-02 - 2002-03
  - Added the ability to cross-compile to Cygwin/Windows.

* 2002-02-10
  - Reworked object header words so that Array.maxLen = valOf Int.maxInt.
    Also fixed a long-standing minor bug in MLton, where
    Array.array (Array.maxLen, ...) would raise Size instead of attempting
    to allocate the array.  It was an off-by-one error in the meaning of
    Array.maxLen.

* 2002-02-08
  - Modifications to runtime to behave better in situations where the amount of
    live data is a signifant fraction of the amount of RAM, based on code from
    PolySpace.  MLton executables by default can now use more than the
    available amount of RAM.  Executables will still respect the max-heap
    runtime arg if it is set. 

* 2002-02-04
  - Improvements to runtime so that it fails to get space, it attempts to get
    less space instead of failing.  Based on PolySpace's modifications.
  - Added MLton.eq.

* 2002-02-03
  - Added MLton.IntInf.gcd.
  - Removed gmp from MLton sources.  We now link with /usr/lib/gmp.a.
  - Added TextIO.getPosOut.
  - Renamed type MLton.Itimer.which to MLton.Itimer.t and
    MLton.Itimer.whichSignal to MLton.Itimer.signal.
  - Added -coalesce flag, for use with the C backend.

* 2002-01-26
  - Added -show-basis-used, which prints out the parts of the basis library
    that the input program uses.
  - Changed several other flags (-print-at-fun-entry, -show-basis, -static)
    to follow the {false|true} convention.

* 2002-01-22
  - Improved MLton.profile so that multiple profile arrays can exist
    simultaneously and so that the current one being used can be set from
    the SML side.

* 2002-01-18
  - The MACHINE IL has been replaced with an RSSA (representation explicit SSA)
    IL and an improved MACHINE IL.  

* 2002-01-16
  - Added known case SSA optimization

* 2002-01-14
  - Added rudimentary profiling control from with a MLton compile program via the
    MLton.Profile structure.

* 2002-01-09
  - Fixed bug in match compiler that caused case expressions on datatypes
    with redundant cases to be compiled incorrectly.

* 2002-01-08
  - Added redundant tuple construction elimination to SSA shrinker.
  - Improved flatten SSA optimization.

* 2001-12-06
  - Changed the interface for MLton.Signal.  There is no longer a separate
    Handler substructure.  This was done so that programs that just use
    default and ignore signal handlers don't bring in the entire thread
    mechanism.

* 2001-12-05
  - Added local ref elimination SSA optimization.

* 2001-11-19
  - The CPS IL has been replaced with an SSA (static-single assignment) IL.
    All of the optimizations have been ported from CPS to SSA.

* 2001-10-24
  - Fixed bug in Thread_atomicEnd -- limit was mistakenly set to base instead of
    to 0.  This caused assertion failures when for executables compiled -g
    because GC_enter didn't reset the limit.
  - Fixed bug in register allocation of byte registers.

* 2001-10-23
  - Added -D option to cmcat for preprocessor defines.  Thanks to Anoq for
    sending the code.
  - Changed limit check insertion so that limit checks are only coalesced within
    a single basic block -- not across blocks.  This slows many benchmarks down,
    but is needed to fix a bug in the way that limit checks were coalesced across
    blocks.  Hopefully we will figure out a better fix soon.

* 2001-10-18
  - Fixed type inference of flexrecord so that it now follows the Definition.
    Many programs containing flexrecords were incorrectly rejected.  Added many
    new tests to regression/flexrecord.sml.
  - Changed the behavior of -keep dot combined with -keep pass for SSA passes.
    Dot files are now saved for the program before and after, instead of just
    after.

* 2001-10-11
  - Fixed a bug in the type inference that caused type variables to be
    mistakenly generalized.  The bug was exposed in Norman Ramsey's sled.sml.
    Added a test to regression/flexrecord.sml to catch the problem.