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 1838, Fri Oct 14 21:24:05 2005 UTC sml/trunk/NOTES/HISTORY revision 3467, Thu Dec 10 20:20:54 2009 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:  
11    Name: Your Name (web page or e-mail)
12    Date: yyyy/mm/dd hh:mm:ss
13    Tag: cvs-tag-for-this-change
14    Description:
15    
16    Here is a test entry
17    
18    ----------------------------------------------------------------------
19    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
20    Date: 2009/12/10
21    Description:
22    
23    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
24    for alignment padding added during copy to the to-space to overrun the allocated
25    size.
26    ----------------------------------------------------------------------
27    Name John Reppy (http://cs.uchicago.edu/~jhr)
28    Date 2009/11/18
29    Description:
30    
31    The ml-antlr and ml-ulex programs have been ported to build under
32    mlton.
33    
34    ----------------------------------------------------------------------
35    Name John Reppy (http://cs.uchicago.edu/~jhr)
36    Date 2009/11/17
37    Description:
38    
39    Added %header directive to the ml-ulex scanner generator.  Also
40    updated the documentation.
41    
42    ----------------------------------------------------------------------
43    Name John Reppy (http://cs.uchicago.edu/~jhr)
44    Date 2009/11/17
45    Description:
46    
47    Added "@SMLsuffix" flag to sml command.  This can be used to get
48    the suffix for heap files.
49    
50    ----------------------------------------------------------------------
51    Name John Reppy (http://cs.uchicago.edu/~jhr)
52    Date 2009/11/17
53    Description:
54    
55    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
56    
57    ----------------------------------------------------------------------
58    Name John Reppy (http://cs.uchicago.edu/~jhr)
59    Date 2009/11/10
60    Description:
61    
62    Added %header directive to the ml-antlr parser generator.  Also
63    updated the documentation.
64    
65    ----------------------------------------------------------------------
66    Name: Jon Riehl (http://www.jonriehl.com/)
67    Date: 2009/09/16
68    Description:
69    
70    Cutting version 110.71.  New bootfiles.
71    
72    ----------------------------------------------------------------------
73    Name John Reppy (http://cs.uchicago.edu/~jhr)
74    Date 2009/09/13
75    Description:
76    
77    Changes to support compiling the runtime system on Mac OS X 10.6
78    (aka Snow Leopard).
79    
80    ----------------------------------------------------------------------
81    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
82    Date 2009/08/19
83    Description:
84    
85    Fixed a bug in the register-spill generator that is part of the MLRISC
86    register allocator. The problem was that the code in RASpillWithRenaming
87    functor assumed incorrectly that dedicated registers would appear in
88    def/use information generated by ClusterRA. Thanks to Allen Leung for
89    helping with this bug.
90    
91    ----------------------------------------------------------------------
92    Name John Reppy (http://cs.uchicago.edu/~jhr)
93    Date 2009/07/09
94    Description:
95    
96    Removed redundant implementations of various top-level operations by
97    consolidating them in base/system/smlnj/init/pervasive.sml.  This
98    change also fixes a bug in that the top-level version of round was
99    incorrect.
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume (http://www.tti-c.org/blume/)
103    Date: 2009/06/15 11:17:00 CDT
104    Description:
105    
106    Bumped version number to 110.70.  New bootfiles.
107    
108    ----------------------------------------------------------------------
109    Name: Matthias Blume (http://www.tti-c.org/blume/)
110    Date: 2009/06/12 11:02:00 CDT
111    Description:
112    
113    1. Corrected problem in config/actions that led to the so-called
114       "unpickling bug" which appeared in version 110.68.
115    
116    2. Provided fix for the 64-bit pattern match bug.
117    
118    ----------------------------------------------------------------------
119    Name John Reppy (http://cs.uchicago.edu/~jhr)
120    Date 2009/03/21
121    Description:
122    
123    Fixed bug in Int32.fmt when the argument was the minimum int and the
124    radix was something other than DEC.
125    
126    ----------------------------------------------------------------------
127    Name Aaron Turon (turon@ccs.neu.edu)
128    Date 2009/02/21
129    Description:
130    
131    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
132    
133    ----------------------------------------------------------------------
134    Name: Jon Riehl (http://www.jonriehl.com/)
135    Date: 2009/01/13
136    Description:
137    
138    Picking up some additional fixes for 110.69, including a fix for
139    spaces in CM file paths.
140    
141    ----------------------------------------------------------------------
142    Name: Jon Riehl (http://www.jonriehl.com/)
143    Date: 2008/12/22
144    Description:
145    
146    Version bumped to 110.69.  New bootfiles.
147    
148    ----------------------------------------------------------------------
149    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
150    Date: 2008/12/06
151    Description:
152    
153    Re-enabled some CPS optimizations (first_contract and eta).  The most
154    important effect of this change is to make uses of SMLofNJ.Cont.capture
155    be properly tail recursive.
156    
157    ----------------------------------------------------------------------
158    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
159    Date: 2008/12/03
160    Description:
161    
162    New concurrency-related instructions for x86 and amd64 code
163    generators.
164      - PAUSE: Notify the CPU that the program is spin waiting.
165      - MFENCE: memory fence for reads and writes.
166      - SFENCE: memory fence for writes.
167      - LFENCE: memory fence for reads.
168    
169    ----------------------------------------------------------------------
170    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
171    Date: 2008/12/02
172    Description:
173    
174    Added makefile and other support for building runtime on OpenBSD.
175    
176    ----------------------------------------------------------------------
177    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
178    Date: 2008/08/13
179    Description:
180    
181    Version bumped to 110.68.  New bootfiles.
182    
183    ----------------------------------------------------------------------
184    Name Aaron Turon (turon@ccs.neu.edu)
185    Date 2008/08/11
186    Description:
187    
188    Minor fix to ml-ulex backend for regexps that match any character
189    and perform a single action.  Previously the emitted code would
190    not allow the regexps to match any character at all.
191    
192    ----------------------------------------------------------------------
193    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
194    Date: 2008/08/05
195    Description:
196    
197    Added build support for OpenBSD (thanks to Brian O'Hanlon).
198    
199    ----------------------------------------------------------------------
200    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
201    Date: 2008/07/12
202    Description:
203    
204    Fixed Int64.fromString to use base-10.
205    
206    ----------------------------------------------------------------------
207    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
208    Date: 2008/04/12
209    Description:
210    
211    Various updates to the ml-lpt tree.  The documentation has been updated;
212    bugs in the parsing of negation and character classes in ml-ulex have
213    been fixed; and changes have been made to make the ml-lpt tools more
214    compatible with MLton (and other SML implementations).  Thanks to
215    Matthew Fluet and Aaron Turon for their patches.
216    
217    ----------------------------------------------------------------------
218    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
219    Date: 2008/20/04
220    Description:
221    
222    Implemented timer-based profiling on Windows, with behavior as close
223    to the *nix ITIMER-based profiling as possible.
224    ----------------------------------------------------------------------
225    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
226    Date: 2008/07/04
227    Description:
228    
229    Finished off the Windows subset of the basis library. Added process
230    support and various configuration and system identification utils.
231    ----------------------------------------------------------------------
232    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
233    Date: 2008/03/18
234    Description:
235    
236    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
237    ----------------------------------------------------------------------
238    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
239    Date: 2008/02/14
240    Description:
241    
242    Added the Windows Status structure
243    ----------------------------------------------------------------------
244    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
245    Date: 2008/02/14
246    Description:
247    
248    Added the Windows DDE structure
249    ----------------------------------------------------------------------
250    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
251    Date: 2008/02/05
252    Description:
253    
254    Added the Windows Config structure
255    ----------------------------------------------------------------------
256    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
257    Date: 2008/01/31
258    Description:
259    
260    Added outline of the Windows basis library and the basic registry
261    functionality.
262    ----------------------------------------------------------------------
263    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
264    Date: 2008/01/23
265    Description:
266    
267    Fixed the amd64 code generator to compile with the current MLRISC.
268    ----------------------------------------------------------------------
269    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
270    Date: 2007/11/26
271    Description:
272    
273    nlffi was updated to work on Windows. It needed to pass in the correct
274    value for the name of the kernel32 DLL to obtain 'base' bindings.
275    Additionally updated the README for the most basic nlffi sample with
276    what you need to do on MacOSX and on Windows to make it work.
277    ----------------------------------------------------------------------
278    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
279    Date: 2007/11/21
280    Description:
281    
282    Overwrite the SMLNJ_HOME environment variable on installation
283    Properly change the package code so that subsequent version
284    installations prompt for uninstall (instead of 'repair/remove')
285    ----------------------------------------------------------------------
286    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
287    Date: 2007/11/14
288    Description:
289    
290    Cleaned up WININSTALL file for new MSI-based setup.
291    ----------------------------------------------------------------------
292    Name: Matthias Blume (http://www.tti-c.org/blume/)
293    Date: 2007/11/13 14:05:00 CST
294    Description:
295    
296    Version bumped to 110.67.  New bootfiles.
297    
298    ----------------------------------------------------------------------
299    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
300    Date: 2007/11/12
301    Description:
302    
303    Ensure that the size of the allocation space is at least 128K.
304    ----------------------------------------------------------------------
305    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
306    Date: 2007/11/05
307    Description:
308    
309    Fixed type error in ml-lpt library that occurs when compiling
310    against a basis that was compiled with the USE_64_BIT_POSITIONS
311    symbol set.
312    (Thanks to Johannes Joemann)
313    ----------------------------------------------------------------------
314    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
315    Date: 2007/11/03
316    Description:
317    
318    Fixed the amd64 code generator to compile with the current MLRISC.
319    ----------------------------------------------------------------------
320    Name: Lars Bergstrom (web page or e-mail)
321    Date: 2007/11/02
322    Description:
323    
324    Made sml.bat more resilient to either not having run the installer
325    and having no SMLNJ_HOME set or having just shuffled the directory
326    around.
327    ----------------------------------------------------------------------
328    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
329    Date: 2007/11/01
330    Description:
331    
332    A collection of bug fixes for machine.sml in the Reactive library.
333    (Thanks to Timothy Bourke)
334    ----------------------------------------------------------------------
335    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
336    Date: 2007/10/28
337    Description:
338    
339    Patches for Mac OS X 10.5 (Leopard).
340    ----------------------------------------------------------------------
341    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
342    Date: 2007/10/28
343    Description:
344    
345    Fixed some bugs in the AMD64 floating-point spilling code.
346    ----------------------------------------------------------------------
347    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
348    Date: 2007/10/25
349    Description:
350    
351    Added support for the atomic XCHG instruction.
352    ----------------------------------------------------------------------
353    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
354    Date: 2007/10/22
355    Description:
356    
357    Added AMD64 support for floating-point negation.
358    ----------------------------------------------------------------------
359    Name: Lars Bergstrom (web page or e-mail)
360    Date: 2007/10/22
361    Description:
362    
363    Fixed ^C handling in Windows
364    Added a Windows installer
365    Made it possible to build for Windows on a mapped drive from Parallels
366    ----------------------------------------------------------------------
367    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
368    Date: 2007/10/22
369    Description:
370    
371    Added AMD64 support for the atomic fetch and add instruction.
372    ----------------------------------------------------------------------
373    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
374    Date: 2007/10/18
375    Description:
376    
377    The GAS output now favors p2align over align, since the
378    former is guaranteed to be consistent over multiple architectures
379    and the latter is not.
380    ----------------------------------------------------------------------
381    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
382    Date: 2007/10/18
383    Description:
384    
385    Fixed a bug in register spilling.
386    ----------------------------------------------------------------------
387    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
388    Date: 2007/10/2
389    Description:
390    
391    Added demo support for AMD64 for quick testing and fixed support for
392    64-bit label constants.
393    ----------------------------------------------------------------------
394    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
395    Date: 2007/09/20
396    Description:
397    
398    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
399    instruction.
400    ----------------------------------------------------------------------
401    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
402    Date: 2007/09/17
403    Description:
404    
405    Fixed an instruction-selection bug when loading 64-bit labels.
406    
407    ----------------------------------------------------------------------
408    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
409    Date: 2007/09/14
410    Description:
411    
412    Fixed Elaborator and Translate performance bugs
413    
414    ----------------------------------------------------------------------
415    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
416    Date: 2007/09/12
417    Description:
418    
419    Fixed xorl memory argument bug.
420    
421    ----------------------------------------------------------------------
422    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
423    Date: 2007/07/27
424    Description:
425    
426    Added f64sgn (for Real64.signBit) as a primop defined
427    in MLRiscGen. signBit(~0.0) not handled correctly.
428    
429    ----------------------------------------------------------------------
430    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
431    Date: 2007/06/21
432    Description:
433    
434    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
435    signal end of stream.
436    
437    ----------------------------------------------------------------------
438    Name: Matthias Blume (http://www.tti-c.org/blume/)
439    Date: 2007/06/12 11:22:00 CDT
440    Description:
441    
442    Eliminated config/allsources.  The information is now drawn directly
443    from config/actions.
444    
445    ----------------------------------------------------------------------
446    Name: Matthias Blume (http://www.tti-c.org/blume/)
447    Date: 2007/06/07 23:30:00 CDT
448    Tag: release-110.65
449    Description:
450    
451    Version 110.65. NEW BOOTFILES!
452    
453    ----------------------------------------------------------------------
454    Name: Matthias Blume (http://www.tti-c.org/blume/)
455    Date: 2007/06/06 21:45:00 CDT
456    Description:
457    
458    - Aaron: fixed a number of bugs in ml-ulex.
459    - Matthias:
460       - added CM control "cm.force-tools"; this is false by default;
461         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
462         will be forced to run regardless of whether or not their targets
463         are up-to-date
464       - changed installer code so that config/install.sh will re-build
465         heap images for all tools even if those heap images already existed
466    
467    ----------------------------------------------------------------------
468    Name: Matthias Blume (http://www.tti-c.org/blume/)
469    Date: 2007/06/04 21:21:00 CDT
470    Description:
471    
472    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
473    in legacy mode), re-ran the lexer generator on all lex input files
474    and committed the results.
475    
476    This should fix the problem with ckit and nlffi that was reported
477    by Vesa A. Norrman.
478    
479    ----------------------------------------------------------------------
480    Name: Matthias Blume (http://www.tti-c.org/blume/)
481    Date: 2007/05/31 11:40:00 CDT
482    Tag: release-110.64
483    Description:
484    
485    Version 110.64. NEW BOOTFILES!
486    
487    ----------------------------------------------------------------------
488    Name: Dave MacQueen (dbm@cs.uchicago.edu)
489    Date: 2007/05/31 14:55:00 CDT
490    Revision: 2650
491    Description:
492    
493    3rd merge of base from primop-branch-3 into the trunk.
494    Additional bug fixes included:
495    
496     * Timer.cpu_timer, etc. type printing corrected (by making
497         Timer have opaque sig constraint in basis/Implementation/timer.sml)
498     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
499         Stefan Monnier)
500    
501    ----------------------------------------------------------------------
502    Name: Matthias Blume (http://www.tti-c.org/blume/)
503    Date: 2007/05/31 11:40:00 CDT
504    Description:
505    
506    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
507    
508    Also, changed the handling of "no core access":  When translate.sml
509    needs access to a core exception at a time when the core has not
510    been set up yet (this only happens when compiling system/smlnj/init/*),
511    then don't bother generating the corresponding tests.
512    
513    The old scheme was to generate a bogus value to be used in place of
514    the exception.  Unfortunately, that confuses the plambda type checker.
515    Moreover, it does not do any good, because at runtime we don't expect
516    such an exception to be ever raised.  (The code in system/smlnj/init/*
517    has to be written very carefully with this in mind!)
518    
519    ----------------------------------------------------------------------
520    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
521    Date: 2007/05/29
522    Description:
523    
524    Added FSQRT instructions for the AMD64 code generator.
525    
526    ----------------------------------------------------------------------
527    Name: Matthias Blume (http://www.tti-c.org/blume/)
528    Date: 2007/05/29 19:00:00 CDT
529    Description:
530    
531    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
532    with an explicit test for zero division.  This should fixes several
533    regressions and makes it possible for downstream optimization phases
534    to treat these operations as "pure" when they are applied to unsigned
535    operands.
536    
537    ----------------------------------------------------------------------
538    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
539    Date: 2007/05/29
540    Description:
541    
542    Added the new MLRISC code generator for the AMD64.  This version,
543    in contrast to the previous one, uses SSE registers and instructions
544    for all floating-point computations.
545    
546    ----------------------------------------------------------------------
547    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
548    Date: 2007/05/29
549    Description:
550    
551    A number of fixes related to the formatting of dates.  These include fixes
552    for bugs #1415 and #1416.  We also now correctly handle format characters that
553    lie outside the specified set.
554    
555    ----------------------------------------------------------------------
556    Name: Matthias Blume (http://www.tti-c.org/blume/)
557    Date: 2007/05/23 22:30:00 CDT
558    Description:
559    
560    CMB (and CM) now automatically defines the CM "preprocessor" symbol
561    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
562    
563      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
564       CM_SLAVE_MODE is defined in attached slaves while running CM.make
565       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
566       while running CMB.make.  The point is that the single symbol
567       NO_PLUGINS is definde in all three cases.)
568    
569    I changed the three locations within the sources that get compiled
570    during CMB.make where ml-yacc or ml-lex input is processed: When
571    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
572    is bypassed.
573    
574    When bootstrapping new versions of the compiler, there can be
575    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
576    are not available or otherwise not operational.  In this case one can
577    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
578    do so, the following command should be issued at the interactive
579    prompt:
580    
581       #set (CMB.symval "NO_PLUGINS") (SOME 1);
582    
583    A CMB.make with NO_PLUGINS defined relies on the existence of the
584    files that normally would be generated by ml-yacc and ml-lex.
585    (Copies of these files are in the repository.)
586    
587    ----------------------------------------------------------------------
588    Name: David MacQueen (dbm@cs.uchicago.edu)
589    Date: 2007/5/23 17:23:00 CDT
590    Revision: 2603
591    Description:
592    
593    2nd merge of base from primop-branch-3 into the trunk.
594    Additional bug fixes included:
595     Date.scan and Date.fromString fixed;
596     Overloading resolution fixed and some type printing problems corrected.
597    
598    ----------------------------------------------------------------------
599    Name: Matthias Blume (http://www.tti-c.org/blume/)
600    Date: 2007/05/23 09:50:00 CDT
601    Description:
602    
603    Changed the installation mechanism for CM tool plugins.  These are
604    just libaries and now get installed like ordinary libaries.
605    
606    There are now a number of new installation targets that give some
607    fine-grain control over what classes and suffixes are known, and what
608    they will map to.
609    See config/targets for details.
610    
611    The code that caused plugin installation as part of running a
612    tool's "build" script has been removed.  (The build script is for
613    building, not for installing.)
614    
615    ----------------------------------------------------------------------
616    Name: Matthias Blume (http://www.tti-c.org/blume/)
617    Date: 2007/05/22 11:50:00 CDT
618    Description:
619    
620    Added a boolean control named cm.tolerate-tool-failures (env. variable
621    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
622    CM fail if a shell tool reports a non-success exit status.  If
623    the control is set to true, then CM will press on after tool failures
624    in the event that the target files exist (even though they are
625    considered outdated).  Turning the control to true can be useful for
626    bootstrapping.
627    
628    ----------------------------------------------------------------------
629    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
630    Date: 2007/05/19
631    Description:
632    
633    Merge of ml-lpt revisions for 110.64.
634    
635    The name of several ml-lpt-lib modules has changed:
636      Repair        => AntlrRepair
637      StreamPos     => AntlrStreamPos
638      ErrHandlerFn  => AntlrErrHandler
639      EBNF          => AntlrEBNF
640    
641    The ml-antlr specification format has changed: declarations such as
642    %tokens and nonterminal definitions can occur *multiple* times in the
643    same specification.  The semantics are such that each new declaration
644    extends the previous ones.  This does not apply to %start or %name,
645    of course.
646    
647    Importing a grammar via %import now includes *all* declarations in from
648    the imported grammar, except for %name, %entry, and %start.  Tokens
649    and nonterminals can be dropped using the new %dropping clause of the
650    %import directive; the separate %drop and %extend have been removed.
651    
652    We now allow optional type annotations on nonterminals, using the %nonterms
653    directive as in ml-yacc.
654    
655    The refcell construct is now implemented using SML's regular reference
656    cells, so the :== and !! notation has been deprecated.
657    
658    The ml-antlr tool now does much more checking of specifications, and
659    its error messages have been greatly improved.  Error repair for
660    generated parsers has been completely rewritten, and is now both
661    much faster and more accurate.
662    
663    ml-ulex is now more lenient with escape codes (non-SML-standard
664    escape codes are now interpreted literally, so e.g. \| denotes "|").
665    Also, character classes may now include a "-" character at the beginning
666    as is standard in most other regexp tools.
667    
668    All of these changes are documented in the user guide, which has
669    been updated and improved with this merge.
670    
671    ----------------------------------------------------------------------
672    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
673    Date: 2007/05/03
674    Revision: r2492
675    Description:
676    
677    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
678    Significant changes in FLINT and the front end, mostly having to do
679    with a reorganized system for handling primops.  Various bug fixes
680    and improvements in printing signatures.
681    
682    ----------------------------------------------------------------------
683    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
684    Date: 2007/05/02
685    Description:
686    
687    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
688    The ml-antlr specification format has changed: declarations such as
689    %tokens and nonterminal definitions can occur *multiple* times in the
690    same specification.  The semantics are such that each new declaration
691    extends the previous ones.  Grammar extension constructs have also
692    changed.  We now allow type annotations on nonterminals.  Finally,
693    the refcell construct is now implemented using SML's regular reference
694    cells, so the :== and !! notation has been deprecated.  All of these
695    changes will appear in the 110.64 user guide for ml-lpt.
696    
697    The ml-antlr tool now does much more checking of specifications, and
698    its error messages have been greatly improved.  There has also been
699    some work on the error repair process for generated parsers, but this
700    will be further improved in 110.64.
701    
702    ----------------------------------------------------------------------
703    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
704    Date: 2007/04/24
705    Description:
706    
707    More Basis fixes: The Char.fromString (etc.) functions did not handle
708    the "\uxxxx" escape sequence.  There is still an outstanding bug with
709    String.fromString the tail is a format escape.  I added a comment to
710    this effect in Basis/Implementation/string.sml.
711    Thanks to Andreas Rossberg.
712    
713    ----------------------------------------------------------------------
714    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
715    Date: 2007/04/24
716    Description:
717    
718    Added next function to Fifo and Queue modules in the SML/NJ Library.
719    
720    ----------------------------------------------------------------------
721    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
722    Date: 2007/04/23
723    Description:
724    
725    More Basis fixes: Time.fmt dropped the leading "~" for negative time
726    values that had no whole part.
727    
728    ----------------------------------------------------------------------
729    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
730    Date: 2007/04/23
731    Description:
732    
733    More Basis fixes: the OS.Path module did not include the InvalidArc
734    exception and did not do sufficient argument checking.
735    Thanks to Stephen Weeks and Adam Chilpala.
736    
737    ----------------------------------------------------------------------
738    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
739    Date: 2007/04/16
740    Description:
741    
742    Fixed an unbound functor bug in the AMD64 CM file.
743    
744    ----------------------------------------------------------------------
745    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
746    Date: 2007/04/12
747    Description:
748    
749    Substantially changed the signature and implementation of AMD64
750    SVID.  It now looks similar to the ia32 SVID, yet uses staged
751    allocation.
752    
753    ----------------------------------------------------------------------
754    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
755    Date: 2007/04/07
756    Description:
757    
758    More Basis fixes: the WORD signature was missing {to,from}Large.
759    Thanks to Andreas Rossberg.
760    
761    ----------------------------------------------------------------------
762    Name: Matthias Blume (http://www.tti-c.org/blume/)
763    Date: 2007/03/22 16:07:00 CDT
764    Tag: release-110.63
765    Description:
766    
767    Bumped version number to 110.63.
768    
769       !!!NEW BOOTFILES!!!
770    
771    ----------------------------------------------------------------------
772    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
773    Date: 2007/03/19
774    Description:
775    
776    Fixed bogus operand sizes in AMD64 instruction spilling.
777    
778    ----------------------------------------------------------------------
779    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
780    Date: 2007/03/19
781    Description:
782    
783    Fixed a number of inconsistencies between the Posix.TTY structure
784    and the Basis specification.  Thanks to Adam Chilpala.
785    
786    ----------------------------------------------------------------------
787    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
788    Date: 2007/02/26
789    Description:
790    
791    Added preliminary support in MLRISC for Staged Allocation, a technique
792    for specifying calling conventions (see
793    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
794    Initially, we plan to use this code to generate C calls for the AMD64.
795    
796    The staged allocation code base resides in MLRISC/staged-allocation,
797    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
798    
799    ----------------------------------------------------------------------
800    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
801    Date: 2007/02/20
802    Description:
803    
804      Bug fix: when SaveCState was called with two values to save, a subsequent
805      GC could cause the RestoreCState to fail because the saved state had been
806      promoted to tagless pair.
807    
808    ----------------------------------------------------------------------
809    Name: Allen Leung (leunga (at) reservoir (dot) com)
810    Date: 2007/02/20 19:08:00 EST
811    Description:
812    
813        Bug triggered by:
814    
815        val a1 = Word8Array.array(a1, 0w0);
816        val _  = Word8Array.update(a1, 0, 0w128);
817    
818        x86MCEmitter crashed when the immediate operand to MOVB was outside
819    of the range -128 ... 127.  I've changed the code so that the range
820    check is disabled.   Only the low order 8 bits of the immediate operand
821    are now significant.
822    
823    
824    ----------------------------------------------------------------------
825    Name: Matthias Blume (http://www.tti-c.org/blume/)
826    Date: 2007/02/15 09:20:00 CST
827    Description:
828    
829    Eliminated any mention of lexgen.  (Lexgen was an early precursor
830    to ml-ulex.)
831    
832    You should update your admin directory, so the shell scripts for
833    maintaining your local copy of the repository reflect this change.
834    
835    ----------------------------------------------------------------------
836    Name: Matthias Blume (http://www.tti-c.org/blume/)
837    Date: 2007/02/14 15:45:00 CST
838    Description:
839    
840    Fixed bug in CM's parallel make facility that failed to have
841    the master re-link modules after letting slaves compile them.
842    
843    ----------------------------------------------------------------------
844    Name: Matthias Blume (http://www.tti-c.org/blume/)
845    Date: 2007/02/12 15:10:00 CST
846    Description:
847    
848    Fixed typo in ml-build script that prevented library anchors
849    from being registered.
850    
851    ----------------------------------------------------------------------
852    Name: Matthias Blume (http://www.tti-c.org/blume/)
853    Date: 2007/02/02 15:20:00 CST
854    Tag: release-110.62
855    Description:
856    
857    New working release (110.62).  NEW BOOTFILES!
858    
859    ----------------------------------------------------------------------
860    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
861    Date: 2007/01/31
862    Description:
863    
864    Brought ml-lpt manual up-to-date with the code.  Many minor
865    improvements to the tools, and a few minor bugfixes.  Prepared
866    ml-lpt-lib for integration with new UTF8 structure.  Changed
867    the interface for creating streams in ml-ulex (we now support
868    stream creation from several kinds of sources).  Overall, the
869    tools are now quite stable, and their interfaces are unlikely to
870    change in a way that would break compatibility.  More work,
871    however, is needed in the documentation.
872    
873    ----------------------------------------------------------------------
874    Name: Matthias Blume (http://www.tti-c.org/blume/)
875    Date: 2007/02/01 10:05:00 CST
876    Description:
877    
878    Implemented library installer.  Moved CM plugin code for
879    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
880    their respective trees.  Implemented CM plugin for ml-ulex
881    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
882    and ml-antlr.
883    
884    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
885    CM tools.  (It turns out to be too messy to do otherwise because
886    there is too much code that during installation relies on the presence
887    of these tools -- resulting in a tricky ordering problem.)
888    
889    ----------------------------------------------------------------------
890    Name: Matthias Blume (http://www.tti-c.org/blume/)
891    Date: 2007/01/30 11:05:00 CST
892    Description:
893    
894    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
895    Modified CM's startup code to use shiftArgs as it processes
896    command line arguments.  This way, the init code in each .sml-file
897    or library that is mentioned at the top level will see only
898    those arguments that have not yet been processed at this point.
899    In other words, the init code can "seize control" and process the
900    remaining command line.
901    
902    ----------------------------------------------------------------------
903    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
904    Date: 2007/01/30
905    Description:
906    
907    Added fromList function to the ORD_SET interface and lookup to the
908    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
909    
910    ----------------------------------------------------------------------
911    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
912    Date: 2007/01/28
913    Description:
914    
915    Added the UTF8 structure and signature from the Moby compiler to
916    the SML/NJ library (and the CML library).  These modules will replace
917    the version in the ml-lpt-lib.
918    
919    ----------------------------------------------------------------------
920    Name: Matthias Blume (http://www.tti-c.org/blume/)
921    Date: 2007/01/26 15:10:00 CST
922    Description:
923    
924    Added entries to handle ml-lpt-lib.cm in installer.
925    
926    ----------------------------------------------------------------------
927    Name: Matthias Blume (http://www.tti-c.org/blume/)
928    Date: 2006/12/15 11:10:00 CST
929    Tag: release-110.61
930    Description:
931    
932    New working release (110.61).  NEW BOOTFILES!
933    
934    This supersedes the pre-brown-paper-bug release (see below).
935    
936    ----------------------------------------------------------------------
937    Name: Matthias Blume (http://www.tti-c.org/blume/)
938    Date: 2006/12/15 11:00:00 CST
939    Description:
940    
941    Fixed brown-paper-bag bug with CM's pathname handling, which made
942    installation fail under Win32.
943    
944    ----------------------------------------------------------------------
945    Name: Matthias Blume (http://www.tti-c.org/blume/)
946    Date: 2006/12/14 12:00:00 CST
947    Description:
948    
949    Obsolete!
950    
951    [New working release (110.61).  NEW BOOTFILES!]
952    
953    ----------------------------------------------------------------------
954    Name: John Reppy (http://cs.uchicago.edu/~jhr)
955    Date: 2006/14/06 09:50:00 CST
956    Description:
957    
958    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
959    get the c_cc termios data copied correctly.  Also moved the allocation
960    of the string to avoid problems if it caused a GC.
961    
962    Thanks to Timothy Bourke for the bug report and fix.
963    
964    ----------------------------------------------------------------------
965    Name: Matthias Blume (http://www.tti-c.org/blume)
966    Date: 2006/12/08 09:50:00 CST
967    Description:
968    
969    Added code to CM's "standard shell tool" implementation which
970    causes it to tolerate (with a warning) the situation where the shell
971    command fails (e.g., due to the shell command's non-existence)
972    as long as all target files exist.
973    
974    This makes it possible to, e.g., build ml-yacc from sources even if
975    svn checkout messed up the time stamps on files in such a way that
976    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
977    be needed to re-process yacc.grm, but obviously it might not yet be
978    available at that time.)
979    
980    ----------------------------------------------------------------------
981    Name: John Reppy (http://cs.uchicago.edu/~jhr)
982    Date: 2006/12/06 12:06:00 CST
983    Description:
984    
985    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
986    recvVecFromNB' in the SOCKET signature.  This error is actually
987    in the SML Basis specification too.
988    
989    ----------------------------------------------------------------------
990    Name: Matthias Blume (http://www.tti-c.org/blume/)
991    Date: 2006/12/05 22:40:00 CST
992    Description:
993    
994    CM now reports undefined anchors as errors and aborts execution
995    rather than silently pressing on using bogus values.
996    
997    ----------------------------------------------------------------------
998    Name: Matthias Blume (http://www.tti-c.org/blume/)
999    Date: 2006/11/29 10:00:00 CST
1000    Description:
1001    
1002    Use Say.vsay for printing the "[autoloading]" message, so
1003    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
1004    to suppress them.
1005    
1006    ----------------------------------------------------------------------
1007    Name: Matthias Blume (http://www.tti-c.org/blume/)
1008    Date: 2006/11/10 11:00:00 CST
1009    Description:
1010    
1011    Fixed bug in CM where "with:" specifications that affect compilation
1012    (as opposed to parsing) were ignored.
1013    
1014    ----------------------------------------------------------------------
1015    Name: Matthias Blume (http://www.tti-c.org/blume/)
1016    Date: 2006/11/09 14:30:00 CST
1017    Tag: release-110.60
1018    Description:
1019    
1020    New working release (110.60).  NEW BOOTFILES!
1021    
1022    This is the first subversion-hosted release.  There are also changes
1023    to the directory layout.  Here is a table:
1024    
1025    (All pathnames are relative to the SML/NJ "root" directory.)
1026    
1027      config -> config
1028    
1029      src/cm -> base/cm
1030      src/compiler -> base/compiler
1031      src/runtime -> base/runtime
1032      src/system -> base/system
1033    
1034      src/cm/pgraph -> pgraph
1035    
1036      src/READMES -> base/READMES
1037      src/$notefile -> base/NOTES/$notefile
1038         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
1039                           MACOSXINSTALL WININSTALL
1040    
1041      src/smlnj-lib -> smlnj-lib
1042      src/MLRISC -> MLRISC
1043      ckit -> ckit
1044      src/cml -> cml
1045      src/eXene -> eXene
1046      src/heap2asm -> heap2asm
1047      src/lexgen -> lexgen
1048      src/ml-burg -> ml-burg
1049      src/ml-lex -> ml-lex
1050      src/ml-yacc -> ml-yacc
1051      src/ml-nlffi-lib -> nlffi/lib
1052      src/ml-nlffigen -> nlffi/gen
1053      src/smlnj-c -> smlnj-c
1054      src/tools/TraceDebugProf -> trace-debug-profile
1055    
1056    In addition, there is also a new
1057    
1058      ml-lpt
1059    
1060    directory containing two new program generator tools: ml-ulex and
1061    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
1062    LL(k) parser generator). These tools are currently "beta-quality"
1063    
1064    The latest versios of the sources can now be obtained anonymously
1065    via subversion.  For this, it is useful to first check out
1066    
1067       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
1068    
1069    and put the resulting directory on your shell's PATH.  This provides
1070    access to three shell scripts: checkout-all.sh, stat-all.sh,
1071    and refresh-all.sh.
1072    
1073    To create a freshly checked-out copy of the sources, do
1074    
1075       checkout-all.sh [dir]
1076    
1077    where dir is the optional SML/NJ root directory (default is ".").
1078    
1079    This creates the above directory layout.  Each subdirectory of
1080    the root is under individual subversion control.  The stat-all.sh
1081    and refresh-al.sh scripts apply "svn stat" or "svn update" to
1082    each of these subtrees.
1083    
1084    ----------------------------------------------------------------------
1085    Name: Matthias Blume (http://www.tti-c.org/blume/)
1086    Date: 2006/11/02 12:20:00 CST
1087    Description:
1088    
1089    Reorganized directory layout.
1090    
1091    This is a temporary solution, more reorganization is to come.
1092    
1093    The basic idea is to have a number of toplevel trees, each corresponding
1094    to a well-defined part of the overall system.  Each part can be
1095    maintained individually, even in separate source repositories,
1096    although currently we still serve everything out of the main
1097    smlnj-gforge tree.
1098    
1099    Installer and and scripts have been updated to reflect the new
1100    layout.  The installer (base/src/system/smlnj/installer) is now
1101    "scriptable" to avoid burning too much knowledge about the
1102    layout into SML source code.  The main script used by the installer
1103    is in config/actions.
1104    
1105    The main change is that many of the subdirectories of what used to
1106    be known as "src" have moved to the toplevel.  The "src" directory
1107    itself has moved down into a subtree called "base".  (We may eventually
1108    get rid of the extra level of indirection represented by "src".)
1109    
1110    The layout is now as follows:
1111    
1112      toplevel tree name | default repository
1113                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
1114      -------------------+----------------------------------------------------
1115      config             | $gf/config/trunk
1116                         |
1117      base               | $gf/sml/trunk
1118                         |
1119      smlnj-lib          | $gf/smlnj-lib/trunk
1120      MLRISC             | $gf/MLRISC/trunk
1121                         |
1122      ml-yacc            | $gf/ml-yacc/trunk
1123      ml-lex             | $gf/ml-lex/trunk
1124      ml-burg            | $gf/ml-burg/trunk
1125      lexgen             | $gf/lexgen/trunk
1126      heap2asm           | $gf/heap2asm/trunk
1127                         |
1128      cml                | $gf/cml/trunk
1129      eXene              | $gf/eXene/trunk
1130      ckit               | $gf/ckit/trunk
1131      nlffi              | $gf/nlffi/trunk
1132                         |
1133      smlnj-c            | $gf/smlnj-c/trunk
1134    
1135    In $gf/admin there are a few useful shell scripts for checking out
1136    and maintaining the entire collection of trees:
1137    
1138       admin/checkout-all.sh [dir]
1139          -- optionally creates dir and checks out all trees from their
1140             default repositories; if dir is missing, checkout into .
1141       admin/refresh-all.sh [dir]
1142          -- looks at all trees (from the above list) in dir (default: .)
1143             and runs "svn update" if the tree exists and is under
1144             subversion control;
1145             non-existing or non-subversion trees are skipped
1146       admin/stat-all.sh [dir]
1147          -- like refresh-all.sh, but runs "svn stat" instead
1148    
1149    ----------------------------------------------------------------------
1150    Name: Matthias Blume (http://www.tti-c.org/blume/)
1151    Date: 2006/10/05 11:30:00 CDT
1152    Tag: blume-20061005-merge-amd64
1153    Description:
1154    
1155    Merged code for AMD64 backend (Mike Rainey's work).
1156    Everything is hooked up but untested.
1157    
1158    ----------------------------------------------------------------------
1159    Name: Matthias Blume (http://www.tti-c.org/blume/)
1160    Date: 2006/05/17 14:00:00 CST
1161    Tag: Release_110_59
1162    Description:
1163    
1164    New working version (110.59).  NEW BOOTFILES!
1165    
1166    I am freezing 110.59.  Changes other than the version-number increase:
1167    
1168      eXene:
1169    
1170         * committed changes to eXene from Alley Stoughton:
1171             "fixed bugs in X authorization and resource handling, as well
1172              as in the pile and viewport widgets"
1173    
1174      Runtime:
1175        * fixed linking problem with NetBSD 3.x.
1176    
1177      Lexgen:
1178        * lexgen tool handles non-ascii characters in 7-bit mode the same
1179          way that ml-lex does
1180    
1181        * lexgen propagates exceptions the same way that ml-lex does
1182    
1183      CML:
1184        * Fixed a bug in the SyncVar polling functions (iGetPoll,
1185          mTakePoll, and mGetPoll) that could lead to livelock.
1186    
1187    ----------------------------------------------------------------------
1188    Name: Matthias Blume (http://www.tti-c.org/blume/)
1189    Date: 2006/05/12 15:20:00 CST
1190    Tag: blume-20060515-makedepend
1191    Description:
1192    
1193    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
1194    way.  This should hopefully fix the ml-makedepend problem permanently.
1195    
1196    ----------------------------------------------------------------------
1197    Name: Matthias Blume (http://www.tti-c.org/blume/)
1198    Date: 2006/05/12 15:15:00 CST
1199    Tag: blume-20060512-makedepend
1200    Description:
1201    
1202    Fixed long-standing bug with ml-makedepend where it would output a
1203    spurious dependency to a non-existing file.  (This is a simple fix.
1204    It might need further looking into.)
1205    
1206    ----------------------------------------------------------------------
1207    Name: Matthias Blume (http://www.tti-c.org/blume/)
1208    Date: 2006/04/20 10:30:00 CDT
1209    Tag: blume-20060420-heap2exec
1210    Description:
1211    
1212    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
1213    that enable heap2exec under Linux and FreeBSD.
1214    
1215    ----------------------------------------------------------------------
1216    Name: John Reppy
1217    Date: 2006/04/14
1218    Tag:
1219    Description:
1220    
1221    MLRISC changes:
1222      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
1223      2) added support for NOTB and XORB operators in pseudo-op expressions
1224      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
1225      4) added support for 64-bit integer literals
1226    
1227    ----------------------------------------------------------------------
1228    Name: Matthias Blume (http://www.tti-c.org/blume/)
1229  Date: yyyy/mm/dd  Date: yyyy/mm/dd
1230  Tag: <post-commit CVS tag>  Tag: Release_110_58
1231    Description:
1232    
1233    New working version (110.58).  NEW BOOTFILES!
1234    
1235    ----------------------------------------------------------------------
1236    Name: Matthias Blume (http://www.tti-c.org/blume/)
1237    Date: 2006/03/01 22:15:00 CST
1238    Tag: blume-20060301-lexgen
1239    Description:
1240    
1241    Incorporated several bugfixes to lexgen.  Compiler now compiles to
1242    fixpoint when using lexgen instead of ml-lex.
1243    
1244    ----------------------------------------------------------------------
1245    Name: Matthias Blume (http://www.tti-c.org/blume/)
1246    Date: 2006/02/28 22:45:00 CST
1247    Tag: blume-20060228-lexgen
1248    Description:
1249    
1250    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
1251    provided tarball.  The generated lexers still have problems.
1252    
1253    ----------------------------------------------------------------------
1254    Name: Matthias Blume (http://www.tti-c.org/blume/)
1255    Date: 2006/02/26 23:30:00 CST
1256    Tag: blume-20060226-ml-flex
1257    Description:
1258    
1259    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
1260    of ml-flex on by default.
1261    
1262    ----------------------------------------------------------------------
1263    Name: Matthias Blume (http://www.tti-c.org/blume/)
1264    Date: 2006/02/24 16:30:00 CST
1265    Tag: blume-20060224-ml-flex
1266    Description:
1267    
1268    Added ml-flex sources.  Partially integrated, but should not be
1269    turned on yet!  (Read: leave it commented-out in config/targets!)
1270    
1271    ----------------------------------------------------------------------
1272    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1273    Date: 2006/02/23
1274    Tag: jhr-20060223-x86-64
1275    Description:
1276    Changes to support building on x86-64 systems (using the 32-bit mode).
1277    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
1278    kernels dropped.
1279    
1280    ----------------------------------------------------------------------
1281    Name: Allen Leung (leunga (at) reservoir (dot) com)
1282    Date: 2006/02/22 15:07:00 EST
1283    Tag: leunga-20060222-mdl-gen
1284    Description:
1285    
1286      CM has changed.  Updated the script for rebuilding the MLRISC generated
1287    files.
1288    
1289    ----------------------------------------------------------------------
1290    Name: Matthias Blume (http://www.tti-c.org/blume/)
1291    Date: 2006/02/14 17:30:00 CST
1292    Tag: blume-20060214-intel-mac
1293    Description:
1294    
1295    Hooked code for Darwin-specific Intel ABI into main compiler.
1296    (This is a temporary solution which relies on the fact that the
1297    compiler itself does not use NLFFI.  Eventually we need to divorce
1298    intel mac from generic x86 unix code and make separate sets of binaries.)
1299    
1300    ----------------------------------------------------------------------
1301    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1302    Date: 2006/02/13
1303    Tag: jhr-20060213-intel-mac
1304    Description:
1305    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
1306    
1307    ----------------------------------------------------------------------
1308    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1309    Date: 2006/02/06
1310    Tag: jhr-20060206-intel-mac
1311    Description:
1312    Changes to support MacOS X on Intel hardware.  The C-calls support in
1313    MLRISC must also be updated to support the MacOS X ABI.
1314    
1315    ----------------------------------------------------------------------
1316    Name: Matthias Blume (http://www.tti-c.org/blume/)
1317    Date: 2005/12/16 00:15:00 CST
1318    Tag: blume-20051216-cm
1319    Description:
1320    
1321    Improved error reporting and handling in CM.
1322    
1323    ----------------------------------------------------------------------
1324    Name: Matthias Blume (http://www.tti-c.org/blume/)
1325    Date: 2005/11/21 14:00:00 CST
1326    Tag: blume-20051121-html-lib
1327    Description:
1328    
1329    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
1330    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
1331    at the time when config/preloads is processed, the library has to
1332    be referred to by another name.  In 110.57 this would be
1333    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
1334    to be valid as well.)
1335    
1336    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
1337    
1338    ----------------------------------------------------------------------
1339    Name: Matthias Blume (http://www.tti-c.org/blume/)
1340    Date: 2005/11/19 13:45:00 CST
1341    Tag: Release_110_57
1342    Description:
1343    
1344    Moved release tag for 110.57.
1345    
1346    ----------------------------------------------------------------------
1347    Name: Matthias Blume (http://www.tti-c.org/blume/)
1348    Date: 2005/11/19 23:35:00 CST
1349    Tag: blume-20051119-fish
1350    Description:
1351    
1352    Fixed a problem in config/install.sh where it tries to "fish" the
1353    name of the CM metadata directory from the wrong place (because
1354    the physical location of basis.cm has changed).  Also, corrected the
1355    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
1356    these problems.)
1357    
1358    ----------------------------------------------------------------------
1359    Name: Matthias Blume (http://www.tti-c.org/blume/)
1360    Date: 2005/11/16 14:30:00 CST
1361    Tag: blume-orig-110_57
1362    Description:
1363    
1364    New working version (110.57).  NEW BOOTFILES!
1365    
1366    UPDATE: The release tag has been moved to include a fix for a brown-paper-
1367            bag glitch (see above).
1368    
1369    ----------------------------------------------------------------------
1370    Name: Matthias Blume (http://www.tti-c.org/blume/)
1371    Date: 2005/11/16 10:25:00 CST
1372    Tag: blume-22051116-btrace
1373    Description:
1374    
1375    Fixed problem with bogus exception message when using back-trace
1376    facility.
1377    
1378    ----------------------------------------------------------------------
1379    Name: Matthias Blume (http://www.tti-c.org/blume/)
1380    Date: 2005/11/15 22:35:00 CST
1381    Tag: blume-22051115-array2copy
1382    Description:
1383    
1384    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
1385    
1386    ----------------------------------------------------------------------
1387    Name: Matthias Blume (http://www.tti-c.org/blume/)
1388    Date: 2005/11/15 21:35:00 CST
1389    Tag: blume-22051115-versiontool
1390    Description:
1391    
1392    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
1393    file gets loaded as a tool -- by the equivalent of CM.make during the
1394    run of CMB.make.  Thus, CMB's path configuration is meaningless for
1395    it.  Instead, it has the status of "user code", so it should use
1396    $/basis.cm to refer to the Basis library.  (At least that's true for
1397    the purpose of bootstrapping the previous change.  In the future it
1398    might make sense to have versiontool.cm refer to
1399    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
1400    compiler itself uses.)
1401    
1402    Also patched src/system/testml to have it activate those extra anchor
1403    bindings in config/extrapathconfig.
1404    
1405    ----------------------------------------------------------------------
1406    Name: Matthias Blume (http://www.tti-c.org/blume/)
1407    Date: 2005/11/15 16:35:00 CST
1408    Tag: blume-22051115-libraries
1409    Description:
1410    
1411    This change affects the way the following libraries are tied into
1412    the system:
1413    
1414       $/basis.cm
1415       $/smlnj-lib.cm
1416       $/pp-lib.cm
1417       $/controls-lib.cm
1418       $/html-lib.cm
1419       $/ml-yacc-lib.cm
1420    
1421    These libraries are now internally (as seen from the source code
1422    of the implementation itself) known by the following names:
1423    
1424       $smlnj/basis/basis.cm
1425       $smlnj/smlnj-lib/smlnj-lib.cm
1426       $smlnj/smlnj-lib/pp-lib.cm
1427       $smlnj/smlnj-lib/controls-lib.cm
1428       $smlnj/smlnj-lib/html-lib.cm
1429       $smlnj/ml-yacc/ml-yacc-lib.cm
1430    
1431    This makes it possible to work with code that requires different
1432    versions of these libraries, and which refers to these libraries using
1433    their "default" names (i.e., the first set of names above).  In other
1434    words, one can un-define or re-define those default names without
1435    compromising the proper functioning of the compiler itself.
1436    
1437    A similar procedure had already been performed for several of the
1438    MLRISC libraries that are linked into the compiler.  I did some
1439    cleanup on this code.
1440    
1441    A new file in the config directory (named extrapathconfig) is
1442    responsible for setting up path anchors that the compiler itself does
1443    not need, but that are typically required by user code.
1444    
1445    ----------------------------------------------------------------------
1446    Name: Matthias Blume
1447    Date: 2005/11/07 17:05:00 CST
1448    Tag: blume-20051107-slice
1449    Description:
1450    
1451    Fixed erroneous out-of-bounds test in the "update" function of
1452    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
1453    out the problem.)
1454    
1455    Pushed some Basis changes through ML-Lex, CML, and eXene.
1456    
1457    ----------------------------------------------------------------------
1458    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1459    Date: 2005/11/07
1460    Description:
1461    Fixed a Basis incompatibility: The depreciated function Substring.all
1462    was removed (use Substring.full instead).
1463    
1464    ----------------------------------------------------------------------
1465    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1466    Date: 2005/11/05
1467    Description:
1468    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
1469    
1470    ----------------------------------------------------------------------
1471    Name: Matthias Blume (http://www.tti-c.org/blume/)
1472    Date: 2005/11/02 16:25:00 CST
1473    Tag: blume-20051102-hex
1474    Description:
1475    
1476    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
1477      in either upper case or lower case format.
1478    * Pushed changes to names of Pack<N>{Big,Little} structures through
1479      CML and eXene.
1480    
1481    ----------------------------------------------------------------------
1482    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1483    Date: 2005/11/02
1484    Description:
1485    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
1486    be called PackWord<N>{Big,Little}.
1487    
1488    ----------------------------------------------------------------------
1489    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1490    Date: 2005/10/28
1491    Description:
1492    Fixed a minor Basis incompatibility: hex digits should be upper case.
1493    
1494    ----------------------------------------------------------------------
1495    Name: Matthias Blume (blume (at) tti - c (dot) org)
1496    Date: 2005/10/25 16:00:00 CDT
1497    Tag: Release_110_56
1498    Description:
1499    
1500    New working version (110.56).  NEW BOOTFILES!
1501    
1502    ----------------------------------------------------------------------
1503    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1504    Date: 2005/10/25
1505  Description:  Description:
1506    Added interval sets to utility library (signatures INTERVAL_DOMAIN
1507    and INTERVAL_SET, and functor IntervalSetFn).
1508    
1509  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1510  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)

Legend:
Removed from v.1838  
changed lines
  Added in v.3467

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