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

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

sml/trunk/HISTORY revision 1737, Thu Dec 16 19:38:22 2004 UTC sml/trunk/NOTES/HISTORY revision 3904, Sun Aug 17 19:33:05 2014 UTC
# Line 1  Line 1 
1  This is the HISTORY file for the Yale SML/NJ CVS repository.  This is the HISTORY file for the SML/NJ repository.
2    
3  An entry should be made for _every_ commit to the repository.  An entry should be made for _every_ commit to the repository.
4  The entries in this file will be used when creating the README  The entries in this file will be used when creating the README
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  Name: Your Name (web page or e-mail)
11    Date: yyyy/mm/dd hh:mm:ss
12    Tag: cvs-tag-for-this-change
13    Description:
14    
15    Here is a test entry
16    
17    ----------------------------------------------------------------------
18    Name: John Reppy (http://cs.uchicago.edu/~jhr)
19  Date: yyyy/mm/dd  Date: yyyy/mm/dd
 Tag: <post-commit CVS tag>  
20  Description:  Description:
21    
22  ----------------------------------------------------------------------  ----------------------------------------------------------------------
23    Name: John Reppy (http://cs.uchicago.edu/~jhr)
24    Date: 2014/08/17
25    Description:
26    Added patches to support OpenBSD on PPC.  The patches were contributed
27    by Jasper Lievisse Adriaanse (fixes bug #124).
28    
29    ----------------------------------------------------------------------
30    Name: John Reppy (http://cs.uchicago.edu/~jhr)
31    Date: 2014/08/17
32    Description:
33    Use mkstemp to implement OS.FileSys.tmpName() on systems that support
34    it (should be all modern versions of Unix).  This change fixes bug #128.
35    (Thanks to Johannes 5 Joemann).
36    
37    ----------------------------------------------------------------------
38    Name: John Reppy (http://cs.uchicago.edu/~jhr)
39    Date: 2014/08/17
40    Description:
41    Fixed a bug in IntInf.~>>, which did not handle negative arguments
42    correctly (bug #110).
43    
44    ----------------------------------------------------------------------
45    Name: John Reppy (http://cs.uchicago.edu/~jhr)
46    Date: 2014/08/14
47    Description:
48    Fixed a problem in the CPS contraction phase.  An optimization that
49    eliminates construction of a record that already exists was not
50    checking that the existing record was the same record kind (bug #119).
51    
52    ----------------------------------------------------------------------
53    Name: John Reppy (http://cs.uchicago.edu/~jhr)
54    Date: 2014/07/28
55    Description:
56    Switch to using MAP_ANONYMOUS to allocate memory on Linux systems.
57    This change avoids problems when "/dev" does not support execute
58    permission (as seems to be the case with some versions of Linux
59    running on ChromeBooks; bug #120).
60    
61    ----------------------------------------------------------------------
62    Name: John Reppy (http://cs.uchicago.edu/~jhr)
63    Date: 2014/06/28
64    Description:
65    Fix for bug 127 (Crash on windows with OS.Process.system).
66    
67    ----------------------------------------------------------------------
68    Name: John Reppy (http://cs.uchicago.edu/~jhr)
69    Date: 2014/06/07
70    Description:
71    Fixed a long-standing bug in Socket.recvVec, which prevented the result
72    from being used in a string pattern match (thanks to Vesa Norrman
73    for the fix).
74    
75    ----------------------------------------------------------------------
76    Name: John Reppy (http://cs.uchicago.edu/~jhr)
77    Date: 2014/05/01
78    Description:
79    Fixed minor issue in an error message; type variable name should be
80    printed with leading '
81    
82    ----------------------------------------------------------------------
83    Name: John Reppy (http://cs.uchicago.edu/~jhr)
84    Date: 2013/11/25
85    Description:
86    Added PackWord{16,32}{Big,Little} structures to the Unsafe module.
87    This change makes the UNSAFE signature closer to the MLton version,
88    although we still need the PackReal structures.
89    
90    ----------------------------------------------------------------------
91    Name: John Reppy (http://cs.uchicago.edu/~jhr)
92    Date: 2013/07/01
93    Description:
94    
95    *************************** Version 110.76 ***************************
96    
97    ----------------------------------------------------------------------
98    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
99    Date: 2013/06/04
100    Description:
101    Fix bug #115 (BinPrimIO writer method getPos doesn't work under CML).
102    Just needed to port the position update from mkReader code to the
103    mkWriter code.
104    
105    ----------------------------------------------------------------------
106    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
107    Date: 2013/06/04
108    Description:
109    Fix bug #111 (Socket.acceptNB returns somewhat broken sockets).
110    The problem was that under Win32, sockets returned from accept inherit
111    their parents' non-blocking status, whereas on UNIX they are always
112    blocking.
113    
114    ----------------------------------------------------------------------
115    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
116    Date: 2013/05/20
117    Description:
118    Fix bug #117 (BinIO.openAppend raises IO on non-existent file).
119    We were opening the file for append if it existed but not creating it
120    if it did not exist.
121    
122    ----------------------------------------------------------------------
123    Name: John Reppy (http://cs.uchicago.edu/~jhr)
124    Date: 2013/05/02
125    Description:
126    Fix bug #116 (Socket.sameDesc raises Match exception).
127    The problem is that on Windows the iodesc datatype (defined in
128    Basis/Implementation/Win32/pre-os.sml) has both an IODesc constructor
129    and a SockDesc constructor.  Updated the code in Win32/os-io.sml to
130    handle the SockDesc constructor.
131    
132    ----------------------------------------------------------------------
133    Name: John Reppy (http://cs.uchicago.edu/~jhr)
134    Date: 2013/04/19
135    Description:
136    Fix bug #113 (Socket.select waits exactly twice the indicated timeout)
137    
138    ----------------------------------------------------------------------
139    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
140    Date: 2013/01/19
141    Description:
142    Fix AMD64 code generator to properly sign-extend arguments to IDIVQ.
143    
144    ----------------------------------------------------------------------
145    Name: John Reppy (http://cs.uchicago.edu/~jhr)
146    Date: 2012/10/20
147    Description:
148    Fix bug #108 (off-by-one error in Util/dynamic-array.sml; iterators crash)
149    
150    ----------------------------------------------------------------------
151    Name: John Reppy (http://cs.uchicago.edu/~jhr)
152    Date: 2012/10/20
153    Description:
154    Fix bug #107 (Bogus Int64 comparison operators)
155    
156    ----------------------------------------------------------------------
157    Name: John Reppy (http://cs.uchicago.edu/~jhr)
158    Date: 2012/10/01
159    Description:
160    
161    *************************** Version 110.75 ***************************
162    
163    ----------------------------------------------------------------------
164    Name: John Reppy (http://cs.uchicago.edu/~jhr)
165    Date: 2012/09/28
166    Description:
167    Fixed bug #92.  IntInf.scan now handles the "0x" prefix correctly.
168    Also made minor improvements to the NumScan module.
169    
170    ----------------------------------------------------------------------
171    Name: John Reppy (http://cs.uchicago.edu/~jhr)
172    Date: 201209/24
173    Description:
174    Added Base64 module to SML/NJ Library to support encoding and decoding
175    Word8 vectors as base64 strings.
176    
177    ----------------------------------------------------------------------
178    Name: John Reppy (http://cs.uchicago.edu/~jhr)
179    Date: 2012/09/23
180    Description:
181    Additions to the SML/NJ Library.  Added exists, existsi, all, and alli
182    functions to ORD_MAP signature and implementations, and added all
183    function to ORD_SET signature and implementations.
184    
185    ----------------------------------------------------------------------
186    Name: John Reppy (http://cs.uchicago.edu/~jhr)
187    Date: 2012/09/21
188    Description:
189    Bug fix in ml-antlr to ensure that the generated toString function
190    for tokens is strictly legal SML code (i.e., non-printing characters
191    and UTF8 multibyte sequences are properly escaped).
192    
193    ----------------------------------------------------------------------
194    Name: John Reppy (http://cs.uchicago.edu/~jhr)
195    Date: 2012/09/11
196    Description:
197    Added getu function to ULexBuffer as a way to improve ulex performance.
198    This addition allows a fastpath for processing ascii characters, which
199    improved lexer performance by 3-4%.
200    
201    ----------------------------------------------------------------------
202    Name: John Reppy (http://cs.uchicago.edu/~jhr)
203    Date: 2012/08/02
204    Description:
205    Fixed bugs #89 and #96: Build Failure with Xcode 4.3
206    Also removed build support for MacOS X pre-10.5 (Leopard) on PPC and
207    pre-10.6 (Snow Leopard) on Intel.
208    
209    ----------------------------------------------------------------------
210    Name: John Reppy (http://cs.uchicago.edu/~jhr)
211    Date: 2012/02/05
212    Description:
213    Fixed bug #88.  The check for valid arcs on Unix systems now allows
214    any character other than slash or nul.
215    
216    ----------------------------------------------------------------------
217    Name: David MacQueen (dbm@cs.uchicago.edu)
218    Date: 2012/01/20
219    Description:
220    
221    *************************** Version 110.74 ***************************
222    
223    ----------------------------------------------------------------------
224    Name: John Reppy (http://cs.uchicago.edu/~jhr)
225    Date: 2012/01/20
226    Description:
227    
228    Fixed implementation of Real.signBit on little-endian machines.
229    
230    ----------------------------------------------------------------------
231    Name: David MacQueen (dbm@cs.uchicago.edu)
232    Date: 2012/1/19
233    Revision: 3664, 3665
234    Description:
235    
236    1) Fix for (gforge) bug #60
237       recalculate strictness for DEFtycs in functor bodies when functor
238       is applied  (Elaborator/modules/evalent.sml)
239    
240    2) Fix for (gforge) bug #77
241       separate ast representations for datatypes and datatype replications
242       in decs and specs (multiple files)
243    
244    3) set version to 110.74
245    
246    Details in NOTES/changes/dbm_2012_1.
247    
248    ----------------------------------------------------------------------
249    Name: David MacQueen (dbm@cs.uchicago.edu)
250    Date: 2012/1/12
251    Revision: 3648, 3652
252    Description:
253    
254    1) Change of SourceMap interface.
255       related to fix of off-by-one error in lexer (committed earlier?), and cleanup of noweb code
256       added by Norman Ramsey many years ago (but little used today).
257    
258    3) Slight cleanup of match compiler, eliminatiing compiler/FLINT/tempexpn.sml file that
259       was part of unused implementation of pattern templates (pattern macros).
260    
261    4) Modification of type checker to add "culprit tracking" for improved type error messages
262       (printing of additional culprit information is controlled by ElabControl.showTypeErrorCulprits
263        flag, default false, added in revision 3652).  The culprit tracking needs to be debugged
264        and improved, and the presentation of the culprits needs to be done better.
265    
266    Details in NOTES/changes/dbm_2012_1.
267    
268    ----------------------------------------------------------------------
269    Name: John Reppy (http://cs.uchicago.edu/~jhr)
270    Date: 2011/11/25
271    Description:
272    
273    Bug fixes for Unsafe.blastRead (#76):
274      1) proper error handling when reading from memory and there are
275         not enough bytes.
276      2) pass correct data pointer and length to BlastIn (code was using
277         old macros).
278    
279    ----------------------------------------------------------------------
280    Name: John Reppy (http://cs.uchicago.edu/~jhr)
281    Date: 2011/11/25
282    Description:
283    
284    Added hash-table-based implementation of sets to SML/NJ Library.
285    
286    ----------------------------------------------------------------------
287    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
288    Date: 2011/10/25
289    Description:
290    
291    Better error reporting under 32-bit linux for the missing dpkg
292    support (#70).
293    Enable 3.x kernels to build (#80, 81, 83).
294    
295    ----------------------------------------------------------------------
296    Name: John Reppy (http://cs.uchicago.edu/~jhr)
297    Date: 2011/05/23
298    Description:
299    
300    Added new S-expression library to SML/NJ Library
301    (contributed by Damon Wang)
302    
303    ----------------------------------------------------------------------
304    Name: John Reppy (http://cs.uchicago.edu/~jhr)
305    Date: 2011/05/17
306    Description:
307    
308    Fixed bug in JSON scanner (SML/NJ Library).  It didn't handle escaped
309    backslash or double quote correctly.
310    
311    ----------------------------------------------------------------------
312    Name: John Reppy (http://cs.uchicago.edu/~jhr)
313    Date: 2011/05/13
314    Description:
315    
316    *************************** Version 110.73 ***************************
317    
318    ----------------------------------------------------------------------
319    Name: John Reppy (http://cs.uchicago.edu/~jhr)
320    Date: 2011/05/10
321    Description:
322    
323    Added boolean literals (true and false) to the conditional-expression
324    syntax in CM.  Thus, you can write
325    
326    #if true
327      structure Foo
328    #endif
329    
330    in a CM file.  This change is meant to make it easier to use autoconf
331    to configure the build process of an SML application.
332    
333    ----------------------------------------------------------------------
334    Name: John Reppy (http://cs.uchicago.edu/~jhr)
335    Date: 2011/05/09
336    Description:
337    
338    Added missing String.scan function (#69).  This also fixes the handling
339    of certain corner cases by String.fromString.
340    
341    ----------------------------------------------------------------------
342    Name Mike Rainey (http://www.mpi-sws.org/~mrainey)
343    Date 2011/05/03
344    Description:
345    
346    Added the RTDSC and RTDSCP instructions to the amd64 code generator.
347    
348    ----------------------------------------------------------------------
349    Name: John Reppy (http://cs.uchicago.edu/~jhr)
350    Date: 2011/04/08
351    Description:
352    
353    Added fix for comments in code bug (#63).
354    Thanks to Michael Norrish.
355    
356    ----------------------------------------------------------------------
357    Name: John Reppy (http://cs.uchicago.edu/~jhr)
358    Date: 2011/04/08
359    Description:
360    
361    Fixed bug in Socket.acceptNB (bug #59)
362    
363    ----------------------------------------------------------------------
364    Name: John Reppy (http://cs.uchicago.edu/~jhr)
365    Date: 2011/03/31
366    Description:
367    
368    Fixed syntax error in ml-lex compatibility mode (bug #49)
369    
370    ----------------------------------------------------------------------
371    Name: John Reppy (http://cs.uchicago.edu/~jhr)
372    Date: 2011/03/22
373    Description:
374    
375    Update _arch-n-opsys script for Mac OS X Lion (10.7).
376    
377    ----------------------------------------------------------------------
378    Name: John Reppy (http://cs.uchicago.edu/~jhr)
379    Date: 2011/02/18
380    Description:
381    
382    Added Barriers module to CML.
383    
384    ----------------------------------------------------------------------
385    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
386    Date: 2011/02/10
387    Description:
388    
389    Fixed ml-yacc examples to respect the changed signatures with respect
390    to TextIO.inputLine.
391    
392    ----------------------------------------------------------------------
393    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
394    Date: 2010/09/16
395    Description:
396    
397    Changed the Win32 implementation of validArc to support directories
398    with extended characters (umlauts, etc.).
399    
400    ----------------------------------------------------------------------
401    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
402    Date: 2010/09/16
403    Description:
404    
405    Fixed the Win32 socket and polling implementation to work correctly
406    with CML. Signature of poll was wrong and didn't handle sockets at all.
407    
408    ----------------------------------------------------------------------
409    Name: John Reppy (http://cs.uchicago.edu/~jhr)
410    Date: 2010/06/16
411    Description:
412    
413    Fixed Real.toString and Real.fmt to include sign for negative zero.
414    
415    ----------------------------------------------------------------------
416    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
417    Date: 2010/03/23
418    Description:
419    
420    Fixed the bug with Win32 calls to OS.Process.system not quoting the string.
421    
422    ----------------------------------------------------------------------
423    Name: Jon Riehl (http://jonriehl.com/)
424    Date: 2010/02/11
425    Description:
426    
427    Applied patch for building on more recent NetBSD's.  See bug #39 in the
428    tracker:
429    
430    http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=39&group_id=33&atid=215
431    
432    ----------------------------------------------------------------------
433    Name: Jon Riehl (http://jonriehl.com/)
434    Date: 2010/02/02
435    Description:
436    
437    Cutting version 110.72.  New bootfiles.
438    
439    ----------------------------------------------------------------------
440    Name John Reppy (http://cs.uchicago.edu/~jhr)
441    Date 2009/12/20
442    Description:
443    
444    Fixed performance bugs in List module by making @ and foldr be
445    tail recursive.
446    
447    ----------------------------------------------------------------------
448    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
449    Date: 2009/12/11
450    Description:
451    
452    Fixed the Win32 unable to print long strings bug.
453    ----------------------------------------------------------------------
454    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
455    Date: 2009/12/10
456    Description:
457    
458    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
459    for alignment padding added during copy to the to-space to overrun the allocated
460    size.
461    ----------------------------------------------------------------------
462    Name John Reppy (http://cs.uchicago.edu/~jhr)
463    Date 2009/11/18
464    Description:
465    
466    The ml-antlr and ml-ulex programs have been ported to build under
467    mlton.
468    
469    ----------------------------------------------------------------------
470    Name John Reppy (http://cs.uchicago.edu/~jhr)
471    Date 2009/11/17
472    Description:
473    
474    Added %header directive to the ml-ulex scanner generator.  Also
475    updated the documentation.
476    
477    ----------------------------------------------------------------------
478    Name John Reppy (http://cs.uchicago.edu/~jhr)
479    Date 2009/11/17
480    Description:
481    
482    Added "@SMLsuffix" flag to sml command.  This can be used to get
483    the suffix for heap files.
484    
485    ----------------------------------------------------------------------
486    Name John Reppy (http://cs.uchicago.edu/~jhr)
487    Date 2009/11/17
488    Description:
489    
490    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
491    
492    ----------------------------------------------------------------------
493    Name John Reppy (http://cs.uchicago.edu/~jhr)
494    Date 2009/11/10
495    Description:
496    
497    Added %header directive to the ml-antlr parser generator.  Also
498    updated the documentation.
499    
500    ----------------------------------------------------------------------
501    Name: Jon Riehl (http://www.jonriehl.com/)
502    Date: 2009/09/16
503    Description:
504    
505    Cutting version 110.71.  New bootfiles.
506    
507    ----------------------------------------------------------------------
508    Name John Reppy (http://cs.uchicago.edu/~jhr)
509    Date 2009/09/13
510    Description:
511    
512    Changes to support compiling the runtime system on Mac OS X 10.6
513    (aka Snow Leopard).
514    
515    ----------------------------------------------------------------------
516    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
517    Date 2009/08/19
518    Description:
519    
520    Fixed a bug in the register-spill generator that is part of the MLRISC
521    register allocator. The problem was that the code in RASpillWithRenaming
522    functor assumed incorrectly that dedicated registers would appear in
523    def/use information generated by ClusterRA. Thanks to Allen Leung for
524    helping with this bug.
525    
526    ----------------------------------------------------------------------
527    Name John Reppy (http://cs.uchicago.edu/~jhr)
528    Date 2009/07/09
529    Description:
530    
531    Removed redundant implementations of various top-level operations by
532    consolidating them in base/system/smlnj/init/pervasive.sml.  This
533    change also fixes a bug in that the top-level version of round was
534    incorrect.
535    
536    ----------------------------------------------------------------------
537    Name: Matthias Blume (http://www.tti-c.org/blume/)
538    Date: 2009/06/15 11:17:00 CDT
539    Description:
540    
541    Bumped version number to 110.70.  New bootfiles.
542    
543    ----------------------------------------------------------------------
544    Name: Matthias Blume (http://www.tti-c.org/blume/)
545    Date: 2009/06/12 11:02:00 CDT
546    Description:
547    
548    1. Corrected problem in config/actions that led to the so-called
549       "unpickling bug" which appeared in version 110.68.
550    
551    2. Provided fix for the 64-bit pattern match bug.
552    
553    ----------------------------------------------------------------------
554    Name John Reppy (http://cs.uchicago.edu/~jhr)
555    Date 2009/03/21
556    Description:
557    
558    Fixed bug in Int32.fmt when the argument was the minimum int and the
559    radix was something other than DEC.
560    
561    ----------------------------------------------------------------------
562    Name Aaron Turon (turon@ccs.neu.edu)
563    Date 2009/02/21
564    Description:
565    
566    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
567    
568    ----------------------------------------------------------------------
569    Name: Jon Riehl (http://www.jonriehl.com/)
570    Date: 2009/01/13
571    Description:
572    
573    Picking up some additional fixes for 110.69, including a fix for
574    spaces in CM file paths.
575    
576    ----------------------------------------------------------------------
577    Name: Jon Riehl (http://www.jonriehl.com/)
578    Date: 2008/12/22
579    Description:
580    
581    Version bumped to 110.69.  New bootfiles.
582    
583    ----------------------------------------------------------------------
584    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
585    Date: 2008/12/06
586    Description:
587    
588    Re-enabled some CPS optimizations (first_contract and eta).  The most
589    important effect of this change is to make uses of SMLofNJ.Cont.capture
590    be properly tail recursive.
591    
592    ----------------------------------------------------------------------
593    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
594    Date: 2008/12/03
595    Description:
596    
597    New concurrency-related instructions for x86 and amd64 code
598    generators.
599      - PAUSE: Notify the CPU that the program is spin waiting.
600      - MFENCE: memory fence for reads and writes.
601      - SFENCE: memory fence for writes.
602      - LFENCE: memory fence for reads.
603    
604    ----------------------------------------------------------------------
605    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
606    Date: 2008/12/02
607    Description:
608    
609    Added makefile and other support for building runtime on OpenBSD.
610    
611    ----------------------------------------------------------------------
612    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
613    Date: 2008/08/13
614    Description:
615    
616    Version bumped to 110.68.  New bootfiles.
617    
618    ----------------------------------------------------------------------
619    Name Aaron Turon (turon@ccs.neu.edu)
620    Date 2008/08/11
621    Description:
622    
623    Minor fix to ml-ulex backend for regexps that match any character
624    and perform a single action.  Previously the emitted code would
625    not allow the regexps to match any character at all.
626    
627    ----------------------------------------------------------------------
628    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
629    Date: 2008/08/05
630    Description:
631    
632    Added build support for OpenBSD (thanks to Brian O'Hanlon).
633    
634    ----------------------------------------------------------------------
635    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
636    Date: 2008/07/12
637    Description:
638    
639    Fixed Int64.fromString to use base-10.
640    
641    ----------------------------------------------------------------------
642    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
643    Date: 2008/04/12
644    Description:
645    
646    Various updates to the ml-lpt tree.  The documentation has been updated;
647    bugs in the parsing of negation and character classes in ml-ulex have
648    been fixed; and changes have been made to make the ml-lpt tools more
649    compatible with MLton (and other SML implementations).  Thanks to
650    Matthew Fluet and Aaron Turon for their patches.
651    
652    ----------------------------------------------------------------------
653    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
654    Date: 2008/20/04
655    Description:
656    
657    Implemented timer-based profiling on Windows, with behavior as close
658    to the *nix ITIMER-based profiling as possible.
659    ----------------------------------------------------------------------
660    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
661    Date: 2008/07/04
662    Description:
663    
664    Finished off the Windows subset of the basis library. Added process
665    support and various configuration and system identification utils.
666    ----------------------------------------------------------------------
667    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
668    Date: 2008/03/18
669    Description:
670    
671    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
672    ----------------------------------------------------------------------
673    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
674    Date: 2008/02/14
675    Description:
676    
677    Added the Windows Status structure
678    ----------------------------------------------------------------------
679    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
680    Date: 2008/02/14
681    Description:
682    
683    Added the Windows DDE structure
684    ----------------------------------------------------------------------
685    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
686    Date: 2008/02/05
687    Description:
688    
689    Added the Windows Config structure
690    ----------------------------------------------------------------------
691    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
692    Date: 2008/01/31
693    Description:
694    
695    Added outline of the Windows basis library and the basic registry
696    functionality.
697    ----------------------------------------------------------------------
698    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
699    Date: 2008/01/23
700    Description:
701    
702    Fixed the amd64 code generator to compile with the current MLRISC.
703    ----------------------------------------------------------------------
704    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
705    Date: 2007/11/26
706    Description:
707    
708    nlffi was updated to work on Windows. It needed to pass in the correct
709    value for the name of the kernel32 DLL to obtain 'base' bindings.
710    Additionally updated the README for the most basic nlffi sample with
711    what you need to do on MacOSX and on Windows to make it work.
712    ----------------------------------------------------------------------
713    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
714    Date: 2007/11/21
715    Description:
716    
717    Overwrite the SMLNJ_HOME environment variable on installation
718    Properly change the package code so that subsequent version
719    installations prompt for uninstall (instead of 'repair/remove')
720    ----------------------------------------------------------------------
721    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
722    Date: 2007/11/14
723    Description:
724    
725    Cleaned up WININSTALL file for new MSI-based setup.
726    ----------------------------------------------------------------------
727    Name: Matthias Blume (http://www.tti-c.org/blume/)
728    Date: 2007/11/13 14:05:00 CST
729    Description:
730    
731    Version bumped to 110.67.  New bootfiles.
732    
733    ----------------------------------------------------------------------
734    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
735    Date: 2007/11/12
736    Description:
737    
738    Ensure that the size of the allocation space is at least 128K.
739    ----------------------------------------------------------------------
740    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
741    Date: 2007/11/05
742    Description:
743    
744    Fixed type error in ml-lpt library that occurs when compiling
745    against a basis that was compiled with the USE_64_BIT_POSITIONS
746    symbol set.
747    (Thanks to Johannes Joemann)
748    ----------------------------------------------------------------------
749    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
750    Date: 2007/11/03
751    Description:
752    
753    Fixed the amd64 code generator to compile with the current MLRISC.
754    ----------------------------------------------------------------------
755    Name: Lars Bergstrom (web page or e-mail)
756    Date: 2007/11/02
757    Description:
758    
759    Made sml.bat more resilient to either not having run the installer
760    and having no SMLNJ_HOME set or having just shuffled the directory
761    around.
762    ----------------------------------------------------------------------
763    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
764    Date: 2007/11/01
765    Description:
766    
767    A collection of bug fixes for machine.sml in the Reactive library.
768    (Thanks to Timothy Bourke)
769    ----------------------------------------------------------------------
770    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
771    Date: 2007/10/28
772    Description:
773    
774    Patches for Mac OS X 10.5 (Leopard).
775    ----------------------------------------------------------------------
776    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
777    Date: 2007/10/28
778    Description:
779    
780    Fixed some bugs in the AMD64 floating-point spilling code.
781    ----------------------------------------------------------------------
782    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
783    Date: 2007/10/25
784    Description:
785    
786    Added support for the atomic XCHG instruction.
787    ----------------------------------------------------------------------
788    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
789    Date: 2007/10/22
790    Description:
791    
792    Added AMD64 support for floating-point negation.
793    ----------------------------------------------------------------------
794    Name: Lars Bergstrom (web page or e-mail)
795    Date: 2007/10/22
796    Description:
797    
798    Fixed ^C handling in Windows
799    Added a Windows installer
800    Made it possible to build for Windows on a mapped drive from Parallels
801    ----------------------------------------------------------------------
802    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
803    Date: 2007/10/22
804    Description:
805    
806    Added AMD64 support for the atomic fetch and add instruction.
807    ----------------------------------------------------------------------
808    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
809    Date: 2007/10/18
810    Description:
811    
812    The GAS output now favors p2align over align, since the
813    former is guaranteed to be consistent over multiple architectures
814    and the latter is not.
815    ----------------------------------------------------------------------
816    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
817    Date: 2007/10/18
818    Description:
819    
820    Fixed a bug in register spilling.
821    ----------------------------------------------------------------------
822    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
823    Date: 2007/10/2
824    Description:
825    
826    Added demo support for AMD64 for quick testing and fixed support for
827    64-bit label constants.
828    ----------------------------------------------------------------------
829    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
830    Date: 2007/09/20
831    Description:
832    
833    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
834    instruction.
835    ----------------------------------------------------------------------
836    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
837    Date: 2007/09/17
838    Description:
839    
840    Fixed an instruction-selection bug when loading 64-bit labels.
841    
842    ----------------------------------------------------------------------
843    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
844    Date: 2007/09/14
845    Description:
846    
847    Fixed Elaborator and Translate performance bugs
848    
849    ----------------------------------------------------------------------
850    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
851    Date: 2007/09/12
852    Description:
853    
854    Fixed xorl memory argument bug.
855    
856    ----------------------------------------------------------------------
857    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
858    Date: 2007/07/27
859    Description:
860    
861    Added f64sgn (for Real64.signBit) as a primop defined
862    in MLRiscGen. signBit(~0.0) not handled correctly.
863    
864    ----------------------------------------------------------------------
865    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
866    Date: 2007/06/21
867    Description:
868    
869    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
870    signal end of stream.
871    
872    ----------------------------------------------------------------------
873    Name: Matthias Blume (http://www.tti-c.org/blume/)
874    Date: 2007/06/12 11:22:00 CDT
875    Description:
876    
877    Eliminated config/allsources.  The information is now drawn directly
878    from config/actions.
879    
880    ----------------------------------------------------------------------
881    Name: Matthias Blume (http://www.tti-c.org/blume/)
882    Date: 2007/06/07 23:30:00 CDT
883    Tag: release-110.65
884    Description:
885    
886    Version 110.65. NEW BOOTFILES!
887    
888    ----------------------------------------------------------------------
889    Name: Matthias Blume (http://www.tti-c.org/blume/)
890    Date: 2007/06/06 21:45:00 CDT
891    Description:
892    
893    - Aaron: fixed a number of bugs in ml-ulex.
894    - Matthias:
895       - added CM control "cm.force-tools"; this is false by default;
896         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
897         will be forced to run regardless of whether or not their targets
898         are up-to-date
899       - changed installer code so that config/install.sh will re-build
900         heap images for all tools even if those heap images already existed
901    
902    ----------------------------------------------------------------------
903    Name: Matthias Blume (http://www.tti-c.org/blume/)
904    Date: 2007/06/04 21:21:00 CDT
905    Description:
906    
907    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
908    in legacy mode), re-ran the lexer generator on all lex input files
909    and committed the results.
910    
911    This should fix the problem with ckit and nlffi that was reported
912    by Vesa A. Norrman.
913    
914    ----------------------------------------------------------------------
915    Name: Matthias Blume (http://www.tti-c.org/blume/)
916    Date: 2007/05/31 11:40:00 CDT
917    Tag: release-110.64
918    Description:
919    
920    Version 110.64. NEW BOOTFILES!
921    
922    ----------------------------------------------------------------------
923    Name: Dave MacQueen (dbm@cs.uchicago.edu)
924    Date: 2007/05/31 14:55:00 CDT
925    Revision: 2650
926    Description:
927    
928    3rd merge of base from primop-branch-3 into the trunk.
929    Additional bug fixes included:
930    
931     * Timer.cpu_timer, etc. type printing corrected (by making
932         Timer have opaque sig constraint in basis/Implementation/timer.sml)
933     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
934         Stefan Monnier)
935    
936    ----------------------------------------------------------------------
937    Name: Matthias Blume (http://www.tti-c.org/blume/)
938    Date: 2007/05/31 11:40:00 CDT
939    Description:
940    
941    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
942    
943    Also, changed the handling of "no core access":  When translate.sml
944    needs access to a core exception at a time when the core has not
945    been set up yet (this only happens when compiling system/smlnj/init/*),
946    then don't bother generating the corresponding tests.
947    
948    The old scheme was to generate a bogus value to be used in place of
949    the exception.  Unfortunately, that confuses the plambda type checker.
950    Moreover, it does not do any good, because at runtime we don't expect
951    such an exception to be ever raised.  (The code in system/smlnj/init/*
952    has to be written very carefully with this in mind!)
953    
954    ----------------------------------------------------------------------
955    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
956    Date: 2007/05/29
957    Description:
958    
959    Added FSQRT instructions for the AMD64 code generator.
960    
961    ----------------------------------------------------------------------
962    Name: Matthias Blume (http://www.tti-c.org/blume/)
963    Date: 2007/05/29 19:00:00 CDT
964    Description:
965    
966    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
967    with an explicit test for zero division.  This should fixes several
968    regressions and makes it possible for downstream optimization phases
969    to treat these operations as "pure" when they are applied to unsigned
970    operands.
971    
972    ----------------------------------------------------------------------
973    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
974    Date: 2007/05/29
975    Description:
976    
977    Added the new MLRISC code generator for the AMD64.  This version,
978    in contrast to the previous one, uses SSE registers and instructions
979    for all floating-point computations.
980    
981    ----------------------------------------------------------------------
982    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
983    Date: 2007/05/29
984    Description:
985    
986    A number of fixes related to the formatting of dates.  These include fixes
987    for bugs #1415 and #1416.  We also now correctly handle format characters that
988    lie outside the specified set.
989    
990    ----------------------------------------------------------------------
991    Name: Matthias Blume (http://www.tti-c.org/blume/)
992    Date: 2007/05/23 22:30:00 CDT
993    Description:
994    
995    CMB (and CM) now automatically defines the CM "preprocessor" symbol
996    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
997    
998      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
999       CM_SLAVE_MODE is defined in attached slaves while running CM.make
1000       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
1001       while running CMB.make.  The point is that the single symbol
1002       NO_PLUGINS is definde in all three cases.)
1003    
1004    I changed the three locations within the sources that get compiled
1005    during CMB.make where ml-yacc or ml-lex input is processed: When
1006    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
1007    is bypassed.
1008    
1009    When bootstrapping new versions of the compiler, there can be
1010    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
1011    are not available or otherwise not operational.  In this case one can
1012    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
1013    do so, the following command should be issued at the interactive
1014    prompt:
1015    
1016       #set (CMB.symval "NO_PLUGINS") (SOME 1);
1017    
1018    A CMB.make with NO_PLUGINS defined relies on the existence of the
1019    files that normally would be generated by ml-yacc and ml-lex.
1020    (Copies of these files are in the repository.)
1021    
1022    ----------------------------------------------------------------------
1023    Name: David MacQueen (dbm@cs.uchicago.edu)
1024    Date: 2007/5/23 17:23:00 CDT
1025    Revision: 2603
1026    Description:
1027    
1028    2nd merge of base from primop-branch-3 into the trunk.
1029    Additional bug fixes included:
1030     Date.scan and Date.fromString fixed;
1031     Overloading resolution fixed and some type printing problems corrected.
1032    
1033    ----------------------------------------------------------------------
1034    Name: Matthias Blume (http://www.tti-c.org/blume/)
1035    Date: 2007/05/23 09:50:00 CDT
1036    Description:
1037    
1038    Changed the installation mechanism for CM tool plugins.  These are
1039    just libaries and now get installed like ordinary libaries.
1040    
1041    There are now a number of new installation targets that give some
1042    fine-grain control over what classes and suffixes are known, and what
1043    they will map to.
1044    See config/targets for details.
1045    
1046    The code that caused plugin installation as part of running a
1047    tool's "build" script has been removed.  (The build script is for
1048    building, not for installing.)
1049    
1050    ----------------------------------------------------------------------
1051    Name: Matthias Blume (http://www.tti-c.org/blume/)
1052    Date: 2007/05/22 11:50:00 CDT
1053    Description:
1054    
1055    Added a boolean control named cm.tolerate-tool-failures (env. variable
1056    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
1057    CM fail if a shell tool reports a non-success exit status.  If
1058    the control is set to true, then CM will press on after tool failures
1059    in the event that the target files exist (even though they are
1060    considered outdated).  Turning the control to true can be useful for
1061    bootstrapping.
1062    
1063    ----------------------------------------------------------------------
1064    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1065    Date: 2007/05/19
1066    Description:
1067    
1068    Merge of ml-lpt revisions for 110.64.
1069    
1070    The name of several ml-lpt-lib modules has changed:
1071      Repair        => AntlrRepair
1072      StreamPos     => AntlrStreamPos
1073      ErrHandlerFn  => AntlrErrHandler
1074      EBNF          => AntlrEBNF
1075    
1076    The ml-antlr specification format has changed: declarations such as
1077    %tokens and nonterminal definitions can occur *multiple* times in the
1078    same specification.  The semantics are such that each new declaration
1079    extends the previous ones.  This does not apply to %start or %name,
1080    of course.
1081    
1082    Importing a grammar via %import now includes *all* declarations in from
1083    the imported grammar, except for %name, %entry, and %start.  Tokens
1084    and nonterminals can be dropped using the new %dropping clause of the
1085    %import directive; the separate %drop and %extend have been removed.
1086    
1087    We now allow optional type annotations on nonterminals, using the %nonterms
1088    directive as in ml-yacc.
1089    
1090    The refcell construct is now implemented using SML's regular reference
1091    cells, so the :== and !! notation has been deprecated.
1092    
1093    The ml-antlr tool now does much more checking of specifications, and
1094    its error messages have been greatly improved.  Error repair for
1095    generated parsers has been completely rewritten, and is now both
1096    much faster and more accurate.
1097    
1098    ml-ulex is now more lenient with escape codes (non-SML-standard
1099    escape codes are now interpreted literally, so e.g. \| denotes "|").
1100    Also, character classes may now include a "-" character at the beginning
1101    as is standard in most other regexp tools.
1102    
1103    All of these changes are documented in the user guide, which has
1104    been updated and improved with this merge.
1105    
1106    ----------------------------------------------------------------------
1107    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
1108    Date: 2007/05/03
1109    Revision: r2492
1110    Description:
1111    
1112    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
1113    Significant changes in FLINT and the front end, mostly having to do
1114    with a reorganized system for handling primops.  Various bug fixes
1115    and improvements in printing signatures.
1116    
1117    ----------------------------------------------------------------------
1118    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1119    Date: 2007/05/02
1120    Description:
1121    
1122    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
1123    The ml-antlr specification format has changed: declarations such as
1124    %tokens and nonterminal definitions can occur *multiple* times in the
1125    same specification.  The semantics are such that each new declaration
1126    extends the previous ones.  Grammar extension constructs have also
1127    changed.  We now allow type annotations on nonterminals.  Finally,
1128    the refcell construct is now implemented using SML's regular reference
1129    cells, so the :== and !! notation has been deprecated.  All of these
1130    changes will appear in the 110.64 user guide for ml-lpt.
1131    
1132    The ml-antlr tool now does much more checking of specifications, and
1133    its error messages have been greatly improved.  There has also been
1134    some work on the error repair process for generated parsers, but this
1135    will be further improved in 110.64.
1136    
1137    ----------------------------------------------------------------------
1138    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1139    Date: 2007/04/24
1140    Description:
1141    
1142    More Basis fixes: The Char.fromString (etc.) functions did not handle
1143    the "\uxxxx" escape sequence.  There is still an outstanding bug with
1144    String.fromString the tail is a format escape.  I added a comment to
1145    this effect in Basis/Implementation/string.sml.
1146    Thanks to Andreas Rossberg.
1147    
1148    ----------------------------------------------------------------------
1149    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1150    Date: 2007/04/24
1151    Description:
1152    
1153    Added next function to Fifo and Queue modules in the SML/NJ Library.
1154    
1155    ----------------------------------------------------------------------
1156    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1157    Date: 2007/04/23
1158    Description:
1159    
1160    More Basis fixes: Time.fmt dropped the leading "~" for negative time
1161    values that had no whole part.
1162    
1163    ----------------------------------------------------------------------
1164    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1165    Date: 2007/04/23
1166    Description:
1167    
1168    More Basis fixes: the OS.Path module did not include the InvalidArc
1169    exception and did not do sufficient argument checking.
1170    Thanks to Stephen Weeks and Adam Chilpala.
1171    
1172    ----------------------------------------------------------------------
1173    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1174    Date: 2007/04/16
1175    Description:
1176    
1177    Fixed an unbound functor bug in the AMD64 CM file.
1178    
1179    ----------------------------------------------------------------------
1180    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1181    Date: 2007/04/12
1182    Description:
1183    
1184    Substantially changed the signature and implementation of AMD64
1185    SVID.  It now looks similar to the ia32 SVID, yet uses staged
1186    allocation.
1187    
1188    ----------------------------------------------------------------------
1189    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1190    Date: 2007/04/07
1191    Description:
1192    
1193    More Basis fixes: the WORD signature was missing {to,from}Large.
1194    Thanks to Andreas Rossberg.
1195    
1196    ----------------------------------------------------------------------
1197    Name: Matthias Blume (http://www.tti-c.org/blume/)
1198    Date: 2007/03/22 16:07:00 CDT
1199    Tag: release-110.63
1200    Description:
1201    
1202    Bumped version number to 110.63.
1203    
1204       !!!NEW BOOTFILES!!!
1205    
1206    ----------------------------------------------------------------------
1207    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1208    Date: 2007/03/19
1209    Description:
1210    
1211    Fixed bogus operand sizes in AMD64 instruction spilling.
1212    
1213    ----------------------------------------------------------------------
1214    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1215    Date: 2007/03/19
1216    Description:
1217    
1218    Fixed a number of inconsistencies between the Posix.TTY structure
1219    and the Basis specification.  Thanks to Adam Chilpala.
1220    
1221    ----------------------------------------------------------------------
1222    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1223    Date: 2007/02/26
1224    Description:
1225    
1226    Added preliminary support in MLRISC for Staged Allocation, a technique
1227    for specifying calling conventions (see
1228    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
1229    Initially, we plan to use this code to generate C calls for the AMD64.
1230    
1231    The staged allocation code base resides in MLRISC/staged-allocation,
1232    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
1233    
1234    ----------------------------------------------------------------------
1235    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1236    Date: 2007/02/20
1237    Description:
1238    
1239      Bug fix: when SaveCState was called with two values to save, a subsequent
1240      GC could cause the RestoreCState to fail because the saved state had been
1241      promoted to tagless pair.
1242    
1243    ----------------------------------------------------------------------
1244    Name: Allen Leung (leunga (at) reservoir (dot) com)
1245    Date: 2007/02/20 19:08:00 EST
1246    Description:
1247    
1248        Bug triggered by:
1249    
1250        val a1 = Word8Array.array(a1, 0w0);
1251        val _  = Word8Array.update(a1, 0, 0w128);
1252    
1253        x86MCEmitter crashed when the immediate operand to MOVB was outside
1254    of the range -128 ... 127.  I've changed the code so that the range
1255    check is disabled.   Only the low order 8 bits of the immediate operand
1256    are now significant.
1257    
1258    
1259    ----------------------------------------------------------------------
1260    Name: Matthias Blume (http://www.tti-c.org/blume/)
1261    Date: 2007/02/15 09:20:00 CST
1262    Description:
1263    
1264    Eliminated any mention of lexgen.  (Lexgen was an early precursor
1265    to ml-ulex.)
1266    
1267    You should update your admin directory, so the shell scripts for
1268    maintaining your local copy of the repository reflect this change.
1269    
1270    ----------------------------------------------------------------------
1271    Name: Matthias Blume (http://www.tti-c.org/blume/)
1272    Date: 2007/02/14 15:45:00 CST
1273    Description:
1274    
1275    Fixed bug in CM's parallel make facility that failed to have
1276    the master re-link modules after letting slaves compile them.
1277    
1278    ----------------------------------------------------------------------
1279    Name: Matthias Blume (http://www.tti-c.org/blume/)
1280    Date: 2007/02/12 15:10:00 CST
1281    Description:
1282    
1283    Fixed typo in ml-build script that prevented library anchors
1284    from being registered.
1285    
1286    ----------------------------------------------------------------------
1287    Name: Matthias Blume (http://www.tti-c.org/blume/)
1288    Date: 2007/02/02 15:20:00 CST
1289    Tag: release-110.62
1290    Description:
1291    
1292    New working release (110.62).  NEW BOOTFILES!
1293    
1294    ----------------------------------------------------------------------
1295    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1296    Date: 2007/01/31
1297    Description:
1298    
1299    Brought ml-lpt manual up-to-date with the code.  Many minor
1300    improvements to the tools, and a few minor bugfixes.  Prepared
1301    ml-lpt-lib for integration with new UTF8 structure.  Changed
1302    the interface for creating streams in ml-ulex (we now support
1303    stream creation from several kinds of sources).  Overall, the
1304    tools are now quite stable, and their interfaces are unlikely to
1305    change in a way that would break compatibility.  More work,
1306    however, is needed in the documentation.
1307    
1308    ----------------------------------------------------------------------
1309    Name: Matthias Blume (http://www.tti-c.org/blume/)
1310    Date: 2007/02/01 10:05:00 CST
1311    Description:
1312    
1313    Implemented library installer.  Moved CM plugin code for
1314    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
1315    their respective trees.  Implemented CM plugin for ml-ulex
1316    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
1317    and ml-antlr.
1318    
1319    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
1320    CM tools.  (It turns out to be too messy to do otherwise because
1321    there is too much code that during installation relies on the presence
1322    of these tools -- resulting in a tricky ordering problem.)
1323    
1324    ----------------------------------------------------------------------
1325    Name: Matthias Blume (http://www.tti-c.org/blume/)
1326    Date: 2007/01/30 11:05:00 CST
1327    Description:
1328    
1329    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
1330    Modified CM's startup code to use shiftArgs as it processes
1331    command line arguments.  This way, the init code in each .sml-file
1332    or library that is mentioned at the top level will see only
1333    those arguments that have not yet been processed at this point.
1334    In other words, the init code can "seize control" and process the
1335    remaining command line.
1336    
1337    ----------------------------------------------------------------------
1338    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1339    Date: 2007/01/30
1340    Description:
1341    
1342    Added fromList function to the ORD_SET interface and lookup to the
1343    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
1344    
1345    ----------------------------------------------------------------------
1346    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1347    Date: 2007/01/28
1348    Description:
1349    
1350    Added the UTF8 structure and signature from the Moby compiler to
1351    the SML/NJ library (and the CML library).  These modules will replace
1352    the version in the ml-lpt-lib.
1353    
1354    ----------------------------------------------------------------------
1355    Name: Matthias Blume (http://www.tti-c.org/blume/)
1356    Date: 2007/01/26 15:10:00 CST
1357    Description:
1358    
1359    Added entries to handle ml-lpt-lib.cm in installer.
1360    
1361    ----------------------------------------------------------------------
1362    Name: Matthias Blume (http://www.tti-c.org/blume/)
1363    Date: 2006/12/15 11:10:00 CST
1364    Tag: release-110.61
1365    Description:
1366    
1367    New working release (110.61).  NEW BOOTFILES!
1368    
1369    This supersedes the pre-brown-paper-bug release (see below).
1370    
1371    ----------------------------------------------------------------------
1372    Name: Matthias Blume (http://www.tti-c.org/blume/)
1373    Date: 2006/12/15 11:00:00 CST
1374    Description:
1375    
1376    Fixed brown-paper-bag bug with CM's pathname handling, which made
1377    installation fail under Win32.
1378    
1379    ----------------------------------------------------------------------
1380    Name: Matthias Blume (http://www.tti-c.org/blume/)
1381    Date: 2006/12/14 12:00:00 CST
1382    Description:
1383    
1384    Obsolete!
1385    
1386    [New working release (110.61).  NEW BOOTFILES!]
1387    
1388    ----------------------------------------------------------------------
1389    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1390    Date: 2006/14/06 09:50:00 CST
1391    Description:
1392    
1393    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
1394    get the c_cc termios data copied correctly.  Also moved the allocation
1395    of the string to avoid problems if it caused a GC.
1396    
1397    Thanks to Timothy Bourke for the bug report and fix.
1398    
1399    ----------------------------------------------------------------------
1400    Name: Matthias Blume (http://www.tti-c.org/blume)
1401    Date: 2006/12/08 09:50:00 CST
1402    Description:
1403    
1404    Added code to CM's "standard shell tool" implementation which
1405    causes it to tolerate (with a warning) the situation where the shell
1406    command fails (e.g., due to the shell command's non-existence)
1407    as long as all target files exist.
1408    
1409    This makes it possible to, e.g., build ml-yacc from sources even if
1410    svn checkout messed up the time stamps on files in such a way that
1411    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
1412    be needed to re-process yacc.grm, but obviously it might not yet be
1413    available at that time.)
1414    
1415    ----------------------------------------------------------------------
1416    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1417    Date: 2006/12/06 12:06:00 CST
1418    Description:
1419    
1420    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
1421    recvVecFromNB' in the SOCKET signature.  This error is actually
1422    in the SML Basis specification too.
1423    
1424    ----------------------------------------------------------------------
1425    Name: Matthias Blume (http://www.tti-c.org/blume/)
1426    Date: 2006/12/05 22:40:00 CST
1427    Description:
1428    
1429    CM now reports undefined anchors as errors and aborts execution
1430    rather than silently pressing on using bogus values.
1431    
1432    ----------------------------------------------------------------------
1433    Name: Matthias Blume (http://www.tti-c.org/blume/)
1434    Date: 2006/11/29 10:00:00 CST
1435    Description:
1436    
1437    Use Say.vsay for printing the "[autoloading]" message, so
1438    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
1439    to suppress them.
1440    
1441    ----------------------------------------------------------------------
1442    Name: Matthias Blume (http://www.tti-c.org/blume/)
1443    Date: 2006/11/10 11:00:00 CST
1444    Description:
1445    
1446    Fixed bug in CM where "with:" specifications that affect compilation
1447    (as opposed to parsing) were ignored.
1448    
1449    ----------------------------------------------------------------------
1450    Name: Matthias Blume (http://www.tti-c.org/blume/)
1451    Date: 2006/11/09 14:30:00 CST
1452    Tag: release-110.60
1453    Description:
1454    
1455    New working release (110.60).  NEW BOOTFILES!
1456    
1457    This is the first subversion-hosted release.  There are also changes
1458    to the directory layout.  Here is a table:
1459    
1460    (All pathnames are relative to the SML/NJ "root" directory.)
1461    
1462      config -> config
1463    
1464      src/cm -> base/cm
1465      src/compiler -> base/compiler
1466      src/runtime -> base/runtime
1467      src/system -> base/system
1468    
1469      src/cm/pgraph -> pgraph
1470    
1471      src/READMES -> base/READMES
1472      src/$notefile -> base/NOTES/$notefile
1473         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
1474                           MACOSXINSTALL WININSTALL
1475    
1476      src/smlnj-lib -> smlnj-lib
1477      src/MLRISC -> MLRISC
1478      ckit -> ckit
1479      src/cml -> cml
1480      src/eXene -> eXene
1481      src/heap2asm -> heap2asm
1482      src/lexgen -> lexgen
1483      src/ml-burg -> ml-burg
1484      src/ml-lex -> ml-lex
1485      src/ml-yacc -> ml-yacc
1486      src/ml-nlffi-lib -> nlffi/lib
1487      src/ml-nlffigen -> nlffi/gen
1488      src/smlnj-c -> smlnj-c
1489      src/tools/TraceDebugProf -> trace-debug-profile
1490    
1491    In addition, there is also a new
1492    
1493      ml-lpt
1494    
1495    directory containing two new program generator tools: ml-ulex and
1496    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
1497    LL(k) parser generator). These tools are currently "beta-quality"
1498    
1499    The latest versios of the sources can now be obtained anonymously
1500    via subversion.  For this, it is useful to first check out
1501    
1502       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
1503    
1504    and put the resulting directory on your shell's PATH.  This provides
1505    access to three shell scripts: checkout-all.sh, stat-all.sh,
1506    and refresh-all.sh.
1507    
1508    To create a freshly checked-out copy of the sources, do
1509    
1510       checkout-all.sh [dir]
1511    
1512    where dir is the optional SML/NJ root directory (default is ".").
1513    
1514    This creates the above directory layout.  Each subdirectory of
1515    the root is under individual subversion control.  The stat-all.sh
1516    and refresh-al.sh scripts apply "svn stat" or "svn update" to
1517    each of these subtrees.
1518    
1519    ----------------------------------------------------------------------
1520    Name: Matthias Blume (http://www.tti-c.org/blume/)
1521    Date: 2006/11/02 12:20:00 CST
1522    Description:
1523    
1524    Reorganized directory layout.
1525    
1526    This is a temporary solution, more reorganization is to come.
1527    
1528    The basic idea is to have a number of toplevel trees, each corresponding
1529    to a well-defined part of the overall system.  Each part can be
1530    maintained individually, even in separate source repositories,
1531    although currently we still serve everything out of the main
1532    smlnj-gforge tree.
1533    
1534    Installer and and scripts have been updated to reflect the new
1535    layout.  The installer (base/src/system/smlnj/installer) is now
1536    "scriptable" to avoid burning too much knowledge about the
1537    layout into SML source code.  The main script used by the installer
1538    is in config/actions.
1539    
1540    The main change is that many of the subdirectories of what used to
1541    be known as "src" have moved to the toplevel.  The "src" directory
1542    itself has moved down into a subtree called "base".  (We may eventually
1543    get rid of the extra level of indirection represented by "src".)
1544    
1545    The layout is now as follows:
1546    
1547      toplevel tree name | default repository
1548                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
1549      -------------------+----------------------------------------------------
1550      config             | $gf/config/trunk
1551                         |
1552      base               | $gf/sml/trunk
1553                         |
1554      smlnj-lib          | $gf/smlnj-lib/trunk
1555      MLRISC             | $gf/MLRISC/trunk
1556                         |
1557      ml-yacc            | $gf/ml-yacc/trunk
1558      ml-lex             | $gf/ml-lex/trunk
1559      ml-burg            | $gf/ml-burg/trunk
1560      lexgen             | $gf/lexgen/trunk
1561      heap2asm           | $gf/heap2asm/trunk
1562                         |
1563      cml                | $gf/cml/trunk
1564      eXene              | $gf/eXene/trunk
1565      ckit               | $gf/ckit/trunk
1566      nlffi              | $gf/nlffi/trunk
1567                         |
1568      smlnj-c            | $gf/smlnj-c/trunk
1569    
1570    In $gf/admin there are a few useful shell scripts for checking out
1571    and maintaining the entire collection of trees:
1572    
1573       admin/checkout-all.sh [dir]
1574          -- optionally creates dir and checks out all trees from their
1575             default repositories; if dir is missing, checkout into .
1576       admin/refresh-all.sh [dir]
1577          -- looks at all trees (from the above list) in dir (default: .)
1578             and runs "svn update" if the tree exists and is under
1579             subversion control;
1580             non-existing or non-subversion trees are skipped
1581       admin/stat-all.sh [dir]
1582          -- like refresh-all.sh, but runs "svn stat" instead
1583    
1584    ----------------------------------------------------------------------
1585    Name: Matthias Blume (http://www.tti-c.org/blume/)
1586    Date: 2006/10/05 11:30:00 CDT
1587    Tag: blume-20061005-merge-amd64
1588    Description:
1589    
1590    Merged code for AMD64 backend (Mike Rainey's work).
1591    Everything is hooked up but untested.
1592    
1593    ----------------------------------------------------------------------
1594    Name: Matthias Blume (http://www.tti-c.org/blume/)
1595    Date: 2006/05/17 14:00:00 CST
1596    Tag: Release_110_59
1597    Description:
1598    
1599    New working version (110.59).  NEW BOOTFILES!
1600    
1601    I am freezing 110.59.  Changes other than the version-number increase:
1602    
1603      eXene:
1604    
1605         * committed changes to eXene from Alley Stoughton:
1606             "fixed bugs in X authorization and resource handling, as well
1607              as in the pile and viewport widgets"
1608    
1609      Runtime:
1610        * fixed linking problem with NetBSD 3.x.
1611    
1612      Lexgen:
1613        * lexgen tool handles non-ascii characters in 7-bit mode the same
1614          way that ml-lex does
1615    
1616        * lexgen propagates exceptions the same way that ml-lex does
1617    
1618      CML:
1619        * Fixed a bug in the SyncVar polling functions (iGetPoll,
1620          mTakePoll, and mGetPoll) that could lead to livelock.
1621    
1622    ----------------------------------------------------------------------
1623    Name: Matthias Blume (http://www.tti-c.org/blume/)
1624    Date: 2006/05/12 15:20:00 CST
1625    Tag: blume-20060515-makedepend
1626    Description:
1627    
1628    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
1629    way.  This should hopefully fix the ml-makedepend problem permanently.
1630    
1631    ----------------------------------------------------------------------
1632    Name: Matthias Blume (http://www.tti-c.org/blume/)
1633    Date: 2006/05/12 15:15:00 CST
1634    Tag: blume-20060512-makedepend
1635    Description:
1636    
1637    Fixed long-standing bug with ml-makedepend where it would output a
1638    spurious dependency to a non-existing file.  (This is a simple fix.
1639    It might need further looking into.)
1640    
1641    ----------------------------------------------------------------------
1642    Name: Matthias Blume (http://www.tti-c.org/blume/)
1643    Date: 2006/04/20 10:30:00 CDT
1644    Tag: blume-20060420-heap2exec
1645    Description:
1646    
1647    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
1648    that enable heap2exec under Linux and FreeBSD.
1649    
1650    ----------------------------------------------------------------------
1651    Name: John Reppy
1652    Date: 2006/04/14
1653    Tag:
1654    Description:
1655    
1656    MLRISC changes:
1657      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
1658      2) added support for NOTB and XORB operators in pseudo-op expressions
1659      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
1660      4) added support for 64-bit integer literals
1661    
1662    ----------------------------------------------------------------------
1663    Name: Matthias Blume (http://www.tti-c.org/blume/)
1664    Date: yyyy/mm/dd
1665    Tag: Release_110_58
1666    Description:
1667    
1668    New working version (110.58).  NEW BOOTFILES!
1669    
1670    ----------------------------------------------------------------------
1671    Name: Matthias Blume (http://www.tti-c.org/blume/)
1672    Date: 2006/03/01 22:15:00 CST
1673    Tag: blume-20060301-lexgen
1674    Description:
1675    
1676    Incorporated several bugfixes to lexgen.  Compiler now compiles to
1677    fixpoint when using lexgen instead of ml-lex.
1678    
1679    ----------------------------------------------------------------------
1680    Name: Matthias Blume (http://www.tti-c.org/blume/)
1681    Date: 2006/02/28 22:45:00 CST
1682    Tag: blume-20060228-lexgen
1683    Description:
1684    
1685    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
1686    provided tarball.  The generated lexers still have problems.
1687    
1688    ----------------------------------------------------------------------
1689    Name: Matthias Blume (http://www.tti-c.org/blume/)
1690    Date: 2006/02/26 23:30:00 CST
1691    Tag: blume-20060226-ml-flex
1692    Description:
1693    
1694    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
1695    of ml-flex on by default.
1696    
1697    ----------------------------------------------------------------------
1698    Name: Matthias Blume (http://www.tti-c.org/blume/)
1699    Date: 2006/02/24 16:30:00 CST
1700    Tag: blume-20060224-ml-flex
1701    Description:
1702    
1703    Added ml-flex sources.  Partially integrated, but should not be
1704    turned on yet!  (Read: leave it commented-out in config/targets!)
1705    
1706    ----------------------------------------------------------------------
1707    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1708    Date: 2006/02/23
1709    Tag: jhr-20060223-x86-64
1710    Description:
1711    Changes to support building on x86-64 systems (using the 32-bit mode).
1712    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
1713    kernels dropped.
1714    
1715    ----------------------------------------------------------------------
1716    Name: Allen Leung (leunga (at) reservoir (dot) com)
1717    Date: 2006/02/22 15:07:00 EST
1718    Tag: leunga-20060222-mdl-gen
1719    Description:
1720    
1721      CM has changed.  Updated the script for rebuilding the MLRISC generated
1722    files.
1723    
1724    ----------------------------------------------------------------------
1725    Name: Matthias Blume (http://www.tti-c.org/blume/)
1726    Date: 2006/02/14 17:30:00 CST
1727    Tag: blume-20060214-intel-mac
1728    Description:
1729    
1730    Hooked code for Darwin-specific Intel ABI into main compiler.
1731    (This is a temporary solution which relies on the fact that the
1732    compiler itself does not use NLFFI.  Eventually we need to divorce
1733    intel mac from generic x86 unix code and make separate sets of binaries.)
1734    
1735    ----------------------------------------------------------------------
1736    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1737    Date: 2006/02/13
1738    Tag: jhr-20060213-intel-mac
1739    Description:
1740    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
1741    
1742    ----------------------------------------------------------------------
1743    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1744    Date: 2006/02/06
1745    Tag: jhr-20060206-intel-mac
1746    Description:
1747    Changes to support MacOS X on Intel hardware.  The C-calls support in
1748    MLRISC must also be updated to support the MacOS X ABI.
1749    
1750    ----------------------------------------------------------------------
1751    Name: Matthias Blume (http://www.tti-c.org/blume/)
1752    Date: 2005/12/16 00:15:00 CST
1753    Tag: blume-20051216-cm
1754    Description:
1755    
1756    Improved error reporting and handling in CM.
1757    
1758    ----------------------------------------------------------------------
1759    Name: Matthias Blume (http://www.tti-c.org/blume/)
1760    Date: 2005/11/21 14:00:00 CST
1761    Tag: blume-20051121-html-lib
1762    Description:
1763    
1764    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
1765    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
1766    at the time when config/preloads is processed, the library has to
1767    be referred to by another name.  In 110.57 this would be
1768    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
1769    to be valid as well.)
1770    
1771    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
1772    
1773    ----------------------------------------------------------------------
1774    Name: Matthias Blume (http://www.tti-c.org/blume/)
1775    Date: 2005/11/19 13:45:00 CST
1776    Tag: Release_110_57
1777    Description:
1778    
1779    Moved release tag for 110.57.
1780    
1781    ----------------------------------------------------------------------
1782    Name: Matthias Blume (http://www.tti-c.org/blume/)
1783    Date: 2005/11/19 23:35:00 CST
1784    Tag: blume-20051119-fish
1785    Description:
1786    
1787    Fixed a problem in config/install.sh where it tries to "fish" the
1788    name of the CM metadata directory from the wrong place (because
1789    the physical location of basis.cm has changed).  Also, corrected the
1790    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
1791    these problems.)
1792    
1793    ----------------------------------------------------------------------
1794    Name: Matthias Blume (http://www.tti-c.org/blume/)
1795    Date: 2005/11/16 14:30:00 CST
1796    Tag: blume-orig-110_57
1797    Description:
1798    
1799    New working version (110.57).  NEW BOOTFILES!
1800    
1801    UPDATE: The release tag has been moved to include a fix for a brown-paper-
1802            bag glitch (see above).
1803    
1804    ----------------------------------------------------------------------
1805    Name: Matthias Blume (http://www.tti-c.org/blume/)
1806    Date: 2005/11/16 10:25:00 CST
1807    Tag: blume-22051116-btrace
1808    Description:
1809    
1810    Fixed problem with bogus exception message when using back-trace
1811    facility.
1812    
1813    ----------------------------------------------------------------------
1814    Name: Matthias Blume (http://www.tti-c.org/blume/)
1815    Date: 2005/11/15 22:35:00 CST
1816    Tag: blume-22051115-array2copy
1817    Description:
1818    
1819    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
1820    
1821    ----------------------------------------------------------------------
1822    Name: Matthias Blume (http://www.tti-c.org/blume/)
1823    Date: 2005/11/15 21:35:00 CST
1824    Tag: blume-22051115-versiontool
1825    Description:
1826    
1827    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
1828    file gets loaded as a tool -- by the equivalent of CM.make during the
1829    run of CMB.make.  Thus, CMB's path configuration is meaningless for
1830    it.  Instead, it has the status of "user code", so it should use
1831    $/basis.cm to refer to the Basis library.  (At least that's true for
1832    the purpose of bootstrapping the previous change.  In the future it
1833    might make sense to have versiontool.cm refer to
1834    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
1835    compiler itself uses.)
1836    
1837    Also patched src/system/testml to have it activate those extra anchor
1838    bindings in config/extrapathconfig.
1839    
1840    ----------------------------------------------------------------------
1841    Name: Matthias Blume (http://www.tti-c.org/blume/)
1842    Date: 2005/11/15 16:35:00 CST
1843    Tag: blume-22051115-libraries
1844    Description:
1845    
1846    This change affects the way the following libraries are tied into
1847    the system:
1848    
1849       $/basis.cm
1850       $/smlnj-lib.cm
1851       $/pp-lib.cm
1852       $/controls-lib.cm
1853       $/html-lib.cm
1854       $/ml-yacc-lib.cm
1855    
1856    These libraries are now internally (as seen from the source code
1857    of the implementation itself) known by the following names:
1858    
1859       $smlnj/basis/basis.cm
1860       $smlnj/smlnj-lib/smlnj-lib.cm
1861       $smlnj/smlnj-lib/pp-lib.cm
1862       $smlnj/smlnj-lib/controls-lib.cm
1863       $smlnj/smlnj-lib/html-lib.cm
1864       $smlnj/ml-yacc/ml-yacc-lib.cm
1865    
1866    This makes it possible to work with code that requires different
1867    versions of these libraries, and which refers to these libraries using
1868    their "default" names (i.e., the first set of names above).  In other
1869    words, one can un-define or re-define those default names without
1870    compromising the proper functioning of the compiler itself.
1871    
1872    A similar procedure had already been performed for several of the
1873    MLRISC libraries that are linked into the compiler.  I did some
1874    cleanup on this code.
1875    
1876    A new file in the config directory (named extrapathconfig) is
1877    responsible for setting up path anchors that the compiler itself does
1878    not need, but that are typically required by user code.
1879    
1880    ----------------------------------------------------------------------
1881    Name: Matthias Blume
1882    Date: 2005/11/07 17:05:00 CST
1883    Tag: blume-20051107-slice
1884    Description:
1885    
1886    Fixed erroneous out-of-bounds test in the "update" function of
1887    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
1888    out the problem.)
1889    
1890    Pushed some Basis changes through ML-Lex, CML, and eXene.
1891    
1892    ----------------------------------------------------------------------
1893    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1894    Date: 2005/11/07
1895    Description:
1896    Fixed a Basis incompatibility: The depreciated function Substring.all
1897    was removed (use Substring.full instead).
1898    
1899    ----------------------------------------------------------------------
1900    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1901    Date: 2005/11/05
1902    Description:
1903    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
1904    
1905    ----------------------------------------------------------------------
1906    Name: Matthias Blume (http://www.tti-c.org/blume/)
1907    Date: 2005/11/02 16:25:00 CST
1908    Tag: blume-20051102-hex
1909    Description:
1910    
1911    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
1912      in either upper case or lower case format.
1913    * Pushed changes to names of Pack<N>{Big,Little} structures through
1914      CML and eXene.
1915    
1916    ----------------------------------------------------------------------
1917    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1918    Date: 2005/11/02
1919    Description:
1920    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
1921    be called PackWord<N>{Big,Little}.
1922    
1923    ----------------------------------------------------------------------
1924    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1925    Date: 2005/10/28
1926    Description:
1927    Fixed a minor Basis incompatibility: hex digits should be upper case.
1928    
1929    ----------------------------------------------------------------------
1930    Name: Matthias Blume (blume (at) tti - c (dot) org)
1931    Date: 2005/10/25 16:00:00 CDT
1932    Tag: Release_110_56
1933    Description:
1934    
1935    New working version (110.56).  NEW BOOTFILES!
1936    
1937    ----------------------------------------------------------------------
1938    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1939    Date: 2005/10/25
1940    Description:
1941    Added interval sets to utility library (signatures INTERVAL_DOMAIN
1942    and INTERVAL_SET, and functor IntervalSetFn).
1943    
1944    ----------------------------------------------------------------------
1945    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1946    Date: 2005/10/14
1947    Description:
1948    Add Zhong Shao's fix for datatype equality functions.
1949    
1950    ----------------------------------------------------------------------
1951    Name: Allen Leung (leunga (at) reservoir (dot) com)
1952    Date: 2005/10/14 12:30:00 EST
1953    Tag: leunga-20051014-x86-spill
1954    Description:
1955    
1956    Bug fix a bug found by Carl Hauser.
1957    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
1958    
1959    ----------------------------------------------------------------------
1960    Name: Allen Leung (leunga (at) reservoir (dot) com)
1961    Date: 2005/10/14 11:15:00 EST
1962    Tag: leunga-20051014-x86-asm
1963    Description:
1964    
1965    Removed some debugging code in file x86Asm.sml.
1966    The function emit_operand was printing out debugging output.
1967    
1968    ----------------------------------------------------------------------
1969    Name: John Reppy
1970    Date: 2005/07/27
1971    Tag:
1972    Description:
1973    
1974    Fixed ml-lex to recognize "\r" as representing carriage return.
1975    
1976    ----------------------------------------------------------------------
1977    Name: John Reppy
1978    Date: 2005/07/27
1979    Tag:
1980    Description:
1981    
1982    Fixed ml-yacc to work on files with non-native end-of-line
1983    encodings (e.g., Windows text file on a Unix system).
1984    
1985    ----------------------------------------------------------------------
1986    Name: John Reppy
1987    Date: 2005/07/20
1988    Tag:
1989    Description:
1990    
1991    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
1992    to support HPUX 11.
1993    
1994    ----------------------------------------------------------------------
1995    Name: John Reppy
1996    Date: 2005/07/06
1997    Tag:
1998    Description:
1999    
2000    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
2001    
2002    ----------------------------------------------------------------------
2003    Name: Matthias Blume (blume (at) tti - c (dot) org)
2004    Date: 2005/07/06 00:45:00 CDT
2005    Tag: blume-20050706-slice-copy
2006    Description:
2007    
2008    Fixed reversed logic for deciding whether to "copy up" or "copy down"
2009    in *-array-slice.sml.
2010    
2011    ----------------------------------------------------------------------
2012    Name: Allen Leung (leunga (at) reservoir (dot) com)
2013    Date: 2005/05/31 17:00:00 EST
2014    Tag: leunga-20050531-cygwin-fault-2
2015    Description:
2016    
2017    A typo in the cygwin code fixed.
2018    
2019    ----------------------------------------------------------------------
2020    Name: Allen Leung (leunga (at) reservoir (dot) com)
2021    Date: 2005/05/31 16:47:00 EST
2022    Tag: leunga-20050531-cygwin-fault
2023    Description:
2024    
2025    Updated Cygwin's fault/signal handling to match the Windows version.
2026    Updated the export list.
2027    
2028    ----------------------------------------------------------------------
2029    Name: Matthias Blume (blume (at) tti - c (dot) org)
2030    Date: 2005/05/18 13:35:00 CDT
2031    Tag: Release_110_54
2032    Description:
2033    
2034    New working version (110.54).  NEW BOOTFILES!
2035    
2036    ----------------------------------------------------------------------
2037    Name: Matthias Blume (blume (at) tti - c (dot) org)
2038    Date: 2005/05/18 11:58:00 CDT
2039    Tag: blume-20050518-installer
2040    Description:
2041    
2042    Added support scripts for Mac OS X PackageMaker and modified
2043    config/install.sh so that it supports re-dumping a heap image
2044    after customization.
2045    
2046    ----------------------------------------------------------------------
2047    Name: Matthias Blume (blume (at) tti - c (dot) org)
2048    Date: 2005/05/18 10:55:00 CDT
2049    Tag: blume-20050518-realdiv-noovld
2050    Description:
2051    
2052    Un-overloaded / to work around bug in overloading resolution code.
2053    
2054    ----------------------------------------------------------------------
2055    Name: Matthias Blume (blume (at) tti - c (dot) org)
2056    Date: 2005/05/16 23:50:00 CDT
2057    Tag: blume-20050516-redump-heap
2058    Description:
2059    
2060    Added mechanism for re-creating a heap file for the interactive system
2061    after configuration variables have been changed.
2062    
2063       CM.redump_heap : string -> unit
2064    
2065    This is much like SMLofNJ.exportML, but starting from the resulting
2066    heap does not return to the caller of CM.redump_heap but
2067    restarts the interactive system from scratch.  The original call of
2068    CM.redump_heap does not return but ends the interactive session.
2069    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
2070    
2071    Internally, redump_heap winds the dynamic execution context back to
2072    the point where the original heap image was created and re-executes
2073    the heap image generation code in the boot code.
2074    
2075    ----------------------------------------------------------------------
2076    Name: Matthias Blume (blume (at) tti - c (dot) org)
2077    Date: 2005/05/09 21:55:00 CDT
2078    Tag: blume-20050509-word64
2079    Description:
2080    
2081    Added a hack to the existing hack known as Word64 to make fromString
2082    behave correctly.  I am still not sure whether Word64.scan will work
2083    as specified with respect to the interaction of radix and prefix.
2084    
2085    ----------------------------------------------------------------------
2086    Name: Allen Leung (leunga (at) reservoir (dot) com)
2087    Date: 2005/05/04 11:50:00 EST
2088    Tag: leunga-20050504-checkgc
2089    Description:
2090    
2091    Added a gc protocol checking phase.  This phase is enabled with
2092    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
2093    
2094    ----------------------------------------------------------------------
2095    Name: Matthias Blume (blume (at) tti - c (dot) org)
2096    Date: 2005/05/04 10:45:00 CDT
2097    Tag: blume-20050504-intinf
2098    Description:
2099    
2100    Fixed a bug in the implementation of div and mod for IntInf.
2101    Thanks to Neophytos Michael for reporting the problem.
2102    
2103    ----------------------------------------------------------------------
2104    Name: Matthias Blume (blume (at) tti - c (dot) org)
2105    Date: 2005/05/04 10:35:00 CDT
2106    Tag: blume-20050504-join
2107    Description:
2108    
2109    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
2110    
2111    ----------------------------------------------------------------------
2112    Name: Matthias Blume (blume (at) tti - c (dot) org)
2113    Date: 2005/02/28 23:40:00 CST
2114    Tag: blume-20050228-mVar
2115    Description:
2116    
2117    Fixed serious bug (brown paper bag variety) in new implementation of
2118    structure Atom in CML.  (I had accidentally used a mailbox instead of
2119    an mvar, leaving the door open for races.)
2120    
2121    ----------------------------------------------------------------------
2122    Name: Matthias Blume (blume (at) tti - c (dot) org)
2123    Date: 2005/02/25 15:00:00 CST
2124    Tag: Release_110_53
2125    Description:
2126    
2127    New working version (110.53).  NEW BOOTFILES!
2128    
2129    ----------------------------------------------------------------------
2130    Name: Matthias Blume (blume (at) tti - c (dot) org)
2131    Date: 2005/02/25 14:50:00 CST
2132    Tag: blume-20050225-susp
2133    Description:
2134    
2135    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
2136    implemented in Core -- which means that it is the same as the one used
2137    by the lazy extension.
2138    
2139    ----------------------------------------------------------------------
2140    Name: Matthias Blume (blume (at) tti - c (dot) org)
2141    Date: 2005/02/24 16:50:00 CST
2142    Tag: blume-20050224-cml-atom
2143    Description:
2144    
2145    Simpler and at the same time more general implementation of structure
2146    Atom in CML.
2147    
2148    ----------------------------------------------------------------------
2149    Name: Matthias Blume (blume (at) tti - c (dot) org)
2150    Date: 2005/02/15 17:35:00 CST
2151    Tag: blume-20050215-tools
2152    Description:
2153    
2154    Created new "tools" directory under "src" and moved "TraceDebugProf"
2155    there.
2156    
2157    ----------------------------------------------------------------------
2158    Name: Matthias Blume (blume (at) tti - c (dot) org)
2159    Date: 2005/02/10 17:55:00 CST
2160    Tag: blume-20050210-longlong
2161    Description:
2162    
2163    Implemented "long long" arguments and results for NLFFI.  (Only the
2164    PPC/MacOS implementation is complete, the other backends still need to
2165    be updated.)
2166    
2167    ----------------------------------------------------------------------
2168    Name: Matthias Blume (blume (at) tti - c (dot) org)
2169    Date: 2005/01/24 17:40:00 CST
2170    Tag: blume-20050124-mlyacc
2171    Description:
2172    
2173    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
2174    problem with certain "as" patterns which previously got rendered
2175    using incorrect syntax.
2176    
2177    ----------------------------------------------------------------------
2178    Name: Matthias Blume (blume (at) tti - c (dot) org)
2179    Date: 2005/01/18 12:00:00 CST
2180    Tag: blume-20050118-profile
2181    Description:
2182    
2183    Made time profiling code (interrupt handler) in runtime system aware
2184    of new array representation.
2185    
2186    ----------------------------------------------------------------------
2187    Name: Matthias Blume (blume (at) tti - c (dot) org)
2188    Date: 2005/01/14 18:00:00 CST
2189    Tag: blume-20050114-heap2exec
2190    Description:
2191    
2192    Implemented new (but still experimental) heap2exec facility.  This is
2193    tested under Mac OS X and should work under Linux (will test shortly).
2194    It will probably also work on the Sparc (will test some time later).
2195    
2196      - removed old "HACKED_STANDALONE" hack from runtime
2197    
2198    To be able to test this, uncomment the request for "heap2asm" in
2199    config/targets prior to installation.  (Notice that this is different
2200    from "heap2exec" mentioned below.  Not a typo.)
2201    
2202    To perform an actual test, run the command
2203    
2204       $ bin/heap2exec heapfile execfile
2205    
2206    (You can put heap2exec on your shell's path.)
2207    
2208    For example, run
2209    
2210      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
2211    
2212    This will create a standalone executable called "mly" which you can
2213    then invoke directly as a command.
2214    
2215    ----------------------------------------------------------------------
2216    Name: Matthias Blume (blume (at) tti - c (dot) org)
2217    Date: 2005/01/07 11:44:00 CST
2218    Tag: blume-20050107-mlstring
2219    Description:
2220    
2221    fixed off-by-one error in ML_STRING macro (globals.c)
2222    
2223    ----------------------------------------------------------------------
2224    Name: Matthias Blume (blume (at) tti - c (dot) org)
2225    Date: 2004/12/23 18:00:00 CST
2226    Tag: blume-20041223-santa
2227    Description:
2228    
2229    Made ml-build script "smarter" (but only very little).
2230    
2231    ----------------------------------------------------------------------
2232    Name: Matthias Blume (blume (at) tti - c (dot) org)
2233    Date: 2004/12/21 15:05:00 CST
2234    Tag: blume-20041221-longlong
2235    Description:
2236    
2237    * Implemented access to signed and unsigned long long data in NLFFI.
2238    (The parameter-passing part of the picture has not complete. But
2239    data structure access seems to work.)
2240    
2241    * Fixed CM's incorrect assumption that the PPC is little-endian.
2242      (On the Mac, it is big-endian.  And that's currently our only
2243      PPC platform.)
2244    
2245    ----------------------------------------------------------------------
2246    Name: Matthias Blume (blume (at) tti - c (dot) org)
2247    Date: 2004/12/21 12:50:00 CST
2248    Tag: blume-20041221-memory
2249    Description:
2250    
2251    Some cleanup in the $c/memory.cm library: separated some concerns by
2252    moving allocation code and memory access code each into their own
2253    files.
2254    
2255    ----------------------------------------------------------------------
2256    Name: Allen Leung (leunga (at) reservoir (dot) com)
2257    Date: 2004/12/17 16:12:00 EST
2258    Tag: leunga-20041217-cygwin-smlnj-home
2259    Description:
2260    
2261        The Unix I/O library of SML/NJ on cygwin does not understand
2262    Windows style pathname, so problems arise when SMLNJ_HOME is set
2263    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
2264    to a POSIX pathname on cygwin.
2265    
2266    ----------------------------------------------------------------------
2267  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
2268  Date: 2004/12/16 13:35:00 CST  Date: 2004/12/16 13:35:00 CST
2269  Tag: Release_110_52  Tag: Release_110_52

Legend:
Removed from v.1737  
changed lines
  Added in v.3904

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