Looking for the latest version? Download mlton-20130715.src.tgz (25.6 MB)
Home / mlton / 20100608
Name Modified Size Downloads / Week Status
Parent folder
Totals: 16 Items   284.2 MB 35
mlton-20100608-1.i386-freebsd.tbz 2013-03-25 10.7 MB 11 weekly downloads
mlton-20100608-1.amd64-freebsd.tbz 2013-03-25 11.9 MB 77 weekly downloads
mlton-20100608-1.amd64-darwin.gmp-macports.tgz 2010-07-08 17.6 MB 11 weekly downloads
mlton-20100608-1.x86-linux.static.tgz 2010-06-14 15.0 MB 11 weekly downloads
mlton-20100608-1.amd64-linux.static.tgz 2010-06-14 17.9 MB 22 weekly downloads
mlton-20100608.src.tgz 2010-06-11 5.8 MB 55 weekly downloads
MLton-20100608-1.msi 2010-06-11 62.3 MB 66 weekly downloads
MLton-20100608-1.exe 2010-06-11 28.9 MB 11 weekly downloads
mlton-20100608-1.amd64-darwin.gmp-static.tgz 2010-06-08 18.0 MB 22 weekly downloads
mlton-20100608-1.x86-cygwin.tgz 2010-06-08 29.3 MB 11 weekly downloads
mlton-20100608-1.x86-linux.tgz 2010-06-08 13.4 MB 11 weekly downloads
mlton-20100608-1.x86-darwin.gmp-static.tgz 2010-06-08 16.5 MB 11 weekly downloads
mlton-20100608-1.x86-darwin.gmp-macports.tgz 2010-06-08 16.2 MB 22 weekly downloads
mlton-20100608-1.amd64-linux.tgz 2010-06-08 14.8 MB 22 weekly downloads
README.txt 2010-06-08 10.1 kB 11 weekly downloads
mlton-20100608-1.src.tgz 2010-06-08 5.9 MB 11 weekly downloads
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.
Source: README.txt, updated 2010-06-08