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

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