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

Legend:
Removed from v.1662  
changed lines
  Added in v.3926

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