View of /smlnj-lib/trunk/CHANGES

This is a list of changes to the SML/NJ Library; the version numbers
correspond to SML/NJ releases.
--------------------------------------------------------------------------------
[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.