This is a list of changes to the SML/NJ Library; the version numbers
correspond to SML/NJ releases (past and future).

--------------------------------------------------------------------------------
SML/NJ 110.99.9
-------------------

[2025-10-04]
        Moved the `JSON` structure to the utility library.  This change is to
        make it possible for libraries to produce results as JSON values without
        having to be dependent on the JSON library.  The structure is re-exported
        from the JSON library, so this change should not affect existing code.

[2025-09-13]
        Added `LEB128` module, which implements packed encoding and decoding
        of integer and word types using the Little Endian Base 128 encoding.

[2025-09-09]
	Fix Issue #366 (`SockUtil.recvVec` behaviour does not match
	documentation).

[2025-07-17]
        Merged development pull request #308, which fixed a bug in the `IntBinarySet`
        structure (Development Issue #310).

[2025-07-17]
        Added a number of operations to the `MONO_HASH_SET` interface to make
        it more compatible to the `ORD_SET` interface.

[2025-07-12]
        Changed the implementation of the `randInt`, `randWord`, and `randNat`
        functions to be more compatible with **MLton** (see Issue #363 ("default
        word size" in the documentation for Util/Random).  The change is to
        use truncation of the high-order bits to convert from native words to
        smaller types, instead of right shifts.  The documentation has also been
        edited for clarity.

--------------------------------------------------------------------------------
SML/NJ 110.99.8
-------------------

        No changes

--------------------------------------------------------------------------------
SML/NJ 110.99.7
-------------------

[2024-12-21]
        Added the `decode_strategy` mechanism to the `UTF8` structure.  This
        mechanism allows specifying how to handle incomplete/invalid multibyte
        sequences.

[2024-09-20]
        Added `rawArray` and `rawObject` decoders to the `JSONDecode` structure.
        Be more consistent about using the `JSONError` exception to signal
        decoding failures.

--------------------------------------------------------------------------------
SML/NJ 110.99.6
-------------------

[2024-09-18]
        Refactored how error exceptions are used in the `JSONDecode` and `JSONUtil`
        modules.  The new design, which follows the Basis Library pattern of
        the `IO.Io` exception, uses a single `JSONError` exception for all errors.
        The `JSONError` exception has two arguments: the first is an exception
        that details the particular kind of error and the second is the JSON value
        that was being processed when the error was detected.

[2024-09-09]
	Merged pull request #322 (Remove useless branches in `HashSetFn.insert`).

[2024-09-02]
        Added the `combineWith` function to the various implementations of the
        `ORD_SET` signature.

[2024-08-30]
	Bug fixes for the handling of Unicode escape sequences in JSON strings
	(thanks to Skye Soss for the fixes).

[2024-08-06]
        Further specialization of the `IntHashTable` implementation.  Since the
        hash and key values are the same bit pattern, we do not need to test
        keys for equality.

[2024-07-03]
        Fixed Issue #314 (Wrong description of brace syntax in RegExp Library
        in SML of NJ Library) and added some additional RE tests.

[2024-05-24]
        Fixed Issue #313 (Random.randRange when low = h).

[2024-03-24]
        Fixed the reporting of field-not-found errors in JSON library (the error
        message was garbled).

[2024-03-22]
        Fixed some bugs in the new JSON parser.  The first byte of a UTF-8
        sequence was being dropped and comments were only allowed immediately
        in front of values.

--------------------------------------------------------------------------------
SML/NJ 110.99.5
-------------------

[2024-03-14]
        Rewrote the JSON parsers to work directly on the input source (instead of
        using a ML-ulex lexer.  This change fixes Issue #284 (ML-ULex's memoization
        causes massive performance penalties for JSON parsing).  For the `data.json`
        file mentioned in the issue, parsing is about eight times faster, while the
        speedup is even greater for the `huge.json` file.

[2024-03-11]
        Added `JSONDecode` module.

[2024-02-26]
        Added `insertWith`, `insertWithi`, and `findAndRemove` operations to the
        `HASH_TABLE` and `MONO_HASH_TABLE` interfaces (and corresponding
        implementations).  This addition was requested in Issue #297 (Additional
        operations for the `MONO_HASH_TABLE` interface).

[2024-01-01]
        Fixed a bug in `Random.randReal` on 32-bit systems.  This change fixes
        issue #290 (`Random.realRand` returns far smaller value than unity).

