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

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