Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/smlnj-lib/CHANGES
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


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

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