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

SCM Repository

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

Diff of /sml/trunk/NOTES/HISTORY

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

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

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

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