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

Legend:
Removed from v.1638  
changed lines
  Added in v.3760

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