- Update to version 110.81
Successor ML:
* The 110.81 release adds additional support for Successor ML
syntactic extensions. It is now possible to use record-punning
syntax in expressions (as well as in patterns).
* And we have added support for do syntax in let bindings.
* We have also changed the way that Successor ML features are
enabled from the REPL. Instead of assigning true to the
Control.succML variable, one should use the function
Control.setSuccML is used to enable or disable Successor ML.
Compiler
* This version eliminates dependencies on FLINT types in the
front end. In particular, uses of PlambdaType have been eliminated.
SML/NJ Library:
* Added the JSONUtil module to the JSON library.
ml-lpt
* Added --debug command-line option to ml-antlr. This flag causes
ml-antlr to generate debug actions that print the left-hand-side
non-terminal of the production.
* Added %tokentype directive to ml-antlr, which allows user-defined
datatypes to be used to represent tokens.
MLRISC:
* Changed the interface to AMD64Gen; the signBit and negateSignBit
callback functions now return an MLTree.rexp (instead of a label).
Bugfixes:
* 129 Symbolic identifiers are allowed as strids
* 149 Datatype replication exposes hidden constructors
* 153 Enabling Successor ML features is delayed
* 175 Executable stack on Linux
* 179 ml-ulex writing debug messages to stdOut