[2023-12-22]
        Fixed the error checking and documentation for the `subArray` function
        in the `DynamicArray` structure and `DynamicArrayFn` functor.

[2023-12-20]
        Fixes to the `subArray` and `truncate` functions in the dynamic array
        implementation (both structure `DynamicArray` and functor `DynamicArrayFn`).
        These changes address development pull request #280 (`DynamicArray.subArray`
        creates array with length bound+1).

[2023-12-18]
        Add `EditDistance` module to utility library.

[2023-11-04]
        Reworked the `UTF8` structure to impose stricter validation of the
        encodings.  Added the `Invalid` exception for when an invalid encoding
        is encountered and replaced uses of the `Domain` exception with `Invalid`.
        Also added the `size'` function for getting the number of UTF-8
        characters in a substring.  These changes address development issue 276
        (`UTF8.getu` should validate that it's input is UTF-8).

[2023-09-19]
        Added modules for the representation of booleans, integers, and words
        as hash-consed values to the HashCons library.

--------------------------------------------------------------------------------
SML/NJ 110.99.4
-------------------

[2023-07-27]
        Fixed a bug in the Thompson engine and also added support for "$"
        (end-of-line assertions) and full interval support in the RegExp
        library.

        Also fixed issue #258 (https://github.com/smlnj/legacy/issues/258)
        in the Thompson engine.

[2023-06-14]
        Reworked the code for determining the maximum hash-table size (used
        in the `HashSetFn` and `HashTableRep` modules) so that it does not
        depend on `Int.int` and `Word.word` being the same size (an issue
        for MLton).  Also split that code out into the internal `MaxHashTableSize`
        module.  These changes fix issue #279 (https://github.com/smlnj/legacy/issues/279).

[2023-01-01]
        Reimplementation of the `Random` structure to use the Mersenne Twister
        algorithm.  There are both 32-bit and 64-bit versions of the generator
        (which one is included depends on the target platform).  The
        implementations are derived from the C code at
        http://www.math.sci.hiroshima-u.ac.jp/m-mat/MT/emt.html.  The `RANDOM`
        signature also has some additional operations, such as generation of
        native-sized integers and words.

        This change fixes issue #256 (https://github.com/smlnj/legacy/issues/256).

[2022-12-19]
        Added the `NativeInt` and `NativeWord` structure aliases to provide
        a portable way to refer to the native numeric types in signatures.
        While these are not necessary for the development branch (which only
        supports 64-bit platforms), we include them to minimize differences
        with the legacy branch of the SML/NJ Library.

--------------------------------------------------------------------------------
SML/NJ 110.99.3
-------------------

[2022-06-03]
        More and improved comparisons for the `ORD_MAP` interface.  The type of
        the `collate` function has been made more polymorphic to allow maps with
        different ranges to be compared.  We have also added the `equiv` function
        for testing the equivalence of two maps (again, the range types may be
        different), and the `extends` function that tests if one map extends
        another.  These functions are linear in the size of the smaller map.

[2022-06-01]
        Fix for bug #307 (`SExpParser.parseFile` should return empty list on empty
        file)

[2022-06-01]
        Fix for bug #309 (SExp: parsing the output of the printer produces a
        different SExp).  The *SExp* library now uses Scheme syntax for string
        literals.

[2022-04-27]
        Added `findAndRemove` function to `ORD_MAP` interface.

--------------------------------------------------------------------------------
SML/NJ 110.99.2
-------------------

[2021-07-28]
        Added convenience function `int` to the `JSON_STREAM_OUTPUT` interface.

[2021-07-28]
        Refactored the output modules in the JSON library.  These changes should
        not affect current clients of the library, but allow the addition of
        printing JSON to a `CharBuffer.buf`.

[2021-07-28]
        Bug fix to `JSONUtil` module; the `FIND` path arc was not getting
        handled for the update functions (`replace`, `insert`, and `append`).

--------------------------------------------------------------------------------
SML/NJ 110.99.1
-------------------

[2021-03-09]
        Fixed bug #278 (ListMergeSort is documented as stable, but is not (esp.
        since 110.78 rewrite!))

