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

Legend:
Removed from v.1662  
changed lines
  Added in v.2676

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