1 |
This is a list of changes to the SML/NJ Library; the version numbers |
This is a list of changes to the SML/NJ Library; the version numbers |
2 |
correspond to SML/NJ releases. |
correspond to SML/NJ releases. |
3 |
|
-------------------------------------------------------------------------------- |
4 |
|
|
5 |
|
[2005-08-04] |
6 |
|
Renamed graph-scc.sml to graph-scc-fn.sml. |
7 |
|
|
8 |
|
[2005-07-23] |
9 |
|
Fix PP library to export ANSITermDev, ANSITermPP, PPDescFn, and |
10 |
|
PP_DESC. Also add nbSpace to PP_DESC signature. |
11 |
|
|
12 |
|
[2005-07-12] |
13 |
|
Added ANSITermDev device that uses ANSI terminal display attributes |
14 |
|
and added a ANSITermPP for pretty printing to such a device. |
15 |
|
|
16 |
|
[2005-07-06] |
17 |
|
Added ANSITerm structure, which provides support for ANSI terminal |
18 |
|
display attributes (e.g., red text). |
19 |
|
|
20 |
|
[2005-07-06] |
21 |
|
Refactored the pretty printing library. The declarative way to |
22 |
|
construct pretty-printing descriptions now sits on top of the |
23 |
|
PP_STREAM interface. Also removed "onNewline" function, which |
24 |
|
was not implemented. |
25 |
|
|
26 |
|
[2005-05-05] |
27 |
|
Added singleton function to MONO_PRIORITYQ interface. |
28 |
|
|
29 |
|
[2005-05-04] |
30 |
|
Added the "join" combinator to ParserComb. |
31 |
|
|
32 |
|
[2005-03-21] |
33 |
|
Fixed a bug in GetOpt.getOpt. The argument processing functions |
34 |
|
for ReqArg and OptArg, and the embedding function for ReturnInOrder |
35 |
|
were getting applied to all arguments, even past a "--". |
36 |
|
|
37 |
|
[2005-02-11] |
38 |
|
Added Atom.same and Atom.lexCompare to the Atom structure. Eventually, |
39 |
|
Atom.sameAtom will be removed. |
40 |
|
|
41 |
|
[2004-12-15] |
42 |
|
Change HashString.hashString' to hashSubstring. |
43 |
|
|
44 |
|
[2004-12-09] |
45 |
|
Added two simple statistics modules: |
46 |
|
* RealOrderStats implements selection of arbitrary order |
47 |
|
statistics as well as the median of an array of reals |
48 |
|
in randomized linear time. |
49 |
|
* UnivariateStats implements mean, variance, standard and average |
50 |
|
deviation, skew, kurtosis, and median of a univariate sample |
51 |
|
(i.e., a set of reals). |
52 |
|
|
53 |
|
[2004-11-29] |
54 |
|
Added HashString.hashString' for substrings. |
55 |
|
Hand-inlined CharVector.fold into HashString for efficiency. |
56 |
|
Modified atom.sml so that Atom.atom' first tries to find an |
57 |
|
existing atom before turning its argument into a string. [-blume] |
58 |
|
|
59 |
|
[2003-09-03] |
60 |
|
Minor modifications to random.sml due to changes to some |
61 |
|
Basis interfaces (slices). |
62 |
|
Significant surgery on bit-array.sml to make it compile with |
63 |
|
new signature MONO_ARRAY. This will require further cleanup |
64 |
|
in the future. |
65 |
|
|
66 |
|
[2003-08-28] |
67 |
|
Made compilation of int-inf* conditional. (The Basis now has |
68 |
|
a spec-conforming implementation of IntInf, so the one here is |
69 |
|
no longer needed.) [-blume] |
70 |
|
|
71 |
|
[2003-07-31] |
72 |
|
Added getDevice function to PP_STREAM signature. |
73 |
|
|
74 |
|
[2003-05-27] |
75 |
|
Avoid poly-eq in Util/parser-comb.sml. |
76 |
|
|
77 |
|
[2003-05-22] |
78 |
|
More cleanup (all in the name of eliminating incomplete matches): |
79 |
|
- in HTML/html-attrs-fn.sml: fill in missing patterns in two |
80 |
|
case expressions |
81 |
|
- in HTML/html-gram: rewrote function groupDefListContents |
82 |
|
to avoid the (unnecessary) incomplete match |
83 |
|
- in PP/devices/html-dev.sml: made the implementation of popStyle |
84 |
|
agree with the comment above it (popStyle on an empty |
85 |
|
stack is supposed to be a nop) |
86 |
|
- in PP/src/pp-stream-fn.sml: function setSize: handle case of |
87 |
|
an empty scanStk |
88 |
|
- in Util/prime-sizes.sml: raise Fail exceptions instead of |
89 |
|
Match exceptions when reaching the end of a list |
90 |
|
(Perhaps this should eventually be rewritten using an on-demand |
91 |
|
prime-number generator that kicks when needed.) |
92 |
|
|
93 |
|
[2003-05-22] |
94 |
|
Cleanup logic in Scan.scanf function. |
95 |
|
|
96 |
|
[2002-10-03] |
97 |
|
Fixed bug in formating reals with the %g format. |
98 |
|
|
99 |
|
[2002-06-18] |
100 |
|
Fixed a bug in MatchTree.nth (regexp library). Thanks to |
101 |
|
Sami Nopanen. |
102 |
|
|
103 |
|
[2002-05-20] |
104 |
|
Fixed bug in IntInf module: scanning of hex literals was not |
105 |
|
handling "0x" prefixes. |
106 |
|
|
107 |
|
[2002-05-20] |
108 |
|
Added ControlUtil module and stringControls function. |
109 |
|
|
110 |
|
[2002-05-17] |
111 |
|
Added tyName field to ValueSyntax exception in Controls module |
112 |
|
and path field to registry tree in ControlRegistry module. |
113 |
|
|
114 |
|
[2002-05-17] |
115 |
|
Added == and != operators to INT_INF interface. These are a |
116 |
|
placeholder until IntInf moves into the SML/NJ compiler. |
117 |
|
|
118 |
|
[2002-05-16] |
119 |
|
Added mergeWith function to ORD_MAP interface. |
120 |
|
|
121 |
|
[2002-05-15] |
122 |
|
Revised Controls library. |
123 |
|
|
124 |
|
[2002-04-17] |
125 |
|
Added Matthias Blume's implementation of Danvey-style format |
126 |
|
combinators to the Util library. |
127 |
|
|
128 |
|
[2002-03-14] |
129 |
|
Merged in Matthias Blume's Controls library. Warning: the API |
130 |
|
to this library is likely to change as we get some experience |
131 |
|
with it. |
132 |
|
|
133 |
|
[2002-03-11] |
134 |
|
Added consR1 .. consR5 functions to HashCons library. These |
135 |
|
can be used to hash-cons record types. |
136 |
|
|
137 |
|
[2002-02-21] |
138 |
|
Fixed infinite loop in LeftPriorityQFn.fromList when given a |
139 |
|
singleton list as input (Chris Okasaki provided the fix). |
140 |
|
|
141 |
|
[2002-02-12] |
142 |
|
Added implementation of priority queues to Util library (using |
143 |
|
Okasaki's leftist-tree implementation). |
144 |
|
|
145 |
|
[2001-10-19] |
146 |
|
Added new HashCons library. |
147 |
|
|
148 |
|
[2001-10-19] |
149 |
|
Added PrimeSizes module to Util library. |
150 |
|
|
151 |
|
[2001-09-27] |
152 |
|
Fixed bug in UnixEnv module (reported by Leunga). |
153 |
|
|
154 |
|
[2001-05-05] |
155 |
|
Added addrToString function to SockUtil module in INet library. |
156 |
|
|
157 |
|
[2001-05-04] |
158 |
|
Modified GraphSCC module to support a list of roots (Blume). |
159 |
|
The old interface still works, but will be dropped when we move |
160 |
|
to the new Util library. |
161 |
|
|
162 |
|
[2001-04-06] |
163 |
|
Added partition function to ORD_SET interface. |
164 |
|
|
165 |
|
[2001-04-05] |
166 |
|
Added hasProps function to PropList module. |
167 |
|
|
168 |
|
[2001-03-16] |
169 |
|
Minor bug fix in GetOpt: don't pad the help string, since it causes |
170 |
|
line wraps when one of the help lines is longer than the screen |
171 |
|
width. It was also unneccesary. |
172 |
|
|
173 |
|
[2001-02-23] |
174 |
|
Added inDomain function to the various kinds of hash tables. |
175 |
|
|
176 |
|
[2001-02-22] |
177 |
|
Fixed bug in {Int,Word}RedBlackMapFn.insert (bug 1591). |
178 |
|
|
179 |
|
[2000-12-13] |
180 |
|
Added the bit operations to the IntInf module (Leung). |
181 |
|
|
182 |
|
[2000-11-17] |
183 |
|
Added where clause to GraphSCCFn result signature (Blume). |
184 |
|
|
185 |
|
[2000-10-20] |
186 |
|
Made the result signature of the RegExpFn functor be opaque. |
187 |
|
|
188 |
|
[2000-09-28] |
189 |
|
SML/NJ 110.0.7 release. |
190 |
|
|
191 |
|
[2000-09-02] |
192 |
|
Added Word versions of hash tables (WordHashTable), finite |
193 |
|
maps (WordRedBlackMap), and sets (WordRedBlackSet). |
194 |
|
|
195 |
|
[2000-09-02] |
196 |
|
fixed bug in Format module (infinity caused infinite loop). |
197 |
|
|
198 |
|
[2000-07-19] |
199 |
|
added anchored paths in CM files for NEW_CM. |
200 |
|
|
201 |
|
[2000-06-30] |
202 |
|
added implementation of LWORD in Format module. |
203 |
|
|
204 |
|
[2000-05-16] |
205 |
|
Fixed bug in dfa-engine.sml (bug number 1559). |
206 |
|
|
207 |
|
[2000-05-08] |
208 |
|
Added setFn to PList.newProp return type. |
209 |
|
|
210 |
|
[2000-05-05] |
211 |
|
Added sameHolder function to PropList module. |
212 |
|
|
213 |
|
[2000-04-05] |
214 |
|
Fixed a bug in the filter/filteri hash table functions: the number |
215 |
|
of items in the table was not being recomputed. |
216 |
|
|
217 |
|
[2000-04-04] |
218 |
|
Added modify and modifyi iterators to hash tables. |
219 |
|
|
220 |
|
[2000-03-28] |
221 |
|
Added anchorLink style to HTMLDev structure in PP/devices. |
222 |
|
|
223 |
|
[1999-12-03] |
224 |
|
Added IntHashTable structure to Util library; this structure is |
225 |
|
a specialization of hash tables to integer keys. |
226 |
|
|
227 |
|
[1999-12-03] |
228 |
|
Added default cases to avoid "match not exhaustive" warnings. |
229 |
|
|
230 |
|
[1999-12-03] |
231 |
|
Added GraphSCCFn functor to Util library, which implements a |
232 |
|
strongly-connected components algorithm on directed graphs (written |
233 |
|
by Matthias Blume). |
234 |
|
|
235 |
|
[1999-11-10] |
236 |
|
Fixed a benign type error in RegExp/BackEnd/fsm.sml that was exposed by |
237 |
|
the previous change. |
238 |
|
|
239 |
|
[1999-11-7] |
240 |
|
Made the result signatures of ListSetFn and ListMapFn opaque. |
241 |
|
|
242 |
|
[1999-11-1] |
243 |
|
Fixed bug in PP/devices/sources.cm under new CM (missing smlnj-lib.cm). |
244 |
|
|
245 |
|
[1999-10-20] |
246 |
|
Fixed bug in RedBlack trees (the linear time construction of |
247 |
|
trees from ordered sequences was producing backwards trees). |
248 |
|
|
249 |
|
[1999-10-18] |
250 |
|
Changed UREF signature so that union, unify, and link operations |
251 |
|
now return a boolean. |
252 |
|
|
253 |
|
[1999-10-18] |
254 |
|
Added peekFn to PropList.newProp return result. |
255 |
|
|
256 |
|
[1999-10-14] |
257 |
|
Added TextIOPP structure to pp-lib.cm (it was not being exported). |
258 |
|
|
259 |
|
[1999-09-21] |
260 |
|
Changed the getOpt API. Errors are now reported using a callback |
261 |
|
and both usage and getOpt take records as arguments. Also changed |
262 |
|
the NoArg descriptor to take a function so that imperative argument |
263 |
|
processing can be supported. |
264 |
|
|
265 |
|
[1999-09-20] |
266 |
|
Changed CM files to be compatible with both the old (110.0.x) and |
267 |
|
new (110.20+) versions of CM. |
268 |
|
|
269 |
|
[1999-09-17] |
270 |
|
Added PropList:PROP_LIST structure. This structure implements |
271 |
|
property lists using Stephen Weeks's technique. |
272 |
|
|
273 |
|
[1999-09-17] |
274 |
|
Improved the red-black tree implementations with linear-time union, |
275 |
|
intersection, difference, and filter operations. Also reimplemented |
276 |
|
the delete function in a way that does not require an extra constructor. |
277 |
|
|
278 |
|
[1999-09-09] |
279 |
|
Added Red-Black-Tree implementation of sets and maps. Two new |
280 |
|
functors (RedBlackMapFn and RedBlackSetFn) and four new structures |
281 |
|
(IntRedBlackMap, IntRedBlackSet, AtomIntRedBlackMap, and IntRedBlackSet). |
282 |
|
Also added aliases AtomMap and AtomSet that for the RB implementations. |
283 |
|
|
284 |
|
[1999-09-03] |
285 |
|
Added missing support for WORD and WORD8 format items to Format structure. |
286 |
|
Still need to handle LWORD items!! |
287 |
|
|
288 |
|
[1999-08-17] |
289 |
|
Added DynamicArray:DYNAMIC_ARRAY structure. |
290 |
|
|
291 |
|
[1999-07-06] |
292 |
|
Added declarative representation of pretty-printing to PPStreamFn. |
293 |
|
This replaces the PPDescFn and PP_DESC components (which were not |
294 |
|
implemented anyway). |
295 |
|
|
296 |
|
[1999-07-02] |
297 |
|
Moved SockUtil structure into a new INet library. Also split out the |
298 |
|
Unix-specific socket operations into a UnixSockUtil module. (Sockets |
299 |
|
are now supported on Win32). |
300 |
|
|
301 |
|
[1999-06-17] |
302 |
|
Added listKeys function to ORD_MAP API. |
303 |
|
|
304 |
|
[1999-06-14] |
305 |
|
Added Riccardo Pucella's GetOpt structure to Util library. |
306 |
|
|
307 |
|
[1999-06-14] |
308 |
|
Added singleton and inDomain functions to ORD_MAP API. |
309 |
|
|
310 |
|
[1999-06-02] |
311 |
|
Merged in some bug fixes from the compiler's version of the IntInf |
312 |
|
structure. |
313 |
|
|
314 |
|
[1999-05-05] |
315 |
|
Fixed a couple of bugs in the PP library having to do with nesting |
316 |
|
absolute and relative indentations. |
317 |
|
|
318 |
|
[1999-04-21] |
319 |
|
Added a way to pass control information to a PP device via the PP |
320 |
|
stream (function control in PP_STREAM). |
321 |
|
|
322 |
|
[1999-04-16] |
323 |
|
Added better style support to the HTML PP device. |
324 |
|
|
325 |
|
[1998-09-04] |
326 |
|
Added isEmpty predicate and first fucntion to ORD_MAP |
327 |
|
signature (and to implementations). |
328 |
|
|
329 |
|
[1998-06-23] |
330 |
|
Fixed a bug in ParserComb.bind (reported by Andrew Kennedy). |
331 |
|
|
332 |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
333 |
[1998-04-15] 110 --> 110.5 |
[1998-04-15] 110 --> 110.5 |