[2021-03-01]
        Added some additional mechanism to the `JSONUtil` structure to make
        writing robust queries easier.  The additions include the functions
        `hasField` and `testField`, and the constructor `FIND` for
        the `JSONUtil.edge` datatype, which supports indexing arrays by
        value in a path.  Also added the `ElemNotFound` exception for when
        `FIND` fails.

[2021-02-08]
        Fixed the handling of the empty list in the `ANSITerm` structure.
        Also updated the documentation.

--------------------------------------------------------------------------------
SML/NJ 110.99
-------------------

[2020-12-23]
        Split out the `CharBufferDev` structure from the `CharBufferPP`
        structure.

[2020-12-21]
        Significant improvements to the pretty printing library.
        Added a number of device "properties" to the `PP_DEVICE`
        signature (max indentation, max depth, ellipses, ...)
        with functions to set the properties.  Also updated the
        pretty printing engine to use the max depth and max
        indentation properties when rendering.  Restructured
        and cleaned up a bunch of code in the process.

--------------------------------------------------------------------------------
SML/NJ 110.98
-------------------

[2020-07-08]
        Fixed bug #263 (JSON parser ignores suffixes).  To fix this
        bug required changing the interface to the `JSONParser`
        structure, including the type of the `parse` function.
        The `JSONParser` structure now exports a `source` type,
        which is an abstraction of a JSON input source.  Several
        functions are included for creating sources from strings,
        input streams, etc.
        This mechanism has also been added to the JSONStreamParser
        structure's interface too.

[2020-07-07]
        Fixed bug #262, which was that the JSON parser didn't
        handle empty objects correctly.

[2020-07-02]
        Renamed the `HTMLDev` structure to `HTML3Dev`.  At some
        point, the `HTML` library will also be renamed, since
        "HTML" implies HTML5 these days.

[2020-07-01]
        Updated the `ANSITermDev` structure in the pretty-printing
        library to use the new control modes that were introduced
        in 110.97.  Also moved the `HTMLDev` structure into a new
        `pp-extras-lib.cm` library.  Doing so eliminates a dependency
        from the compiler to the HTML library.

[2020-06-08]
        Added several functions to the `MONO_HASH_SET` signature
        (and `HashSetFn` functor) to make its interface closer
        to that of the `ORD_SET` signature.  The new functions are
        `subtractc`, `subtractList`, `mapPartial`, `partition`,
        `filter`, `exists`, `all`, and `find`.
        In addition, also added the `copy` function.

[2020-06-03]
        Added the functions `delete` and `findAndRemove` to the
        `MONO_PRIORITYQ` signature.

