mlton-basis 20130715-3 / usr / lib / mlton / sml / smlnj-lib / CHANGES

This is a list of changes to the SML/NJ Library; the version numbers
correspond to SML/NJ releases.

--------------------------------------------------------------------------------
SML/NJ 110.76
-------------------

[2012-10-30]
	Fixed bug in DynamicArray iterators because of bad slice dimensions
	(bug #108).  Also switched to using Array.fromList to implement fromList
	function.

--------------------------------------------------------------------------------
SML/NJ 110.75
-------------------

[2012-09-24]
	Added Base64 module to support encoding and decoding Word8 vectors as
	base64 strings.

[2012-09-23]
	Added exists, existsi, all, and alli functions to ORD_MAP signature and
	implementations.

[2012-09-23]
	Added all function to ORD_SET signature and implementations.

[2012-03-26]
	Added subtract, subtract', and subtractList functions to ORD_SET
	interface and implementations.

[2012-03-09]
	Modified PathUtil module to handle the case where the filename is an
	absolute path.

--------------------------------------------------------------------------------
SML/NJ 110.74
-------------------

[2011-11-25]
	Added hash-table-based implementation of sets (HASH_SET signature and
	HashSetFn functor).

[2011-05-23]
	Added new S-expression library (contributed by Damon Wang)

[2011-05-17]
	Fixed bug in JSON scanner.  It didn't handle escaped backslash or double
	quote correctly.

--------------------------------------------------------------------------------
SML/NJ 110.73
-------------------

[2011-05-12]
	Modified the implementation of GetOpt.usageInfo so that if the help
	string has embedded newlines, then the extra lines are properly
	indented.

[2011-04-10]
	Changed the interface of JSONStreamParser to support both parsing files
	and TextIO.instreams.

[2011-03-16]
	Added findExe function to PathUtil module.

[2010-06-30]
	Added HTML4 library.

[2010-03-09]
	Fixed bug in hashed cons library (bug #55).

--------------------------------------------------------------------------------
SML/NJ 110.72
-------------------

[2009-05-13]
	Added array iterators to DynamicArray module.

[2009-03-15]
	Added support for the interval syntax to the AWK RE syntax parser (this
	syntax was not part of the original version of AWK, but is supported by
	modern variants and the POSIX standard).

[2008-10-03]
	Improved the error messages in the JSON parser.

[2008-06-11]
	Added support for begin marks to Thompson engine.

[2008-05-12]
	Added parsing support to JSON library.

[2008-04-18]
	First commit of JSON Library.  Printing works, but parsing still needs
	to be implemented.

[2008-03-18]
	Committed a major overhaul of the RegExp library.  There is now a new
	engine that implements Ken Thompson's RE matching algorithm.  The result
	type of the RE matches has also been simplified by removing an unecessary
        option type.
	NOTE: the new RE engine is not complete in that it does not yet support
	begin/end marks.

[2007-12-13]
	Also added list' and listg' which are parameterized over the delimiter-
	and separator strings used for formatting lists.  (The default for "list" and
	"listg" is the usual "[" ", " "]".)

[2007-12-13]
	Added "elem" function as an inverse to "glue" to FormatComb module.
	This makes writing extensions possible.  Also added "list" and "option"
	combinators for formatting list- and option types.

[2007-11-02]
	A collection of bug fixes for machine.sml in the Reactive library.
	(Thanks to Timothy Bourke)

[2007-05-15]
	Made the UnixPath.path_list type concrete (= string list).

[2007-04-24]
	Added next function to Fifo and Queue modules.

[2007-02-15]
	Removed vestigial IntInf and INT_INF definitions.

[2007-02-14]
	Changed the representation type of UTF8.wchar from Word32.word to word.
	Also added the UTF8.maxCodePoint value.

[2007-01-30]
	Added the lookup function to the ORD_MAP interface.

[2007-01-30]
	Added the fromList function to the ORD_SET interface.  For the red-black
	tree and list based implementations, this operation is linear for ordered
	inputs.

[2007-01-28]
	Added UTF8 signature and structure.

[2005-11-07]
	Internal change: replaced uses of the depreciated Substring.all
	with the Substring.full

[2005-11-05]
	Tweaking of the interval set API.  Added iterators on items and
	changed the iterators on intervals to have a "Int" suffix.
	Changed addInterval to addInt, changed list to intervals.  Added
	the items function.

[2005-10-31]
	Fixed a bug in IntervalSetFn().intersect.

[2005-10-25]
	Added interval sets to utility library (signatures INTERVAL_DOMAIN
	and INTERVAL_SET, and functor IntervalSetFn).

[2005-08-04]
	Renamed graph-scc.sml to graph-scc-fn.sml.

[2005-07-23]
	Fix PP library to export ANSITermDev, ANSITermPP, PPDescFn, and
	PP_DESC.  Also add nbSpace to PP_DESC signature.

[2005-07-12]
	Added ANSITermDev device that uses ANSI terminal display attributes
	and added a ANSITermPP for pretty printing to such a device.

[2005-07-06]
	Added ANSITerm structure, which provides support for ANSI terminal
	display attributes (e.g., red text).

[2005-07-06]
	Refactored the pretty printing library.  The declarative way to
	construct pretty-printing descriptions now sits on top of the
	PP_STREAM interface.  Also removed "onNewline" function, which
	was not implemented.

[2005-05-05]
	Added singleton function to MONO_PRIORITYQ interface.

[2005-05-04]
	Added the "join" combinator to ParserComb.

[2005-03-21]
	Fixed a bug in GetOpt.getOpt.  The argument processing functions
	for ReqArg and OptArg, and the embedding function for ReturnInOrder
	were getting applied to all arguments, even past a "--".

[2005-02-11]
	Added Atom.same and Atom.lexCompare to the Atom structure.  Eventually,
	Atom.sameAtom will be removed.

[2004-12-15]
	Change HashString.hashString' to hashSubstring.

[2004-12-09]
	Added two simple statistics modules:
	* RealOrderStats implements selection of arbitrary order
          statistics as well as the median of an array of reals
	  in randomized linear time.
	* UnivariateStats implements mean, variance, standard and average
	  deviation, skew, kurtosis, and median of a univariate sample
	  (i.e., a set of reals).

[2004-11-29]
	Added HashString.hashString' for substrings.
	Hand-inlined CharVector.fold into HashString for efficiency.
	Modified atom.sml so that Atom.atom' first tries to find an
	existing atom before turning its argument into a string. [-blume]

[2003-09-03]
	Minor modifications to random.sml due to changes to some
	Basis interfaces (slices).
	Significant surgery on bit-array.sml to make it compile with
	new signature MONO_ARRAY.  This will require further cleanup
	in the future.

[2003-08-28]
	Made compilation of int-inf* conditional.  (The Basis now has
	a spec-conforming implementation of IntInf, so the one here is
	no longer needed.)  [-blume]

[2003-07-31]
	Added getDevice function to PP_STREAM signature.

[2003-05-27]
	Avoid poly-eq in Util/parser-comb.sml.

[2003-05-22]
	More cleanup (all in the name of eliminating incomplete matches):
	  - in HTML/html-attrs-fn.sml: fill in missing patterns in two
	    case expressions
	  - in HTML/html-gram: rewrote function groupDefListContents
	    to avoid the (unnecessary) incomplete match
	  - in PP/devices/html-dev.sml: made the implementation of popStyle
	    agree with the comment above it (popStyle on an empty
	    stack is supposed to be a nop)
	  - in PP/src/pp-stream-fn.sml: function setSize: handle case of
	    an empty scanStk
	  - in Util/prime-sizes.sml: raise Fail exceptions instead of
	    Match exceptions when reaching the end of a list
	    (Perhaps this should eventually be rewritten using an on-demand
	     prime-number generator that kicks when needed.)

[2003-05-22]
	Cleanup logic in Scan.scanf function.

[2002-10-03]
	Fixed bug in formating reals with the %g format.

[2002-06-18]
	Fixed a bug in MatchTree.nth (regexp library).  Thanks to
	Sami Nopanen.

[2002-05-20]
	Fixed bug in IntInf module: scanning of hex literals was not
	handling "0x" prefixes.

[2002-05-20]
	Added ControlUtil module and stringControls function.

[2002-05-17]
	Added tyName field to ValueSyntax exception in Controls module
	and path field to registry tree in ControlRegistry module.

[2002-05-17]
	Added == and != operators to INT_INF interface.  These are a
	placeholder until IntInf moves into the SML/NJ compiler.

[2002-05-16]
	Added mergeWith function to ORD_MAP interface.

[2002-05-15]
	Revised Controls library.

[2002-04-17]
	Added Matthias Blume's implementation of Danvey-style format
	combinators to the Util library.

[2002-03-14]
	Merged in Matthias Blume's Controls library.  Warning: the API
	to this library is likely to change as we get some experience
	with it.

[2002-03-11]
	Added consR1 .. consR5 functions to HashCons library.  These
	can be used to hash-cons record types.

[2002-02-21]
	Fixed infinite loop in LeftPriorityQFn.fromList when given a
	singleton list as input (Chris Okasaki provided the fix).

[2002-02-12]
	Added implementation of priority queues to Util library (using
	Okasaki's leftist-tree implementation).

[2001-10-19]
	Added new HashCons library.

[2001-10-19]
	Added PrimeSizes module to Util library.

[2001-09-27]
	Fixed bug in UnixEnv module (reported by Leunga).

[2001-05-05]
	Added addrToString function to SockUtil module in INet library.

[2001-05-04]
	Modified GraphSCC module to support a list of roots (Blume).
	The old interface still works, but will be dropped when we move
	to the new Util library.

[2001-04-06]
	Added partition function to ORD_SET interface.

[2001-04-05]
	Added hasProps function to PropList module.

[2001-03-16]
	Minor bug fix in GetOpt: don't pad the help string, since it causes
	line wraps when one of the help lines is longer than the screen
	width.  It was also unneccesary.

[2001-02-23]
	Added inDomain function to the various kinds of hash tables.

[2001-02-22]
	Fixed bug in {Int,Word}RedBlackMapFn.insert (bug 1591).

[2000-12-13]
	Added the bit operations to the IntInf module (Leung).

[2000-11-17]
	Added where clause to GraphSCCFn result signature (Blume).

[2000-10-20]
	Made the result signature of the RegExpFn functor be opaque.

[2000-09-28]
	SML/NJ 110.0.7 release.

[2000-09-02]
	Added Word versions of hash tables (WordHashTable), finite
	maps (WordRedBlackMap), and sets (WordRedBlackSet).

[2000-09-02]
	fixed bug in Format module (infinity caused infinite loop).

[2000-07-19]
	added anchored paths in CM files for NEW_CM.

[2000-06-30]
	added implementation of LWORD in Format module.

[2000-05-16]
	Fixed bug in dfa-engine.sml (bug number 1559).

[2000-05-08]
	Added setFn to PList.newProp return type.

[2000-05-05]
	Added sameHolder function to PropList module.

[2000-04-05]
	Fixed a bug in the filter/filteri hash table functions: the number
	of items in the table was not being recomputed.

[2000-04-04]
	Added modify and modifyi iterators to hash tables.

[2000-03-28]
	Added anchorLink style to HTMLDev structure in PP/devices.

[1999-12-03]
	Added IntHashTable structure to Util library; this structure is
	a specialization of hash tables to integer keys.

[1999-12-03]
	Added default cases to avoid "match not exhaustive" warnings.

[1999-12-03]
	Added GraphSCCFn functor to Util library, which implements a
	strongly-connected components algorithm on directed graphs (written
	by Matthias Blume).

[1999-11-10]
	Fixed a benign type error in RegExp/BackEnd/fsm.sml that was exposed by
	the previous change.

[1999-11-7]
	Made the result signatures of ListSetFn and ListMapFn opaque.

[1999-11-1]
	Fixed bug in PP/devices/sources.cm under new CM (missing smlnj-lib.cm).

[1999-10-20]
	Fixed bug in RedBlack trees (the linear time construction of
	trees from ordered sequences was producing backwards trees).

[1999-10-18]
	Changed UREF signature so that union, unify, and link operations
	now return a boolean.

[1999-10-18]
	Added peekFn to PropList.newProp return result.

[1999-10-14]
	Added TextIOPP structure to pp-lib.cm (it was not being exported).

[1999-09-21]
	Changed the getOpt API.  Errors are now reported using a callback
	and both usage and getOpt take records as arguments.  Also changed
	the NoArg descriptor to take a function so that imperative argument
	processing can be supported.

[1999-09-20]
	Changed CM files to be compatible with both the old (110.0.x) and
	new (110.20+) versions of CM.

[1999-09-17]
	Added PropList:PROP_LIST structure.  This structure implements
	property lists using Stephen Weeks's technique.

[1999-09-17]
	Improved the red-black tree implementations with linear-time union,
	intersection, difference, and filter operations.  Also reimplemented
	the delete function in a way that does not require an extra constructor.

[1999-09-09]
	Added Red-Black-Tree implementation of sets and maps.  Two new
	functors (RedBlackMapFn and RedBlackSetFn) and four new structures
	(IntRedBlackMap, IntRedBlackSet, AtomIntRedBlackMap, and IntRedBlackSet).
	Also added aliases AtomMap and AtomSet that for the RB implementations.

[1999-09-03]
	Added missing support for WORD and WORD8 format items to Format structure.
	Still need to handle LWORD items!!

[1999-08-17]
	Added DynamicArray:DYNAMIC_ARRAY structure.

[1999-07-06]
	Added declarative representation of pretty-printing to PPStreamFn.
	This replaces the PPDescFn and PP_DESC components (which were not
	implemented anyway).

[1999-07-02]
	Moved SockUtil structure into a new INet library.  Also split out the
	Unix-specific socket operations into a UnixSockUtil module.  (Sockets
	are now supported on Win32).

[1999-06-17]
	Added listKeys function to ORD_MAP API.

[1999-06-14]
	Added Riccardo Pucella's GetOpt structure to Util library.

[1999-06-14]
	Added singleton and inDomain functions to ORD_MAP API.

[1999-06-02]
	Merged in some bug fixes from the compiler's version of the IntInf
	structure.

[1999-05-05]
	Fixed a couple of bugs in the PP library having to do with nesting
	absolute and relative indentations.

[1999-04-21]
	Added a way to pass control information to a PP device via the PP
	stream (function control in PP_STREAM).

[1999-04-16]
	Added better style support to the HTML PP device.

[1998-09-04]
	Added isEmpty predicate and first fucntion to ORD_MAP
	signature (and to implementations).

[1998-06-23]
	Fixed a bug in ParserComb.bind (reported by Andrew Kennedy).

--------------------------------------------------------------------------------
[1998-04-15] 110 --> 110.5
--------------------------

There is now a regular expression library (mostly implemented by Riccardo
Pucella).  The implementation separates front-ends (which specify the
syntax of REs) from back-ends (which implement the matching algorithms).
Currently, we support AWK syntax as the only front-end and two different
back-ends.

Added an implementation of the SML/NJ PP API to the pretty-printer examples.

Fixed a bug in the IntInf structure with scanning strings of the form "1+2".
Also did some clean-up of the code.


--------------------------------------------------------------------------------
[1997-12-07] 109.32 --> 110
---------------------------

Added the function add' to the ORD_SET signature and the function insert'
to the ORD_MAP signature.  These functions fit the pattern of the fold
functions. (110 patch 3)

Added the IntInf:INT_INF structure to the Util library.  This is a subset
of the optional IntInf structure defined by the SML'97 basis.

Changed the Rand structure to use words as seeds and results.  This also
fixes bug 1047. (110 patch 3)

Added a clear operation to the Queue and various hash table structures.

Changed the ListFormat.formatList to ListFormat.fmt and ListFormat.scanList
to ListFormat.scan.  Added the function ListFormat.listToString.

Updated the HTML library to the final 3.2 specification.  This involved adding
a new BODY element type (with attributes).  Also, removed the header/footer
arguments to the pretty-printer (they were a gross hack).

Added PathUtil structure to Util library.  This is a more general version
of the old UnixPath module.


--------------------------------------------------------------------------------
[1997-10-01] 109.31 --> 109.32
------------------------------

Changed the type of the exec instruction in the Reactive library.


--------------------------------------------------------------------------------
[1997-09-09] 109.30 --> 109.31
------------------------------

Added the Reactive library, which supports reactive scripting.  This is a
first cut, and hasn't been extensively tested.

Changed the names of SockUtil.sock{Recv,Send}* to SockUtil.{recv,send}*
(since the sock prefix was redundant).

Added some bug fixes to IntListSet that had previously been added to
the ListSetFn implementation.


--------------------------------------------------------------------------------
[1997-07-17] 109.29 --> 109.30
------------------------------

Added a missing case to {ListSetFn,IntListSet}.isSubset.

The bug fix for unionWith was broken.  I think I've got it right this
time.


--------------------------------------------------------------------------------
[1997-07-17] 109.29 --> 109.30
------------------------------

Fixed a bug in the binary-tree and splay-tree implementations of the
unionWith[i] and intersectWith[i] functions.  The bug caused the order
of arguments to the merging function to be wrong in some cases.

Fixed uses of System.Unsafe.

Removed Array2:ARRAY2 from Util library, since the basis now defines these.

Added MonoArrayFn functor for easy creation of monomorphic array structures.

Added Atom.atom' operation for turning substrings into atoms.


--------------------------------------------------------------------------------
[1997-06-13] 109.28 --> 109.29
------------------------------

Added collate operation to ORD_MAP signature.

Added compare operation to ORD_SET signature.

Changed the type of and intersectWith[i] in the ORD_MAP signature to be
more general.

Changed the type of the map function in the ORD_SET signature to return
a new set (instead of a list).


--------------------------------------------------------------------------------
[1997-05-22] 109.27 --> 109.28
------------------------------

Changed various sharing constraints to "where type" definitions to
compile in SML'97.

Added AtomBinaryMap and AtomBinarySet structures to Util library.


--------------------------------------------------------------------------------
[1997-03-03] 109.25.1 --> 109.25.2
----------------------------------

Changed Util/time-limit.sml to reflect new location of callcc/throw.


--------------------------------------------------------------------------------
[1997-02-25] 109.25 --> 109.25.1
--------------------------------

Added a bunch of new operations to the ordered map modules (BinaryMapFn,
IntBinaryMap, ListMapFn, IntListFn, and SplayMapFn).  The new operations
are:
    val unionWith  : ('a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
    val unionWithi : (Key.ord_key * 'a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
    val intersectWith  : ('a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
    val intersectWithi : (Key.ord_key * 'a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
    val filter  : ('a -> bool) -> 'a map -> 'a map
    val filteri : (Key.ord_key * 'a -> bool) -> 'a map -> 'a map
    val mapPartial  : ('a -> 'b option) -> 'a map -> 'b map
    val mapPartiali : (Key.ord_key * 'a -> 'b option) -> 'a map -> 'b map

Added IOUtil : IO_UTIL structure to the Util library.  This provides
support for dynamically rebinding stdIn and stdOut.

Added KeywordFn functor to the Util library.  This provides support for
implementing scanners, where keyword recognition is done outside the
basic lexical analysis.

Fixed several bugs in the ListSetFn functor.


--------------------------------------------------------------------------------
[1997-01-10] 109.23 --> 109.24
------------------------------

Changed the HASH_TABLE, MONO_HASH_TABLE, MONO_HASH2_TABLE, and ORD_MAP
interfaces to provide two forms of the listItems function.  listItemsi
returns a list of (key, value) pairs and listItems returns just the values.
The previous version of listItems was like listItemsi.

Added a missing case for BASEFONT in CheckHTMLFn.check.


--------------------------------------------------------------------------------
[1996-12-07] 109.21.1 --> 109.22
--------------------------------

Changed the MONO_DYNAMIC_ARRAY signature to make array an eqtype (also changed
the implementation of DynamicArrayFn).

Fixed a bug in Array2.column


--------------------------------------------------------------------------------
[1996-10-18] 109.19 --> 109.20
------------------------------

Added functions for sending/receiving strings over TCP sockets to the
SockUtil structure.

Fixed a bug with reading on a closed socket in SockUtil.sockRecvVec

Fixed a bug in the implementation of the intersection operation
in binary sets (BinarySetFn and IntBinarySet).


--------------------------------------------------------------------------------
[1996-10-01] 109.18 --> 109.19
------------------------------

Updated the HTML library to the August 21 version of the 3.2 DTD.

Added html-defaults.sml to the HTML Library.

Added Parsing combinators to the Util library.

Added Socket utilities to the Unix library.