Standard ML of New Jersey
Version 110.74 NEWS
January 20, 2012



SML/NJ 110.74 provides a number of new library features, including a new library for working with S-expressions, as well as many bug fixes.

Changes to the type checker support a preliminary version of enhanced type error messages including "culprits" indicating the origins of conflicting type constructors. This functionality is not fully debugged printing of enhanced error messages needs further refinement, so the additional information is not printed by default.


SML/NJ Library:

Here is a list of tracked bugs fixed by this release, please see the bug tracker for more details.

60Incorrect type inference with functor taking/producing polymorphic type
74Errors in ml-lpt manual
76blastWrite crashes
77strange error message for syntax error
80Installation fails on Linux 3.0
81sml/nj does not work with Linux 3.0
83No support for Kernel 3.x