[2020-05-25]
        Some cleanup and additions to the `RegExpSyntax` structure in
        the *RegExp Library*.  Instead of having constructors for
        the optional, closure, and positive-closure operators, we
        now support them via functions.  This change is because the
        constructors were redundant with the more general `Interval`
        constructor.
        We also added more support for character ranges.  The new
        function `fromRange` constructs a character set for a range,
        and pre-defined character sets are provided for the POSIX
        character classes (plus ``[:ascii:]`` and ``[:word:]``.

[2020-05-20]
        Fixed bug in printing JSON strings that include characters
        that need to be escaped.

[2020-05-15]
        Renamed `without` as `subtract` and `listItems` as `toList`
        in the `MONO_HASH_SET` signature.  The old names are still
        present, but are marked as deprecated.

[2020-05-14]
        Add `toList` function to `MONO_DYNAMIC_ARRAY` signature.

[2020-05-12]
        Changed the `ListXProd` interface to follow the Basis Library
        conventions (this module was written in the early 1990's
        before the conventions had been established).  The function
        names are now `app`, `map`, and `fold` and the types follow
        the Basis Library conventions (`app` expects a `unit` return
        type for its first argument and the initial value for `fold`
        is the second argument, instead of the third).  The old
        `appX`, `mapX`, and `foldX` functions are deprecated, but
        remain for backward compatibility.

[2020-05-11]
        Added `mapPartial` function to `ORD_SET` interface.

--------------------------------------------------------------------------------
SML/NJ 110.97
-------------------

[2020-04-21]
        Removed the `version` and `banner` components from the `LibBase`
        structure, since the library has been tracking SML/NJ release
        versions for a very long time.

[2020-04-19]
        Added `implode`, `map`, `app`, `all`, and `exists` functions to
        the `UTF8` signature. Also implemented the handling of 4-byte
        encodings, which were previously not supported.

[2020-04-16]
        Renamed the `HASH_SET` signature to `MONO_HASH_SET`, which is
        the correct name given the naming conventions.

[2020-04-14]
        Added the `fromVector`, `toList`, and `toVector` functions to
        the `DynamicArray:DYNAMIC_ARRAY` interface.

[2020-04-14]
        Updated the `BitArray:BIT_ARRAY` interface to follow standard patterns
        (this interfaces was originally designed before the SML Basis Library,
        so it did not follow the conventions).
        The changes are to have the `fromString` function return `NONE`,
        instead of raising an exception on bad input, and to use deprecate
        the `lshift` and `rshift` operations in favor of `>>` and `<<` (which
        use `word` for the shift amount).

[2020-04-13]
        Added more modes to the `ANSITerm` command set.  Specifically, we added
        the `Default` color specifier and the styles `DIM`, `NORMAL`, `UL_OFF`,
        `BLINK_OFF`, `REV_OFF`, and `INVIS_OFF`.

[2020-04-13]
        Made the `ControlUtil.Cvt.bool` converter case insensitive.  Also,
        it now allows "yes"/"no" as values.

[2020-04-11]
        Replaced the "directional" fold functions (_e.g._, `foldl`, `foldri`)
        with non-directional functions (_e.g., `fold`, `foldi`) in the
        `HashConsSet` and `HashConsMap` structures.  The reason for this
        change is that the order of objects is pretty arbitrary, so there
        is not any usefulness to processing elements in increasing or
        decreasing order.
        For backward compatibility, the old names will continue to work,
        but they are deprecated amd will be removed in some future release.

[2020-04-10]
        Added `insertWith` and `insertWithi` functions to the `ORD_MAP`
        signature.

[2020-04-10]
        Added operations to the `HashConsSet` and `HashConsMap` structures
        (and corresponding signatures) to bring them inline with the
        `ORD_SET` and `ORD_MAP` interfaces.  Also reimplemented these

[2020-04-10]
        Added a `QUOTE` constructor to the `SExp.value` datatype and
        cleaned up the details of the syntax of identifiers.  Also
        added a `compare` function for the `SExp.value` datatype.

[2020-04-09]
        Reimplemented the `find` functions in `UnixPath` to use the
        `PathUtil` implementation, rather than reimplementing it.
        Also changed the result types of `findFile` and `findFileOfType`
        to return `string option`, instead of raising an exception.

[2020-04-08]
        The `JSONStreamPrinter` implementation now raises the `Fail`
        exception when printing is attempted on a closed printer.

[2020-04-08]
        Changed the return type of the `error` call-back function in
        the `JSONStreamParser.callbacks` type to `unit`.

[2020-04-01]
        Added a new library for generating and manipulating "Universally
        Unique Identifiers" (UUID/uuid-lib.cm).

[2020-04-01]
        Added structure `FNVHash`, which implements the Fowler-Noll-Vo
        hashing algorithm

[2020-02-27]
        Added `RESET` as a command to the `ANSITerm` structure.

[2020-01-02]
        Added the `disjoint` function to the `ORD_SET` signature.

--------------------------------------------------------------------------------
SML/NJ 110.94-96
-------------------

        No changes

--------------------------------------------------------------------------------
SML/NJ 110.93
-------------------

[2019-09-04]
        Modified the `Rand` and `Random` structures to use the default `Word`
        structure, instead of `Word31`.  This change should make no difference
        on 32-bit targets, but we hopefully allow these modules to continue
        working on 64-bit targets (once we have 64-bit support working).  In
        the long run, we will want 64-bit specific implementations of these
        modules.

--------------------------------------------------------------------------------
SML/NJ 110.86-92
-------------------

        No changes

--------------------------------------------------------------------------------
SML/NJ 110.86
-------------------

[2019-01-07]
        Renamed the function `CharBufferPP.openOut` to `openBuf`, and added the
        `TextPP` structure that supports pretty printing to either an output
        stream (like `TextIOPP`) or a character buffer (like `CharBufferPP`)

--------------------------------------------------------------------------------
SML/NJ 110.85
-------------------

        No changes

--------------------------------------------------------------------------------
SML/NJ 110.84
-------------------

[2018-12-12]
        Added CharBufferPP to pretty-printing library.  This module can be used
        to generate strings from a pretty-printer.

[2018-09-26]
        Minor cleanup in the way that hash-table sizes are determined.  We now
        place an upper bound on table size that is derived from Array.maxLen.

--------------------------------------------------------------------------------
SML/NJ 110.83
-------------------

[2018-08-20]
        Added a pretty printer (SExpPP) to the SExp library.  The SExpPrinter
        module does not layout the text with line breaks, which makes it hard
        to read.
        Also fixed a bug in the SExp.same function (lists of different lengths
        would compare equal if the shorter list was a prefix of the longer list)

[2018-08-20]
        Added some documentation to the PP_STREAM signature.

--------------------------------------------------------------------------------
SML/NJ 110.82
-------------------

[2017-05-17]
        Fixed a bug in the way that JSON string values were being printed.
        The code previously assumed that C-style esaping will work, but
        that is not true for "\'" (as well as for control and non-ASCII
        characters).  The new implementation assumes that the string value
        is UTF-8 and uses the "\\u" escape sequences for characters outside
        the JSON escapes and printable ASCII characters.

        NOTE: we should make sure that the input side of the JSON library
        has the same semantics.

--------------------------------------------------------------------------------
SML/NJ 110.81
-------------------

[2017-04-12]
        Added JSONUtil structure to JSON library.  This module supports processing
        the in-memory representation of JSON values.

--------------------------------------------------------------------------------
SML/NJ 110.80
-------------------

[2016-08-03]
        Fixed bug #167 (Bug in handling of long options in GetOpt).  The new behavior
        is to allow long-option prefixes to overlap with other long options, but to
        favor an exact match over prefix matches.  For example, if the long options
        are "--foo", "--foobar", and "--foobaz", then "--foo" will match the first,
        but "--foob" will be flagged as ambiguous.

[2016-01-12]
        Added minItem and maxItem to ORD_SET signature.

[2016-01-12]
        Added toList to ORD_SET signature and marked listItems as
        deprecated.

[2015-12-07]
        Fixed bug #144 (Splay sets are broken).

[2015-10-28]
        Added the function `help` to the Controls module that returns a
        control's help string.

[2015-10-28]
        Added the functions mkOptionFlag, mkOptionReqArg, and mkOption
        to the Controls module to make it easier to package controls
        as command-line options. These functions provide an alternative
        to the usual approach of using a "--C<ctl>=<value> form for
        all of the controls.

--------------------------------------------------------------------------------
SML/NJ 110.79
-------------------

[2015-09-21]
        Added additional array operations toList, fromVector, and toVector to
        BitArray module so that it matches the new proposed Basis Library
        specification (Proposal 2015-003).

--------------------------------------------------------------------------------
SML/NJ 110.78
-------------------

[2014-12-07]
        Added HTML4Entities structure to HTML4 library.  various
        performance improvements to HTML4 parsing (but the code still
        needs work).  Also rewrote the HTML4 pretty printer.

[2014-12-07]
        New implementation of ListMergeSort.  This implementation is
        better on sorted data (both ascending and descending) and
        faster on smaller lists.  It is slower than the previous
        implementation on very large lists (e.g., 10^6 elements
        or more).

[2014-11-17]
        Added HTML4Attrs module to HTML4 library.  This module provides
        utility functions for building attribute-value pairs.

--------------------------------------------------------------------------------
SML/NJ 110.77
-------------------

[2014-07-15]
        Reimplementation of delete/remove operations in red-black-tree
        versions of sets and maps.  The previous implementation could
        result in violations of the data-structure invariants, which
        was leading to unbalanced trees and loss of performance.  Note
        that the order invariants were correctly maintained, so correctness
        of the operations was not an issue.

[2014-03-27]
        Added XML library, which is a lightweight library for parsing XML
        files.  The library does not support validation and will immediatly
        raise an exception on syntax errors.  Its purpose is to ease the
        writing of applications that must process data files that are
        in XML syntax.

[2013-11-20]
        Changes to S-expression parsing library.  Allow multiple top-level
        values in a file (parsing now returns a list).  Handle LISP/Scheme-style
        comments ("; ...").

--------------------------------------------------------------------------------
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.

