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

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