SML/NJ 110.54 NEWS

                             S  M  L   /   N  J

                       1  1  0  .  5  4      N  E  W  S

                                 May 18, 2005

                                    WARNING

            This working version is believed to be stable, but
            we have not run our full regression-test suite.

HOME:
  http://www.smlnj.org/index.html
FILES:
  http://smlnj.cs.uchicago.edu/dist/working/110.54/

## Summary:

Important bugfixes and minor feature enhancements.

## Details:

Runtime system:
  - Fixed a GC bug that occasionally caused data corruption.
  - Improved the heap sizing policy.
  - Added a runtime flag that lets the user turn of aggressive heap trimming. This can improve performance of programs with very large heaps at the expense of causing a (very slow) space leak.
  - Added support for Mac OS X 10.4 ("Tiger").
Compiler:
  - Added workaround for overloading bug in type checker.
Basis:
  - `Word64.fromString` should now behave correctly. (Notice that `Word64` is not an official feature. It's current implementation is extremely inefficient. We provided it just for the benefit of NLFFI so that C functions that pass long long values can be used.)
  - Fixed a bug in the implementation of `div` and `mod` for `IntInf`. This also fixes a corresponding problem with `Word64` and `Int64`.
Libraries:
  - Added a `join` combinator to `ParserComb` in `smlnj-lib.cm`.
  - Fixed serious bug in new implementation of `structure Atom` in CML.
  - Added `singleton` function to `MONO_PRIORITYQ` interface.
  - Fixed bug in `GetOpt.getOpt`.
  - Added `Atom.same` and `Atom.lexCompare`.
Interactive system:
  - Added mechanism for re-creating a heap file for the interactive system after configuration variables have been changed.
Installer:
  - Added support scripts for Mac OS X PackageMaker and modified `config/install.sh` so that it supports re-dumping a heap image after customization.
Code generator:
  - Added a gc protocol checking phase. This phase is enabled with the flag `check-gc`. Flag `debug-check-gc` turns on the verbose mode.