MLton Files

Here are the changes from version 20070826 to version 20100608.

Summary:
  + New platforms.
   o ia64-hpux
   o powerpc64-aix
  + Compiler.
   o Command-line switches.
    * Added: -mlb-path-var '<name> <value>'
    * Removed: -keep sml, -stop sml
   o Improved constant folding of floating-point operations.
   o Experimental: Support for compiling to a C library; see wiki
       documentation.
   o Extended -show-def-use output to include types of variable
       definitions.
   o Deprecated features (to be removed in a future release)
    * Bytecode codegen: The bytecode codegen has not seen significant
        use and it is not well understood by any of the active
        developers.
    * Support for .cm files as input: The ML Basis system provides
        much better infrastructure for "programming in the very large"
        than the (very) limited support for CM.  The cm2mlb tool
        (available in the source distribution) can be used to convert
        CM projects to MLB projects, preserving the CM scoping of
        module identifiers.
   o Bug fixes: see changelog
  + Runtime.
   o @MLton switches.
    * Added: may-page-heap {false|true}
   o may-page-heap: By default, MLton will not page the heap to disk
       when unable to grow the heap to accomodate an allocation.
       (Previously, this behavior was the default, with no means to
       disable, with security an least-surprise issues.)
   o Bug fixes: see changelog
  + Language.
   o Allow numeric characters in ML Basis path variables.
  + Libraries.
   o Basis Library.
    * Bug fixes: see changelog.
   o MLton structure.
    * Added: MLton.equal, MLton.hash, MLton.Cont.isolate,
        MLton.GC.Statistics, MLton.Pointer.sizeofPointer,
        MLton.Socket.Address.toVector
    * Changed:
    * Deprecated: MLton.Socket
   o Unsafe structure.
    * Added versions of all of the monomorphic array and vector
      structures.
   o Other libraries.
    * Updated: ckit library, MLRISC library, SML/NJ library.
  + Tools.
   o mllex
    * Eliminated top-level 'type int = Int.int' in output.
    * Include (*#line line:col "file.lex" *) directives in output.
    * Added %posint command, to set the yypos type and allow the
      lexing of multi-gigabyte files.
   o mlnlffigen
    * Added command-line switches -linkage archive and -linkage shared.
    * Deprecated command-line switch -linkage static.
    * Added support for ia64 and hppa targets.
   o mlyacc
    * Eliminated top-level 'type int = Int.int' in output.
    * Include (*#line line:col "file.grm" *) directives in output.

* 2010-05-12
   - Fixed bug in the mark-compact garbage collector where the C
     library's memcpy was used to move objects during the compaction
     phase; this could lead to heap corruption and segmentation faults
     with newer versions of gcc and/or glibc, which assume that src and
     dst in a memcpy do not overlap.

* 2010-03-12
   - Fixed bug in elaboration of datatype declarations with withtype
     bindings.

* 2009-12-11
   - Fixed performance bug in ref flatten SSA2 optimization.

* 2009-12-09
   - Fixed performance bug in simplify types SSA optimization.

* 2009-12-02
   - Fixed bug in amd64 codegen register allocation of indirect C calls.

* 2009-09-17
   - Fixed bug in IntInf.scan and IntInf.fromString where leading
     spaces were only accepted if the stream had an explicit sign
     character.

* 2009-07-10
   - Added combine conversions SSA optimization.

* 2009-06-09
   - Removed deprecated command line switch -show-anns {false, true}.

* 2009-04-18
   - Removed command line switches -keep sml and -stop sml.  Their
     meaning was unclear with .mlb files; their effect with .cm files
     can be achieved with -stop f.

* 2009-04-16
   - Fixed bug in IntInf.~>> that could cause a glibc assertion
     failure.

* 2009-04-01
   - Fixed exported type of MLton.Process.reap.

* 2009-01-27
   - Added MLton.Socket.Address.toVector to get the network-byte-order
     representation of an IP address.

* 2008-11-10
   - Fixed bug in MLton.size and MLton.share when tracing the current
     stack.

* 2008-10-27
   - Fixed phantom typing of sockets by hiding the representation of socket
     types.  Previously the representation of sockets was revealed rendering
     the phantom types useless.

* 2008-10-10
   - Fixed bug in nexted _export/_import functions.

* 2008-09-12
   - Improved constant folding of floating point operations.

* 2008-08-20
   - Store the card/cross map at the end of the allocated ML heap;
     avoids possible out of memory errors when resizing the ML heap
     cannot be followed by a card/cross map allocation.

* 2008-07-24
   - Added support for compiling to a C library. The relevant new compiler
     options are '-ar' and '-format'. Libraries are named based on the
     name of the -export-header file. Libraries have two extra methods:
       * NAME_open(argc, argv) initializes the library and runs the SML code
         until it reaches the end of the program. If the SML code exits or
         raises an uncaught exception, the entire program will terminate.
       * NAME_close() will execute any registered atExit functions, any
         outstanding finalizers, and frees the ML heap.

* 2008-07-16
   - Fixed bug in the name mangling of _import-ed functions with the
     stdcall convention.

* 2008-06-12
   - Added MLton.Pointer.sizeofPointer.

* 2008-06-06
   - Added expert command line switch -emit-main {true|false}.

* 2008-05-17
   - Fixed bug in Windows code to page the heap to disk when unable to
     grow the heap to a desired size.
     Thanks to Sami Evangelista for the bug report.

* 2008-05-10
   - Implemented MLton.Cont.isolate.

* 2008-04-20
   - Fixed bug in *NIX code to page the heap to disk when unable to
     grow the heap to a desired size.
     Thanks to Nicolas Bertolotti for the bug report and patch.

* 2008-04-07
   - More flexible active/paused stack resizing policy.
     Removed thread-shrink-ratio runtime option.
     Added stack-current-grow-ratio, stack-current-max-reserved-ratio,
     stack-current-permit-ratio, stack-current-shrink-ratio,
     stack-max-reserved-ratio, and stack-shrink-ratio runtime options.

* 2008-04-07
   - Fixed bugs in Basis Library where the representations of
     OS.IO.iodesc, Posix.IO.file_desc, Posix.Signal.signal,
     Socket.sock, Socket.SOGK.sock_type as integers were exposed.

* 2008-03-14
   - Added unsafe versions of all of the monomorphic array and vector
     structures.

* 2008-03-02
   - Fixed bug in Basis Library where the representation of
     OS.Process.status as an integer was exposed.

* 2008-02-13
   - Fixed space-safety bug in pass to flatten refs into containing
     data structure. Thanks to Daniel Spoonhower for the bug report
     and initial diagnosis and patch.

* 2008-01-25
   - Various updates to GC statistics gathering.  Some basic GC
     statistics can be accessed from SML by MLton.GC.Statistics.*
     functions.

* 2008-01-24
   - Added primitive (structural) polymorphic hash.

* 2008-01-21
   - Fixed frontend to accept "op longvid" patterns and expressions.
     Thanks to Florian Weimer for the bug report.

* 2008-01-17
   - Extended -show-def-use output to include types of variable
     definitions.

* 2008-01-09
   - Extended MLton_equal to be a structural equality on all types,
     including real and -> types.

* 2007-12-18
   - Changed ML-Yacc and ML-Lex to output line directives so that
     MLton's def-use information points to the source files (.grm
     and .lex) instead of the generated implementations (.grm.sml
     and .lex.sml).

* 2007-12-14
   - Added runtime option 'may-page-heap {false|true}'.  By default,
     MLton will not page the heap to disk when unable to grow the heap
     to a desired size.  (Previously, this behavior was the default,
     with no means to disable, with security and least-surprise
     concerns.)
     Thanks to Wesley Terpstra for the patch.
   - Fixed bug the FFI visible representation of Int16.int ref (and
     references of other primitive types smaller than 32-bits) on
     big-endian platforms.
     Thanks to Dave Herman for the bug report.

* 2007-12-13
   - Fixed bug in ImperativeIOExtra.canInput (TextIO.canInput).
     Thanks to Ville Laurikari for the bug report.

* 2007-12-09
   - Better constant folding of IntInf operations.

* 2007-12-07
   - Fixed bug in algebraic simplification of real primitives.
     Real.<= (x, x) is false when x is NaN.

* 2007-11-29
   - Fixed bug in type inference of flexible records.  This would
     later cause the compiler to raise the TypeError exception.
     Thanks to Wesley Terpstra for the bug report.

* 2007-11-28
   - Fixed bug in cross-compilation of gdtoa library.  Thanks to
     Wesley Terpstra for the bug report and patch.

* 2007-11-20
   - Fixed bug in pass to flatten refs into containing data structure.
     Thanks to Ruy LeyWild for the bug report.

* 2007-11-19
   - Fixed bug in the handling of weak pointers by the mark-compact
     garbage collector.  Thanks to Sean McLaughlin for the bug report
     and Florian Weimer for the initial diagnosis.

* 2007-11-07
   - Added %posint command to ml-lex, to set the yypos type and allow
     the lexing of multi-gigabyte input files.  Thanks to Florian
     Weimer for the feature concept and original patch.

* 2007-11-07
   - Added command-line switch -mlb-path-var '<name> <value>' for
     specifying MLB path variables.

* 2007-11-06
  - Allow numeric characters in MLB path variables.

* 2007-09-20
   - Fixed bug in elaboration of structures with signature
     constraints.  This would later cause the compiler to raise the
     TypeError exception.  Thanks to Vesa Karvonen for the bug report.

* 2007-09-11
   - Fixed bug in interaction of _export-ed functions and signal
     handlers.  Thanks to Sean McLaughlin for the bug report.

* 2007-09-03
   - Fixed bug in implementation of _export-ed functions using 'char'
     type.  Thanks to Katsuhiro Ueno for the bug report.