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

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