Annotation of /sml/trunk/src/smlnj-lib/CHANGES

Parent Directory | Revision Log

---

Revision 1268 - (view) (download)

1 :	monnier	2	This is a list of changes to the SML/NJ Library; the version numbers
2 :			correspond to SML/NJ releases.
3 :
4 :	monnier	498	--------------------------------------------------------------------------------
5 :	jhr	751
6 :	jhr	1268	[2002-10-03]
7 :			Fixed bug in formating reals with the %g format.
8 :
9 :	jhr	1248	[2002-06-18]
10 :			Fixed a bug in MatchTree.nth (regexp library). Thanks to
11 :			Sami Nopanen.
12 :
13 :	jhr	1206	[2002-05-20]
14 :	jhr	1209	Fixed bug in IntInf module: scanning of hex literals was not
15 :			handling "0x" prefixes.
16 :
17 :			[2002-05-20]
18 :	jhr	1206	Added ControlUtil module and stringControls function.
19 :
20 :	jhr	1194	[2002-05-17]
21 :	jhr	1199	Added tyName field to ValueSyntax exception in Controls module
22 :			and path field to registry tree in ControlRegistry module.
23 :	jhr	1195
24 :			[2002-05-17]
25 :	jhr	1194	Added == and != operators to INT_INF interface. These are a
26 :			placeholder until IntInf moves into the SML/NJ compiler.
27 :
28 :	jhr	1193	[2002-05-16]
29 :			Added mergeWith function to ORD_MAP interface.
30 :
31 :			[2002-05-15]
32 :			Revised Controls library.
33 :
34 :			[2002-04-17]
35 :			Added Matthias Blume's implementation of Danvey-style format
36 :			combinators to the Util library.
37 :
38 :			[2002-03-14]
39 :			Merged in Matthias Blume's Controls library. Warning: the API
40 :			to this library is likely to change as we get some experience
41 :			with it.
42 :
43 :			[2002-03-11]
44 :			Added consR1 .. consR5 functions to HashCons library. These
45 :			can be used to hash-cons record types.
46 :
47 :	jhr	1081	[2002-02-21]
48 :			Fixed infinite loop in LeftPriorityQFn.fromList when given a
49 :			singleton list as input (Chris Okasaki provided the fix).
50 :	blume	1077
51 :			[2002-02-12]
52 :	jhr	1061	Added implementation of priority queues to Util library (using
53 :			Okasaki's leftist-tree implementation).
54 :
55 :	jhr	967	[2001-10-19]
56 :			Added new HashCons library.
57 :
58 :			[2001-10-19]
59 :			Added PrimeSizes module to Util library.
60 :
61 :			[2001-09-27]
62 :			Fixed bug in UnixEnv module (reported by Leunga).
63 :
64 :			[2001-05-05]
65 :			Added addrToString function to SockUtil module in INet library.
66 :
67 :	jhr	816	[2001-05-04]
68 :			Modified GraphSCC module to support a list of roots (Blume).
69 :			The old interface still works, but will be dropped when we move
70 :			to the new Util library.
71 :
72 :			[2001-04-06]
73 :			Added partition function to ORD_SET interface.
74 :
75 :			[2001-04-05]
76 :			Added hasProps function to PropList module.
77 :
78 :			[2001-03-16]
79 :			Minor bug fix in GetOpt: don't pad the help string, since it causes
80 :			line wraps when one of the help lines is longer than the screen
81 :			width. It was also unneccesary.
82 :
83 :			[2001-02-23]
84 :			Added inDomain function to the various kinds of hash tables.
85 :
86 :	jhr	785	[2001-02-22]
87 :			Fixed bug in {Int,Word}RedBlackMapFn.insert (bug 1591).
88 :
89 :	jhr	784	[2000-12-13]
90 :	jhr	816	Added the bit operations to the IntInf module (Leung).
91 :	jhr	784
92 :	jhr	751	[2000-11-17]
93 :			Added where clause to GraphSCCFn result signature (Blume).
94 :
95 :			[2000-10-20]
96 :			Made the result signature of the RegExpFn functor be opaque.
97 :
98 :			[2000-09-28]
99 :			SML/NJ 110.0.7 release.
100 :
101 :	jhr	702	[2000-09-02]
102 :			Added Word versions of hash tables (WordHashTable), finite
103 :			maps (WordRedBlackMap), and sets (WordRedBlackSet).
104 :
105 :			[2000-09-02]
106 :			fixed bug in Format module (infinity caused infinite loop).
107 :
108 :			[2000-07-19]
109 :			added anchored paths in CM files for NEW_CM.
110 :
111 :	jhr	688	[2000-06-30]
112 :			added implementation of LWORD in Format module.
113 :
114 :			[2000-05-16]
115 :			Fixed bug in dfa-engine.sml (bug number 1559).
116 :
117 :			[2000-05-08]
118 :			Added setFn to PList.newProp return type.
119 :
120 :			[2000-05-05]
121 :			Added sameHolder function to PropList module.
122 :
123 :	jhr	596	[2000-04-05]
124 :			Fixed a bug in the filter/filteri hash table functions: the number
125 :			of items in the table was not being recomputed.
126 :
127 :			[2000-04-04]
128 :			Added modify and modifyi iterators to hash tables.
129 :
130 :			[2000-03-28]
131 :			Added anchorLink style to HTMLDev structure in PP/devices.
132 :
133 :	monnier	498	[1999-12-03]
134 :			Added IntHashTable structure to Util library; this structure is
135 :			a specialization of hash tables to integer keys.
136 :	monnier	2
137 :	monnier	498	[1999-12-03]
138 :			Added default cases to avoid "match not exhaustive" warnings.
139 :
140 :			[1999-12-03]
141 :			Added GraphSCCFn functor to Util library, which implements a
142 :			strongly-connected components algorithm on directed graphs (written
143 :			by Matthias Blume).
144 :
145 :			[1999-11-10]
146 :			Fixed a benign type error in RegExp/BackEnd/fsm.sml that was exposed by
147 :			the previous change.
148 :
149 :			[1999-11-7]
150 :			Made the result signatures of ListSetFn and ListMapFn opaque.
151 :
152 :			[1999-11-1]
153 :			Fixed bug in PP/devices/sources.cm under new CM (missing smlnj-lib.cm).
154 :
155 :	monnier	475	[1999-10-20]
156 :			Fixed bug in RedBlack trees (the linear time construction of
157 :			trees from ordered sequences was producing backwards trees).
158 :
159 :			[1999-10-18]
160 :			Changed UREF signature so that union, unify, and link operations
161 :			now return a boolean.
162 :
163 :			[1999-10-18]
164 :			Added peekFn to PropList.newProp return result.
165 :
166 :			[1999-10-14]
167 :			Added TextIOPP structure to pp-lib.cm (it was not being exported).
168 :
169 :	monnier	469	[1999-09-21]
170 :			Changed the getOpt API. Errors are now reported using a callback
171 :			and both usage and getOpt take records as arguments. Also changed
172 :			the NoArg descriptor to take a function so that imperative argument
173 :			processing can be supported.
174 :
175 :			[1999-09-20]
176 :			Changed CM files to be compatible with both the old (110.0.x) and
177 :			new (110.20+) versions of CM.
178 :
179 :			[1999-09-17]
180 :			Added PropList:PROP_LIST structure. This structure implements
181 :			property lists using Stephen Weeks's technique.
182 :
183 :			[1999-09-17]
184 :			Improved the red-black tree implementations with linear-time union,
185 :			intersection, difference, and filter operations. Also reimplemented
186 :			the delete function in a way that does not require an extra constructor.
187 :
188 :			[1999-09-09]
189 :			Added Red-Black-Tree implementation of sets and maps. Two new
190 :			functors (RedBlackMapFn and RedBlackSetFn) and four new structures
191 :			(IntRedBlackMap, IntRedBlackSet, AtomIntRedBlackMap, and IntRedBlackSet).
192 :			Also added aliases AtomMap and AtomSet that for the RB implementations.
193 :
194 :			[1999-09-03]
195 :			Added missing support for WORD and WORD8 format items to Format structure.
196 :			Still need to handle LWORD items!!
197 :
198 :			[1999-08-17]
199 :			Added DynamicArray:DYNAMIC_ARRAY structure.
200 :
201 :	monnier	411	[1999-07-06]
202 :			Added declarative representation of pretty-printing to PPStreamFn.
203 :			This replaces the PPDescFn and PP_DESC components (which were not
204 :			implemented anyway).
205 :
206 :			[1999-07-02]
207 :			Moved SockUtil structure into a new INet library. Also split out the
208 :			Unix-specific socket operations into a UnixSockUtil module. (Sockets
209 :			are now supported on Win32).
210 :
211 :			[1999-06-17]
212 :			Added listKeys function to ORD_MAP API.
213 :
214 :			[1999-06-14]
215 :			Added Riccardo Pucella's GetOpt structure to Util library.
216 :
217 :			[1999-06-14]
218 :			Added singleton and inDomain functions to ORD_MAP API.
219 :
220 :			[1999-06-02]
221 :			Merged in some bug fixes from the compiler's version of the IntInf
222 :			structure.
223 :
224 :	monnier	289	[1999-05-05]
225 :			Fixed a couple of bugs in the PP library having to do with nesting
226 :			absolute and relative indentations.
227 :
228 :			[1999-04-21]
229 :			Added a way to pass control information to a PP device via the PP
230 :			stream (function control in PP_STREAM).
231 :
232 :			[1999-04-16]
233 :			Added better style support to the HTML PP device.
234 :
235 :			[1998-09-04]
236 :			Added isEmpty predicate and first fucntion to ORD_MAP
237 :			signature (and to implementations).
238 :
239 :			[1998-06-23]
240 :			Fixed a bug in ParserComb.bind (reported by Andrew Kennedy).
241 :
242 :			--------------------------------------------------------------------------------
243 :	monnier	106	[1998-04-15] 110 --> 110.5
244 :			--------------------------
245 :
246 :			There is now a regular expression library (mostly implemented by Riccardo
247 :			Pucella). The implementation separates front-ends (which specify the
248 :			syntax of REs) from back-ends (which implement the matching algorithms).
249 :			Currently, we support AWK syntax as the only front-end and two different
250 :			back-ends.
251 :
252 :			Added an implementation of the SML/NJ PP API to the pretty-printer examples.
253 :
254 :			Fixed a bug in the IntInf structure with scanning strings of the form "1+2".
255 :			Also did some clean-up of the code.
256 :
257 :
258 :			--------------------------------------------------------------------------------
259 :	monnier	8	[1997-12-07] 109.32 --> 110
260 :			---------------------------
261 :
262 :	monnier	29	Added the function add' to the ORD_SET signature and the function insert'
263 :			to the ORD_MAP signature. These functions fit the pattern of the fold
264 :			functions. (110 patch 3)
265 :
266 :			Added the IntInf:INT_INF structure to the Util library. This is a subset
267 :			of the optional IntInf structure defined by the SML'97 basis.
268 :
269 :			Changed the Rand structure to use words as seeds and results. This also
270 :			fixes bug 1047. (110 patch 3)
271 :
272 :	monnier	8	Added a clear operation to the Queue and various hash table structures.
273 :
274 :			Changed the ListFormat.formatList to ListFormat.fmt and ListFormat.scanList
275 :			to ListFormat.scan. Added the function ListFormat.listToString.
276 :
277 :			Updated the HTML library to the final 3.2 specification. This involved adding
278 :			a new BODY element type (with attributes). Also, removed the header/footer
279 :			arguments to the pretty-printer (they were a gross hack).
280 :
281 :			Added PathUtil structure to Util library. This is a more general version
282 :			of the old UnixPath module.
283 :
284 :
285 :			--------------------------------------------------------------------------------
286 :			[1997-10-01] 109.31 --> 109.32
287 :			------------------------------
288 :
289 :			Changed the type of the exec instruction in the Reactive library.
290 :
291 :
292 :			--------------------------------------------------------------------------------
293 :	monnier	2	[1997-09-09] 109.30 --> 109.31
294 :			------------------------------
295 :
296 :			Added the Reactive library, which supports reactive scripting. This is a
297 :			first cut, and hasn't been extensively tested.
298 :
299 :			Changed the names of SockUtil.sock{Recv,Send}* to SockUtil.{recv,send}*
300 :			(since the sock prefix was redundant).
301 :
302 :			Added some bug fixes to IntListSet that had previously been added to
303 :			the ListSetFn implementation.
304 :
305 :
306 :			--------------------------------------------------------------------------------
307 :			[1997-07-17] 109.29 --> 109.30
308 :			------------------------------
309 :
310 :			Added a missing case to {ListSetFn,IntListSet}.isSubset.
311 :
312 :			The bug fix for unionWith was broken. I think I've got it right this
313 :			time.
314 :
315 :
316 :			--------------------------------------------------------------------------------
317 :			[1997-07-17] 109.29 --> 109.30
318 :			------------------------------
319 :
320 :			Fixed a bug in the binary-tree and splay-tree implementations of the
321 :			unionWith[i] and intersectWith[i] functions. The bug caused the order
322 :			of arguments to the merging function to be wrong in some cases.
323 :
324 :			Fixed uses of System.Unsafe.
325 :
326 :			Removed Array2:ARRAY2 from Util library, since the basis now defines these.
327 :
328 :			Added MonoArrayFn functor for easy creation of monomorphic array structures.
329 :
330 :			Added Atom.atom' operation for turning substrings into atoms.
331 :
332 :
333 :			--------------------------------------------------------------------------------
334 :			[1997-06-13] 109.28 --> 109.29
335 :			------------------------------
336 :
337 :			Added collate operation to ORD_MAP signature.
338 :
339 :			Added compare operation to ORD_SET signature.
340 :
341 :			Changed the type of and intersectWith[i] in the ORD_MAP signature to be
342 :			more general.
343 :
344 :			Changed the type of the map function in the ORD_SET signature to return
345 :			a new set (instead of a list).
346 :
347 :
348 :			--------------------------------------------------------------------------------
349 :			[1997-05-22] 109.27 --> 109.28
350 :			------------------------------
351 :
352 :			Changed various sharing constraints to "where type" definitions to
353 :			compile in SML'97.
354 :
355 :			Added AtomBinaryMap and AtomBinarySet structures to Util library.
356 :
357 :
358 :			--------------------------------------------------------------------------------
359 :			[1997-03-03] 109.25.1 --> 109.25.2
360 :			----------------------------------
361 :
362 :			Changed Util/time-limit.sml to reflect new location of callcc/throw.
363 :
364 :
365 :			--------------------------------------------------------------------------------
366 :			[1997-02-25] 109.25 --> 109.25.1
367 :			--------------------------------
368 :
369 :			Added a bunch of new operations to the ordered map modules (BinaryMapFn,
370 :			IntBinaryMap, ListMapFn, IntListFn, and SplayMapFn). The new operations
371 :			are:
372 :			val unionWith : ('a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
373 :			val unionWithi : (Key.ord_key * 'a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
374 :			val intersectWith : ('a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
375 :			val intersectWithi : (Key.ord_key * 'a * 'a -> 'a) -> ('a map * 'a map) -> 'a map
376 :			val filter : ('a -> bool) -> 'a map -> 'a map
377 :			val filteri : (Key.ord_key * 'a -> bool) -> 'a map -> 'a map
378 :			val mapPartial : ('a -> 'b option) -> 'a map -> 'b map
379 :			val mapPartiali : (Key.ord_key * 'a -> 'b option) -> 'a map -> 'b map
380 :
381 :			Added IOUtil : IO_UTIL structure to the Util library. This provides
382 :			support for dynamically rebinding stdIn and stdOut.
383 :
384 :			Added KeywordFn functor to the Util library. This provides support for
385 :			implementing scanners, where keyword recognition is done outside the
386 :			basic lexical analysis.
387 :
388 :			Fixed several bugs in the ListSetFn functor.
389 :
390 :
391 :			--------------------------------------------------------------------------------
392 :			[1997-01-10] 109.23 --> 109.24
393 :			------------------------------
394 :
395 :			Changed the HASH_TABLE, MONO_HASH_TABLE, MONO_HASH2_TABLE, and ORD_MAP
396 :			interfaces to provide two forms of the listItems function. listItemsi
397 :			returns a list of (key, value) pairs and listItems returns just the values.
398 :			The previous version of listItems was like listItemsi.
399 :
400 :			Added a missing case for BASEFONT in CheckHTMLFn.check.
401 :
402 :
403 :			--------------------------------------------------------------------------------
404 :			[1996-12-07] 109.21.1 --> 109.22
405 :			--------------------------------
406 :
407 :			Changed the MONO_DYNAMIC_ARRAY signature to make array an eqtype (also changed
408 :			the implementation of DynamicArrayFn).
409 :
410 :			Fixed a bug in Array2.column
411 :
412 :
413 :			--------------------------------------------------------------------------------
414 :			[1996-10-18] 109.19 --> 109.20
415 :			------------------------------
416 :
417 :			Added functions for sending/receiving strings over TCP sockets to the
418 :			SockUtil structure.
419 :
420 :			Fixed a bug with reading on a closed socket in SockUtil.sockRecvVec
421 :
422 :			Fixed a bug in the implementation of the intersection operation
423 :			in binary sets (BinarySetFn and IntBinarySet).
424 :
425 :
426 :			--------------------------------------------------------------------------------
427 :			[1996-10-01] 109.18 --> 109.19
428 :			------------------------------
429 :
430 :			Updated the HTML library to the August 21 version of the 3.2 DTD.
431 :
432 :			Added html-defaults.sml to the HTML Library.
433 :
434 :			Added Parsing combinators to the Util library.
435 :
436 :			Added Socket utilities to the Unix library.
437 :

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0