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 1613, Wed Aug 11 03:35:58 2004 UTC sml/trunk/NOTES/HISTORY revision 3524, Tue Mar 23 18:42:11 2010 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    Here is a test entry
17    
18    ----------------------------------------------------------------------
19    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
20    Date: 2010/03/23
21    Description:
22    
23    Fixed the bug with Win32 calls to OS.Process.system not quoting the string.
24    
25    ----------------------------------------------------------------------
26    Name: Jon Riehl (http://jonriehl.com/)
27    Date: 2010/02/11
28    Description:
29    
30    Applied patch for building on more recent NetBSD's.  See bug #39 in the
31    tracker:
32    
33    http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=39&group_id=33&atid=215
34    
35    ----------------------------------------------------------------------
36    Name: Jon Riehl (http://jonriehl.com/)
37    Date: 2010/02/02
38    Description:
39    
40    Cutting version 110.72.  New bootfiles.
41    
42    ----------------------------------------------------------------------
43    Name John Reppy (http://cs.uchicago.edu/~jhr)
44    Date 2009/12/20
45    Description:
46    
47    Fixed performance bugs in List module by making @ and foldr be
48    tail recursive.
49    
50    ----------------------------------------------------------------------
51    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
52    Date: 2009/12/11
53    Description:
54    
55    Fixed the Win32 unable to print long strings bug.
56    ----------------------------------------------------------------------
57    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
58    Date: 2009/12/10
59    Description:
60    
61    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
62    for alignment padding added during copy to the to-space to overrun the allocated
63    size.
64    ----------------------------------------------------------------------
65    Name John Reppy (http://cs.uchicago.edu/~jhr)
66    Date 2009/11/18
67    Description:
68    
69    The ml-antlr and ml-ulex programs have been ported to build under
70    mlton.
71    
72    ----------------------------------------------------------------------
73    Name John Reppy (http://cs.uchicago.edu/~jhr)
74    Date 2009/11/17
75    Description:
76    
77    Added %header directive to the ml-ulex scanner generator.  Also
78    updated the documentation.
79    
80    ----------------------------------------------------------------------
81    Name John Reppy (http://cs.uchicago.edu/~jhr)
82    Date 2009/11/17
83    Description:
84    
85    Added "@SMLsuffix" flag to sml command.  This can be used to get
86    the suffix for heap files.
87    
88    ----------------------------------------------------------------------
89    Name John Reppy (http://cs.uchicago.edu/~jhr)
90    Date 2009/11/17
91    Description:
92    
93    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
94    
95    ----------------------------------------------------------------------
96    Name John Reppy (http://cs.uchicago.edu/~jhr)
97    Date 2009/11/10
98    Description:
99    
100    Added %header directive to the ml-antlr parser generator.  Also
101    updated the documentation.
102    
103    ----------------------------------------------------------------------
104    Name: Jon Riehl (http://www.jonriehl.com/)
105    Date: 2009/09/16
106    Description:
107    
108    Cutting version 110.71.  New bootfiles.
109    
110    ----------------------------------------------------------------------
111    Name John Reppy (http://cs.uchicago.edu/~jhr)
112    Date 2009/09/13
113    Description:
114    
115    Changes to support compiling the runtime system on Mac OS X 10.6
116    (aka Snow Leopard).
117    
118    ----------------------------------------------------------------------
119    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
120    Date 2009/08/19
121    Description:
122    
123    Fixed a bug in the register-spill generator that is part of the MLRISC
124    register allocator. The problem was that the code in RASpillWithRenaming
125    functor assumed incorrectly that dedicated registers would appear in
126    def/use information generated by ClusterRA. Thanks to Allen Leung for
127    helping with this bug.
128    
129    ----------------------------------------------------------------------
130    Name John Reppy (http://cs.uchicago.edu/~jhr)
131    Date 2009/07/09
132    Description:
133    
134    Removed redundant implementations of various top-level operations by
135    consolidating them in base/system/smlnj/init/pervasive.sml.  This
136    change also fixes a bug in that the top-level version of round was
137    incorrect.
138    
139    ----------------------------------------------------------------------
140    Name: Matthias Blume (http://www.tti-c.org/blume/)
141    Date: 2009/06/15 11:17:00 CDT
142    Description:
143    
144    Bumped version number to 110.70.  New bootfiles.
145    
146    ----------------------------------------------------------------------
147    Name: Matthias Blume (http://www.tti-c.org/blume/)
148    Date: 2009/06/12 11:02:00 CDT
149    Description:
150    
151    1. Corrected problem in config/actions that led to the so-called
152       "unpickling bug" which appeared in version 110.68.
153    
154    2. Provided fix for the 64-bit pattern match bug.
155    
156    ----------------------------------------------------------------------
157    Name John Reppy (http://cs.uchicago.edu/~jhr)
158    Date 2009/03/21
159    Description:
160    
161    Fixed bug in Int32.fmt when the argument was the minimum int and the
162    radix was something other than DEC.
163    
164    ----------------------------------------------------------------------
165    Name Aaron Turon (turon@ccs.neu.edu)
166    Date 2009/02/21
167    Description:
168    
169    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
170    
171    ----------------------------------------------------------------------
172    Name: Jon Riehl (http://www.jonriehl.com/)
173    Date: 2009/01/13
174    Description:
175    
176    Picking up some additional fixes for 110.69, including a fix for
177    spaces in CM file paths.
178    
179    ----------------------------------------------------------------------
180    Name: Jon Riehl (http://www.jonriehl.com/)
181    Date: 2008/12/22
182    Description:
183    
184    Version bumped to 110.69.  New bootfiles.
185    
186    ----------------------------------------------------------------------
187    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
188    Date: 2008/12/06
189    Description:
190    
191    Re-enabled some CPS optimizations (first_contract and eta).  The most
192    important effect of this change is to make uses of SMLofNJ.Cont.capture
193    be properly tail recursive.
194    
195    ----------------------------------------------------------------------
196    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
197    Date: 2008/12/03
198    Description:
199    
200    New concurrency-related instructions for x86 and amd64 code
201    generators.
202      - PAUSE: Notify the CPU that the program is spin waiting.
203      - MFENCE: memory fence for reads and writes.
204      - SFENCE: memory fence for writes.
205      - LFENCE: memory fence for reads.
206    
207    ----------------------------------------------------------------------
208    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
209    Date: 2008/12/02
210    Description:
211    
212    Added makefile and other support for building runtime on OpenBSD.
213    
214    ----------------------------------------------------------------------
215    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
216    Date: 2008/08/13
217    Description:
218    
219    Version bumped to 110.68.  New bootfiles.
220    
221    ----------------------------------------------------------------------
222    Name Aaron Turon (turon@ccs.neu.edu)
223    Date 2008/08/11
224    Description:
225    
226    Minor fix to ml-ulex backend for regexps that match any character
227    and perform a single action.  Previously the emitted code would
228    not allow the regexps to match any character at all.
229    
230    ----------------------------------------------------------------------
231    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
232    Date: 2008/08/05
233    Description:
234    
235    Added build support for OpenBSD (thanks to Brian O'Hanlon).
236    
237    ----------------------------------------------------------------------
238    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
239    Date: 2008/07/12
240    Description:
241    
242    Fixed Int64.fromString to use base-10.
243    
244    ----------------------------------------------------------------------
245    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
246    Date: 2008/04/12
247    Description:
248    
249    Various updates to the ml-lpt tree.  The documentation has been updated;
250    bugs in the parsing of negation and character classes in ml-ulex have
251    been fixed; and changes have been made to make the ml-lpt tools more
252    compatible with MLton (and other SML implementations).  Thanks to
253    Matthew Fluet and Aaron Turon for their patches.
254    
255    ----------------------------------------------------------------------
256    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
257    Date: 2008/20/04
258    Description:
259    
260    Implemented timer-based profiling on Windows, with behavior as close
261    to the *nix ITIMER-based profiling as possible.
262    ----------------------------------------------------------------------
263    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
264    Date: 2008/07/04
265    Description:
266    
267    Finished off the Windows subset of the basis library. Added process
268    support and various configuration and system identification utils.
269    ----------------------------------------------------------------------
270    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
271    Date: 2008/03/18
272    Description:
273    
274    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
275    ----------------------------------------------------------------------
276    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
277    Date: 2008/02/14
278    Description:
279    
280    Added the Windows Status structure
281    ----------------------------------------------------------------------
282    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
283    Date: 2008/02/14
284    Description:
285    
286    Added the Windows DDE structure
287    ----------------------------------------------------------------------
288    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
289    Date: 2008/02/05
290    Description:
291    
292    Added the Windows Config structure
293    ----------------------------------------------------------------------
294    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
295    Date: 2008/01/31
296    Description:
297    
298    Added outline of the Windows basis library and the basic registry
299    functionality.
300    ----------------------------------------------------------------------
301    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
302    Date: 2008/01/23
303    Description:
304    
305    Fixed the amd64 code generator to compile with the current MLRISC.
306    ----------------------------------------------------------------------
307    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
308    Date: 2007/11/26
309    Description:
310    
311    nlffi was updated to work on Windows. It needed to pass in the correct
312    value for the name of the kernel32 DLL to obtain 'base' bindings.
313    Additionally updated the README for the most basic nlffi sample with
314    what you need to do on MacOSX and on Windows to make it work.
315    ----------------------------------------------------------------------
316    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
317    Date: 2007/11/21
318    Description:
319    
320    Overwrite the SMLNJ_HOME environment variable on installation
321    Properly change the package code so that subsequent version
322    installations prompt for uninstall (instead of 'repair/remove')
323    ----------------------------------------------------------------------
324    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
325    Date: 2007/11/14
326    Description:
327    
328    Cleaned up WININSTALL file for new MSI-based setup.
329    ----------------------------------------------------------------------
330    Name: Matthias Blume (http://www.tti-c.org/blume/)
331    Date: 2007/11/13 14:05:00 CST
332    Description:
333    
334    Version bumped to 110.67.  New bootfiles.
335    
336    ----------------------------------------------------------------------
337    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
338    Date: 2007/11/12
339    Description:
340    
341    Ensure that the size of the allocation space is at least 128K.
342    ----------------------------------------------------------------------
343    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
344    Date: 2007/11/05
345    Description:
346    
347    Fixed type error in ml-lpt library that occurs when compiling
348    against a basis that was compiled with the USE_64_BIT_POSITIONS
349    symbol set.
350    (Thanks to Johannes Joemann)
351    ----------------------------------------------------------------------
352    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
353    Date: 2007/11/03
354    Description:
355    
356    Fixed the amd64 code generator to compile with the current MLRISC.
357    ----------------------------------------------------------------------
358    Name: Lars Bergstrom (web page or e-mail)
359    Date: 2007/11/02
360    Description:
361    
362    Made sml.bat more resilient to either not having run the installer
363    and having no SMLNJ_HOME set or having just shuffled the directory
364    around.
365    ----------------------------------------------------------------------
366    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
367    Date: 2007/11/01
368    Description:
369    
370    A collection of bug fixes for machine.sml in the Reactive library.
371    (Thanks to Timothy Bourke)
372    ----------------------------------------------------------------------
373    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
374    Date: 2007/10/28
375    Description:
376    
377    Patches for Mac OS X 10.5 (Leopard).
378    ----------------------------------------------------------------------
379    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
380    Date: 2007/10/28
381    Description:
382    
383    Fixed some bugs in the AMD64 floating-point spilling code.
384    ----------------------------------------------------------------------
385    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
386    Date: 2007/10/25
387    Description:
388    
389    Added support for the atomic XCHG instruction.
390    ----------------------------------------------------------------------
391    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
392    Date: 2007/10/22
393    Description:
394    
395    Added AMD64 support for floating-point negation.
396    ----------------------------------------------------------------------
397    Name: Lars Bergstrom (web page or e-mail)
398    Date: 2007/10/22
399    Description:
400    
401    Fixed ^C handling in Windows
402    Added a Windows installer
403    Made it possible to build for Windows on a mapped drive from Parallels
404    ----------------------------------------------------------------------
405    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
406    Date: 2007/10/22
407    Description:
408    
409    Added AMD64 support for the atomic fetch and add instruction.
410    ----------------------------------------------------------------------
411    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
412    Date: 2007/10/18
413    Description:
414    
415    The GAS output now favors p2align over align, since the
416    former is guaranteed to be consistent over multiple architectures
417    and the latter is not.
418    ----------------------------------------------------------------------
419    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
420    Date: 2007/10/18
421    Description:
422    
423    Fixed a bug in register spilling.
424    ----------------------------------------------------------------------
425    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
426    Date: 2007/10/2
427    Description:
428    
429    Added demo support for AMD64 for quick testing and fixed support for
430    64-bit label constants.
431    ----------------------------------------------------------------------
432    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
433    Date: 2007/09/20
434    Description:
435    
436    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
437    instruction.
438    ----------------------------------------------------------------------
439    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
440    Date: 2007/09/17
441    Description:
442    
443    Fixed an instruction-selection bug when loading 64-bit labels.
444    
445    ----------------------------------------------------------------------
446    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
447    Date: 2007/09/14
448    Description:
449    
450    Fixed Elaborator and Translate performance bugs
451    
452    ----------------------------------------------------------------------
453    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
454    Date: 2007/09/12
455    Description:
456    
457    Fixed xorl memory argument bug.
458    
459    ----------------------------------------------------------------------
460    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
461    Date: 2007/07/27
462    Description:
463    
464    Added f64sgn (for Real64.signBit) as a primop defined
465    in MLRiscGen. signBit(~0.0) not handled correctly.
466    
467    ----------------------------------------------------------------------
468    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
469    Date: 2007/06/21
470    Description:
471    
472    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
473    signal end of stream.
474    
475    ----------------------------------------------------------------------
476    Name: Matthias Blume (http://www.tti-c.org/blume/)
477    Date: 2007/06/12 11:22:00 CDT
478    Description:
479    
480    Eliminated config/allsources.  The information is now drawn directly
481    from config/actions.
482    
483    ----------------------------------------------------------------------
484    Name: Matthias Blume (http://www.tti-c.org/blume/)
485    Date: 2007/06/07 23:30:00 CDT
486    Tag: release-110.65
487    Description:
488    
489    Version 110.65. NEW BOOTFILES!
490    
491    ----------------------------------------------------------------------
492    Name: Matthias Blume (http://www.tti-c.org/blume/)
493    Date: 2007/06/06 21:45:00 CDT
494    Description:
495    
496    - Aaron: fixed a number of bugs in ml-ulex.
497    - Matthias:
498       - added CM control "cm.force-tools"; this is false by default;
499         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
500         will be forced to run regardless of whether or not their targets
501         are up-to-date
502       - changed installer code so that config/install.sh will re-build
503         heap images for all tools even if those heap images already existed
504    
505    ----------------------------------------------------------------------
506    Name: Matthias Blume (http://www.tti-c.org/blume/)
507    Date: 2007/06/04 21:21:00 CDT
508    Description:
509    
510    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
511    in legacy mode), re-ran the lexer generator on all lex input files
512    and committed the results.
513    
514    This should fix the problem with ckit and nlffi that was reported
515    by Vesa A. Norrman.
516    
517    ----------------------------------------------------------------------
518    Name: Matthias Blume (http://www.tti-c.org/blume/)
519    Date: 2007/05/31 11:40:00 CDT
520    Tag: release-110.64
521    Description:
522    
523    Version 110.64. NEW BOOTFILES!
524    
525    ----------------------------------------------------------------------
526    Name: Dave MacQueen (dbm@cs.uchicago.edu)
527    Date: 2007/05/31 14:55:00 CDT
528    Revision: 2650
529    Description:
530    
531    3rd merge of base from primop-branch-3 into the trunk.
532    Additional bug fixes included:
533    
534     * Timer.cpu_timer, etc. type printing corrected (by making
535         Timer have opaque sig constraint in basis/Implementation/timer.sml)
536     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
537         Stefan Monnier)
538    
539    ----------------------------------------------------------------------
540    Name: Matthias Blume (http://www.tti-c.org/blume/)
541    Date: 2007/05/31 11:40:00 CDT
542    Description:
543    
544    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
545    
546    Also, changed the handling of "no core access":  When translate.sml
547    needs access to a core exception at a time when the core has not
548    been set up yet (this only happens when compiling system/smlnj/init/*),
549    then don't bother generating the corresponding tests.
550    
551    The old scheme was to generate a bogus value to be used in place of
552    the exception.  Unfortunately, that confuses the plambda type checker.
553    Moreover, it does not do any good, because at runtime we don't expect
554    such an exception to be ever raised.  (The code in system/smlnj/init/*
555    has to be written very carefully with this in mind!)
556    
557    ----------------------------------------------------------------------
558    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
559    Date: 2007/05/29
560    Description:
561    
562    Added FSQRT instructions for the AMD64 code generator.
563    
564    ----------------------------------------------------------------------
565    Name: Matthias Blume (http://www.tti-c.org/blume/)
566    Date: 2007/05/29 19:00:00 CDT
567    Description:
568    
569    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
570    with an explicit test for zero division.  This should fixes several
571    regressions and makes it possible for downstream optimization phases
572    to treat these operations as "pure" when they are applied to unsigned
573    operands.
574    
575    ----------------------------------------------------------------------
576    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
577    Date: 2007/05/29
578    Description:
579    
580    Added the new MLRISC code generator for the AMD64.  This version,
581    in contrast to the previous one, uses SSE registers and instructions
582    for all floating-point computations.
583    
584    ----------------------------------------------------------------------
585    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
586    Date: 2007/05/29
587    Description:
588    
589    A number of fixes related to the formatting of dates.  These include fixes
590    for bugs #1415 and #1416.  We also now correctly handle format characters that
591    lie outside the specified set.
592    
593    ----------------------------------------------------------------------
594    Name: Matthias Blume (http://www.tti-c.org/blume/)
595    Date: 2007/05/23 22:30:00 CDT
596    Description:
597    
598    CMB (and CM) now automatically defines the CM "preprocessor" symbol
599    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
600    
601      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
602       CM_SLAVE_MODE is defined in attached slaves while running CM.make
603       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
604       while running CMB.make.  The point is that the single symbol
605       NO_PLUGINS is definde in all three cases.)
606    
607    I changed the three locations within the sources that get compiled
608    during CMB.make where ml-yacc or ml-lex input is processed: When
609    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
610    is bypassed.
611    
612    When bootstrapping new versions of the compiler, there can be
613    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
614    are not available or otherwise not operational.  In this case one can
615    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
616    do so, the following command should be issued at the interactive
617    prompt:
618    
619       #set (CMB.symval "NO_PLUGINS") (SOME 1);
620    
621    A CMB.make with NO_PLUGINS defined relies on the existence of the
622    files that normally would be generated by ml-yacc and ml-lex.
623    (Copies of these files are in the repository.)
624    
625    ----------------------------------------------------------------------
626    Name: David MacQueen (dbm@cs.uchicago.edu)
627    Date: 2007/5/23 17:23:00 CDT
628    Revision: 2603
629    Description:
630    
631    2nd merge of base from primop-branch-3 into the trunk.
632    Additional bug fixes included:
633     Date.scan and Date.fromString fixed;
634     Overloading resolution fixed and some type printing problems corrected.
635    
636    ----------------------------------------------------------------------
637    Name: Matthias Blume (http://www.tti-c.org/blume/)
638    Date: 2007/05/23 09:50:00 CDT
639    Description:
640    
641    Changed the installation mechanism for CM tool plugins.  These are
642    just libaries and now get installed like ordinary libaries.
643    
644    There are now a number of new installation targets that give some
645    fine-grain control over what classes and suffixes are known, and what
646    they will map to.
647    See config/targets for details.
648    
649    The code that caused plugin installation as part of running a
650    tool's "build" script has been removed.  (The build script is for
651    building, not for installing.)
652    
653    ----------------------------------------------------------------------
654    Name: Matthias Blume (http://www.tti-c.org/blume/)
655    Date: 2007/05/22 11:50:00 CDT
656    Description:
657    
658    Added a boolean control named cm.tolerate-tool-failures (env. variable
659    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
660    CM fail if a shell tool reports a non-success exit status.  If
661    the control is set to true, then CM will press on after tool failures
662    in the event that the target files exist (even though they are
663    considered outdated).  Turning the control to true can be useful for
664    bootstrapping.
665    
666    ----------------------------------------------------------------------
667    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
668    Date: 2007/05/19
669    Description:
670    
671    Merge of ml-lpt revisions for 110.64.
672    
673    The name of several ml-lpt-lib modules has changed:
674      Repair        => AntlrRepair
675      StreamPos     => AntlrStreamPos
676      ErrHandlerFn  => AntlrErrHandler
677      EBNF          => AntlrEBNF
678    
679    The ml-antlr specification format has changed: declarations such as
680    %tokens and nonterminal definitions can occur *multiple* times in the
681    same specification.  The semantics are such that each new declaration
682    extends the previous ones.  This does not apply to %start or %name,
683    of course.
684    
685    Importing a grammar via %import now includes *all* declarations in from
686    the imported grammar, except for %name, %entry, and %start.  Tokens
687    and nonterminals can be dropped using the new %dropping clause of the
688    %import directive; the separate %drop and %extend have been removed.
689    
690    We now allow optional type annotations on nonterminals, using the %nonterms
691    directive as in ml-yacc.
692    
693    The refcell construct is now implemented using SML's regular reference
694    cells, so the :== and !! notation has been deprecated.
695    
696    The ml-antlr tool now does much more checking of specifications, and
697    its error messages have been greatly improved.  Error repair for
698    generated parsers has been completely rewritten, and is now both
699    much faster and more accurate.
700    
701    ml-ulex is now more lenient with escape codes (non-SML-standard
702    escape codes are now interpreted literally, so e.g. \| denotes "|").
703    Also, character classes may now include a "-" character at the beginning
704    as is standard in most other regexp tools.
705    
706    All of these changes are documented in the user guide, which has
707    been updated and improved with this merge.
708    
709    ----------------------------------------------------------------------
710    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
711    Date: 2007/05/03
712    Revision: r2492
713    Description:
714    
715    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
716    Significant changes in FLINT and the front end, mostly having to do
717    with a reorganized system for handling primops.  Various bug fixes
718    and improvements in printing signatures.
719    
720    ----------------------------------------------------------------------
721    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
722    Date: 2007/05/02
723    Description:
724    
725    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
726    The ml-antlr specification format has changed: declarations such as
727    %tokens and nonterminal definitions can occur *multiple* times in the
728    same specification.  The semantics are such that each new declaration
729    extends the previous ones.  Grammar extension constructs have also
730    changed.  We now allow type annotations on nonterminals.  Finally,
731    the refcell construct is now implemented using SML's regular reference
732    cells, so the :== and !! notation has been deprecated.  All of these
733    changes will appear in the 110.64 user guide for ml-lpt.
734    
735    The ml-antlr tool now does much more checking of specifications, and
736    its error messages have been greatly improved.  There has also been
737    some work on the error repair process for generated parsers, but this
738    will be further improved in 110.64.
739    
740    ----------------------------------------------------------------------
741    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
742    Date: 2007/04/24
743    Description:
744    
745    More Basis fixes: The Char.fromString (etc.) functions did not handle
746    the "\uxxxx" escape sequence.  There is still an outstanding bug with
747    String.fromString the tail is a format escape.  I added a comment to
748    this effect in Basis/Implementation/string.sml.
749    Thanks to Andreas Rossberg.
750    
751    ----------------------------------------------------------------------
752    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
753    Date: 2007/04/24
754    Description:
755    
756    Added next function to Fifo and Queue modules in the SML/NJ Library.
757    
758    ----------------------------------------------------------------------
759    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
760    Date: 2007/04/23
761    Description:
762    
763    More Basis fixes: Time.fmt dropped the leading "~" for negative time
764    values that had no whole part.
765    
766    ----------------------------------------------------------------------
767    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
768    Date: 2007/04/23
769    Description:
770    
771    More Basis fixes: the OS.Path module did not include the InvalidArc
772    exception and did not do sufficient argument checking.
773    Thanks to Stephen Weeks and Adam Chilpala.
774    
775    ----------------------------------------------------------------------
776    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
777    Date: 2007/04/16
778    Description:
779    
780    Fixed an unbound functor bug in the AMD64 CM file.
781    
782    ----------------------------------------------------------------------
783    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
784    Date: 2007/04/12
785    Description:
786    
787    Substantially changed the signature and implementation of AMD64
788    SVID.  It now looks similar to the ia32 SVID, yet uses staged
789    allocation.
790    
791    ----------------------------------------------------------------------
792    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
793    Date: 2007/04/07
794    Description:
795    
796    More Basis fixes: the WORD signature was missing {to,from}Large.
797    Thanks to Andreas Rossberg.
798    
799    ----------------------------------------------------------------------
800    Name: Matthias Blume (http://www.tti-c.org/blume/)
801    Date: 2007/03/22 16:07:00 CDT
802    Tag: release-110.63
803    Description:
804    
805    Bumped version number to 110.63.
806    
807       !!!NEW BOOTFILES!!!
808    
809    ----------------------------------------------------------------------
810    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
811    Date: 2007/03/19
812    Description:
813    
814    Fixed bogus operand sizes in AMD64 instruction spilling.
815    
816    ----------------------------------------------------------------------
817    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
818    Date: 2007/03/19
819    Description:
820    
821    Fixed a number of inconsistencies between the Posix.TTY structure
822    and the Basis specification.  Thanks to Adam Chilpala.
823    
824    ----------------------------------------------------------------------
825    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
826    Date: 2007/02/26
827    Description:
828    
829    Added preliminary support in MLRISC for Staged Allocation, a technique
830    for specifying calling conventions (see
831    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
832    Initially, we plan to use this code to generate C calls for the AMD64.
833    
834    The staged allocation code base resides in MLRISC/staged-allocation,
835    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
836    
837    ----------------------------------------------------------------------
838    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
839    Date: 2007/02/20
840    Description:
841    
842      Bug fix: when SaveCState was called with two values to save, a subsequent
843      GC could cause the RestoreCState to fail because the saved state had been
844      promoted to tagless pair.
845    
846    ----------------------------------------------------------------------
847    Name: Allen Leung (leunga (at) reservoir (dot) com)
848    Date: 2007/02/20 19:08:00 EST
849    Description:
850    
851        Bug triggered by:
852    
853        val a1 = Word8Array.array(a1, 0w0);
854        val _  = Word8Array.update(a1, 0, 0w128);
855    
856        x86MCEmitter crashed when the immediate operand to MOVB was outside
857    of the range -128 ... 127.  I've changed the code so that the range
858    check is disabled.   Only the low order 8 bits of the immediate operand
859    are now significant.
860    
861    
862    ----------------------------------------------------------------------
863    Name: Matthias Blume (http://www.tti-c.org/blume/)
864    Date: 2007/02/15 09:20:00 CST
865    Description:
866    
867    Eliminated any mention of lexgen.  (Lexgen was an early precursor
868    to ml-ulex.)
869    
870    You should update your admin directory, so the shell scripts for
871    maintaining your local copy of the repository reflect this change.
872    
873    ----------------------------------------------------------------------
874    Name: Matthias Blume (http://www.tti-c.org/blume/)
875    Date: 2007/02/14 15:45:00 CST
876    Description:
877    
878    Fixed bug in CM's parallel make facility that failed to have
879    the master re-link modules after letting slaves compile them.
880    
881    ----------------------------------------------------------------------
882    Name: Matthias Blume (http://www.tti-c.org/blume/)
883    Date: 2007/02/12 15:10:00 CST
884    Description:
885    
886    Fixed typo in ml-build script that prevented library anchors
887    from being registered.
888    
889    ----------------------------------------------------------------------
890    Name: Matthias Blume (http://www.tti-c.org/blume/)
891    Date: 2007/02/02 15:20:00 CST
892    Tag: release-110.62
893    Description:
894    
895    New working release (110.62).  NEW BOOTFILES!
896    
897    ----------------------------------------------------------------------
898    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
899    Date: 2007/01/31
900    Description:
901    
902    Brought ml-lpt manual up-to-date with the code.  Many minor
903    improvements to the tools, and a few minor bugfixes.  Prepared
904    ml-lpt-lib for integration with new UTF8 structure.  Changed
905    the interface for creating streams in ml-ulex (we now support
906    stream creation from several kinds of sources).  Overall, the
907    tools are now quite stable, and their interfaces are unlikely to
908    change in a way that would break compatibility.  More work,
909    however, is needed in the documentation.
910    
911    ----------------------------------------------------------------------
912    Name: Matthias Blume (http://www.tti-c.org/blume/)
913    Date: 2007/02/01 10:05:00 CST
914    Description:
915    
916    Implemented library installer.  Moved CM plugin code for
917    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
918    their respective trees.  Implemented CM plugin for ml-ulex
919    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
920    and ml-antlr.
921    
922    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
923    CM tools.  (It turns out to be too messy to do otherwise because
924    there is too much code that during installation relies on the presence
925    of these tools -- resulting in a tricky ordering problem.)
926    
927    ----------------------------------------------------------------------
928    Name: Matthias Blume (http://www.tti-c.org/blume/)
929    Date: 2007/01/30 11:05:00 CST
930    Description:
931    
932    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
933    Modified CM's startup code to use shiftArgs as it processes
934    command line arguments.  This way, the init code in each .sml-file
935    or library that is mentioned at the top level will see only
936    those arguments that have not yet been processed at this point.
937    In other words, the init code can "seize control" and process the
938    remaining command line.
939    
940    ----------------------------------------------------------------------
941    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
942    Date: 2007/01/30
943    Description:
944    
945    Added fromList function to the ORD_SET interface and lookup to the
946    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
947    
948    ----------------------------------------------------------------------
949    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
950    Date: 2007/01/28
951    Description:
952    
953    Added the UTF8 structure and signature from the Moby compiler to
954    the SML/NJ library (and the CML library).  These modules will replace
955    the version in the ml-lpt-lib.
956    
957    ----------------------------------------------------------------------
958    Name: Matthias Blume (http://www.tti-c.org/blume/)
959    Date: 2007/01/26 15:10:00 CST
960    Description:
961    
962    Added entries to handle ml-lpt-lib.cm in installer.
963    
964    ----------------------------------------------------------------------
965    Name: Matthias Blume (http://www.tti-c.org/blume/)
966    Date: 2006/12/15 11:10:00 CST
967    Tag: release-110.61
968    Description:
969    
970    New working release (110.61).  NEW BOOTFILES!
971    
972    This supersedes the pre-brown-paper-bug release (see below).
973    
974    ----------------------------------------------------------------------
975    Name: Matthias Blume (http://www.tti-c.org/blume/)
976    Date: 2006/12/15 11:00:00 CST
977    Description:
978    
979    Fixed brown-paper-bag bug with CM's pathname handling, which made
980    installation fail under Win32.
981    
982    ----------------------------------------------------------------------
983    Name: Matthias Blume (http://www.tti-c.org/blume/)
984    Date: 2006/12/14 12:00:00 CST
985    Description:
986    
987    Obsolete!
988    
989    [New working release (110.61).  NEW BOOTFILES!]
990    
991    ----------------------------------------------------------------------
992    Name: John Reppy (http://cs.uchicago.edu/~jhr)
993    Date: 2006/14/06 09:50:00 CST
994    Description:
995    
996    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
997    get the c_cc termios data copied correctly.  Also moved the allocation
998    of the string to avoid problems if it caused a GC.
999    
1000    Thanks to Timothy Bourke for the bug report and fix.
1001    
1002    ----------------------------------------------------------------------
1003    Name: Matthias Blume (http://www.tti-c.org/blume)
1004    Date: 2006/12/08 09:50:00 CST
1005    Description:
1006    
1007    Added code to CM's "standard shell tool" implementation which
1008    causes it to tolerate (with a warning) the situation where the shell
1009    command fails (e.g., due to the shell command's non-existence)
1010    as long as all target files exist.
1011    
1012    This makes it possible to, e.g., build ml-yacc from sources even if
1013    svn checkout messed up the time stamps on files in such a way that
1014    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
1015    be needed to re-process yacc.grm, but obviously it might not yet be
1016    available at that time.)
1017    
1018    ----------------------------------------------------------------------
1019    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1020    Date: 2006/12/06 12:06:00 CST
1021    Description:
1022    
1023    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
1024    recvVecFromNB' in the SOCKET signature.  This error is actually
1025    in the SML Basis specification too.
1026    
1027    ----------------------------------------------------------------------
1028    Name: Matthias Blume (http://www.tti-c.org/blume/)
1029    Date: 2006/12/05 22:40:00 CST
1030    Description:
1031    
1032    CM now reports undefined anchors as errors and aborts execution
1033    rather than silently pressing on using bogus values.
1034    
1035    ----------------------------------------------------------------------
1036    Name: Matthias Blume (http://www.tti-c.org/blume/)
1037    Date: 2006/11/29 10:00:00 CST
1038    Description:
1039    
1040    Use Say.vsay for printing the "[autoloading]" message, so
1041    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
1042    to suppress them.
1043    
1044    ----------------------------------------------------------------------
1045    Name: Matthias Blume (http://www.tti-c.org/blume/)
1046    Date: 2006/11/10 11:00:00 CST
1047    Description:
1048    
1049    Fixed bug in CM where "with:" specifications that affect compilation
1050    (as opposed to parsing) were ignored.
1051    
1052    ----------------------------------------------------------------------
1053    Name: Matthias Blume (http://www.tti-c.org/blume/)
1054    Date: 2006/11/09 14:30:00 CST
1055    Tag: release-110.60
1056    Description:
1057    
1058    New working release (110.60).  NEW BOOTFILES!
1059    
1060    This is the first subversion-hosted release.  There are also changes
1061    to the directory layout.  Here is a table:
1062    
1063    (All pathnames are relative to the SML/NJ "root" directory.)
1064    
1065      config -> config
1066    
1067      src/cm -> base/cm
1068      src/compiler -> base/compiler
1069      src/runtime -> base/runtime
1070      src/system -> base/system
1071    
1072      src/cm/pgraph -> pgraph
1073    
1074      src/READMES -> base/READMES
1075      src/$notefile -> base/NOTES/$notefile
1076         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
1077                           MACOSXINSTALL WININSTALL
1078    
1079      src/smlnj-lib -> smlnj-lib
1080      src/MLRISC -> MLRISC
1081      ckit -> ckit
1082      src/cml -> cml
1083      src/eXene -> eXene
1084      src/heap2asm -> heap2asm
1085      src/lexgen -> lexgen
1086      src/ml-burg -> ml-burg
1087      src/ml-lex -> ml-lex
1088      src/ml-yacc -> ml-yacc
1089      src/ml-nlffi-lib -> nlffi/lib
1090      src/ml-nlffigen -> nlffi/gen
1091      src/smlnj-c -> smlnj-c
1092      src/tools/TraceDebugProf -> trace-debug-profile
1093    
1094    In addition, there is also a new
1095    
1096      ml-lpt
1097    
1098    directory containing two new program generator tools: ml-ulex and
1099    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
1100    LL(k) parser generator). These tools are currently "beta-quality"
1101    
1102    The latest versios of the sources can now be obtained anonymously
1103    via subversion.  For this, it is useful to first check out
1104    
1105       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
1106    
1107    and put the resulting directory on your shell's PATH.  This provides
1108    access to three shell scripts: checkout-all.sh, stat-all.sh,
1109    and refresh-all.sh.
1110    
1111    To create a freshly checked-out copy of the sources, do
1112    
1113       checkout-all.sh [dir]
1114    
1115    where dir is the optional SML/NJ root directory (default is ".").
1116    
1117    This creates the above directory layout.  Each subdirectory of
1118    the root is under individual subversion control.  The stat-all.sh
1119    and refresh-al.sh scripts apply "svn stat" or "svn update" to
1120    each of these subtrees.
1121    
1122    ----------------------------------------------------------------------
1123    Name: Matthias Blume (http://www.tti-c.org/blume/)
1124    Date: 2006/11/02 12:20:00 CST
1125    Description:
1126    
1127    Reorganized directory layout.
1128    
1129    This is a temporary solution, more reorganization is to come.
1130    
1131    The basic idea is to have a number of toplevel trees, each corresponding
1132    to a well-defined part of the overall system.  Each part can be
1133    maintained individually, even in separate source repositories,
1134    although currently we still serve everything out of the main
1135    smlnj-gforge tree.
1136    
1137    Installer and and scripts have been updated to reflect the new
1138    layout.  The installer (base/src/system/smlnj/installer) is now
1139    "scriptable" to avoid burning too much knowledge about the
1140    layout into SML source code.  The main script used by the installer
1141    is in config/actions.
1142    
1143    The main change is that many of the subdirectories of what used to
1144    be known as "src" have moved to the toplevel.  The "src" directory
1145    itself has moved down into a subtree called "base".  (We may eventually
1146    get rid of the extra level of indirection represented by "src".)
1147    
1148    The layout is now as follows:
1149    
1150      toplevel tree name | default repository
1151                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
1152      -------------------+----------------------------------------------------
1153      config             | $gf/config/trunk
1154                         |
1155      base               | $gf/sml/trunk
1156                         |
1157      smlnj-lib          | $gf/smlnj-lib/trunk
1158      MLRISC             | $gf/MLRISC/trunk
1159                         |
1160      ml-yacc            | $gf/ml-yacc/trunk
1161      ml-lex             | $gf/ml-lex/trunk
1162      ml-burg            | $gf/ml-burg/trunk
1163      lexgen             | $gf/lexgen/trunk
1164      heap2asm           | $gf/heap2asm/trunk
1165                         |
1166      cml                | $gf/cml/trunk
1167      eXene              | $gf/eXene/trunk
1168      ckit               | $gf/ckit/trunk
1169      nlffi              | $gf/nlffi/trunk
1170                         |
1171      smlnj-c            | $gf/smlnj-c/trunk
1172    
1173    In $gf/admin there are a few useful shell scripts for checking out
1174    and maintaining the entire collection of trees:
1175    
1176       admin/checkout-all.sh [dir]
1177          -- optionally creates dir and checks out all trees from their
1178             default repositories; if dir is missing, checkout into .
1179       admin/refresh-all.sh [dir]
1180          -- looks at all trees (from the above list) in dir (default: .)
1181             and runs "svn update" if the tree exists and is under
1182             subversion control;
1183             non-existing or non-subversion trees are skipped
1184       admin/stat-all.sh [dir]
1185          -- like refresh-all.sh, but runs "svn stat" instead
1186    
1187    ----------------------------------------------------------------------
1188    Name: Matthias Blume (http://www.tti-c.org/blume/)
1189    Date: 2006/10/05 11:30:00 CDT
1190    Tag: blume-20061005-merge-amd64
1191    Description:
1192    
1193    Merged code for AMD64 backend (Mike Rainey's work).
1194    Everything is hooked up but untested.
1195    
1196    ----------------------------------------------------------------------
1197    Name: Matthias Blume (http://www.tti-c.org/blume/)
1198    Date: 2006/05/17 14:00:00 CST
1199    Tag: Release_110_59
1200    Description:
1201    
1202    New working version (110.59).  NEW BOOTFILES!
1203    
1204    I am freezing 110.59.  Changes other than the version-number increase:
1205    
1206      eXene:
1207    
1208         * committed changes to eXene from Alley Stoughton:
1209             "fixed bugs in X authorization and resource handling, as well
1210              as in the pile and viewport widgets"
1211    
1212      Runtime:
1213        * fixed linking problem with NetBSD 3.x.
1214    
1215      Lexgen:
1216        * lexgen tool handles non-ascii characters in 7-bit mode the same
1217          way that ml-lex does
1218    
1219        * lexgen propagates exceptions the same way that ml-lex does
1220    
1221      CML:
1222        * Fixed a bug in the SyncVar polling functions (iGetPoll,
1223          mTakePoll, and mGetPoll) that could lead to livelock.
1224    
1225    ----------------------------------------------------------------------
1226    Name: Matthias Blume (http://www.tti-c.org/blume/)
1227    Date: 2006/05/12 15:20:00 CST
1228    Tag: blume-20060515-makedepend
1229    Description:
1230    
1231    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
1232    way.  This should hopefully fix the ml-makedepend problem permanently.
1233    
1234    ----------------------------------------------------------------------
1235    Name: Matthias Blume (http://www.tti-c.org/blume/)
1236    Date: 2006/05/12 15:15:00 CST
1237    Tag: blume-20060512-makedepend
1238    Description:
1239    
1240    Fixed long-standing bug with ml-makedepend where it would output a
1241    spurious dependency to a non-existing file.  (This is a simple fix.
1242    It might need further looking into.)
1243    
1244    ----------------------------------------------------------------------
1245    Name: Matthias Blume (http://www.tti-c.org/blume/)
1246    Date: 2006/04/20 10:30:00 CDT
1247    Tag: blume-20060420-heap2exec
1248    Description:
1249    
1250    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
1251    that enable heap2exec under Linux and FreeBSD.
1252    
1253    ----------------------------------------------------------------------
1254    Name: John Reppy
1255    Date: 2006/04/14
1256    Tag:
1257    Description:
1258    
1259    MLRISC changes:
1260      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
1261      2) added support for NOTB and XORB operators in pseudo-op expressions
1262      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
1263      4) added support for 64-bit integer literals
1264    
1265    ----------------------------------------------------------------------
1266    Name: Matthias Blume (http://www.tti-c.org/blume/)
1267  Date: yyyy/mm/dd  Date: yyyy/mm/dd
1268  Tag: <post-commit CVS tag>  Tag: Release_110_58
1269    Description:
1270    
1271    New working version (110.58).  NEW BOOTFILES!
1272    
1273    ----------------------------------------------------------------------
1274    Name: Matthias Blume (http://www.tti-c.org/blume/)
1275    Date: 2006/03/01 22:15:00 CST
1276    Tag: blume-20060301-lexgen
1277    Description:
1278    
1279    Incorporated several bugfixes to lexgen.  Compiler now compiles to
1280    fixpoint when using lexgen instead of ml-lex.
1281    
1282    ----------------------------------------------------------------------
1283    Name: Matthias Blume (http://www.tti-c.org/blume/)
1284    Date: 2006/02/28 22:45:00 CST
1285    Tag: blume-20060228-lexgen
1286    Description:
1287    
1288    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
1289    provided tarball.  The generated lexers still have problems.
1290    
1291    ----------------------------------------------------------------------
1292    Name: Matthias Blume (http://www.tti-c.org/blume/)
1293    Date: 2006/02/26 23:30:00 CST
1294    Tag: blume-20060226-ml-flex
1295    Description:
1296    
1297    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
1298    of ml-flex on by default.
1299    
1300    ----------------------------------------------------------------------
1301    Name: Matthias Blume (http://www.tti-c.org/blume/)
1302    Date: 2006/02/24 16:30:00 CST
1303    Tag: blume-20060224-ml-flex
1304    Description:
1305    
1306    Added ml-flex sources.  Partially integrated, but should not be
1307    turned on yet!  (Read: leave it commented-out in config/targets!)
1308    
1309    ----------------------------------------------------------------------
1310    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1311    Date: 2006/02/23
1312    Tag: jhr-20060223-x86-64
1313    Description:
1314    Changes to support building on x86-64 systems (using the 32-bit mode).
1315    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
1316    kernels dropped.
1317    
1318    ----------------------------------------------------------------------
1319    Name: Allen Leung (leunga (at) reservoir (dot) com)
1320    Date: 2006/02/22 15:07:00 EST
1321    Tag: leunga-20060222-mdl-gen
1322    Description:
1323    
1324      CM has changed.  Updated the script for rebuilding the MLRISC generated
1325    files.
1326    
1327    ----------------------------------------------------------------------
1328    Name: Matthias Blume (http://www.tti-c.org/blume/)
1329    Date: 2006/02/14 17:30:00 CST
1330    Tag: blume-20060214-intel-mac
1331    Description:
1332    
1333    Hooked code for Darwin-specific Intel ABI into main compiler.
1334    (This is a temporary solution which relies on the fact that the
1335    compiler itself does not use NLFFI.  Eventually we need to divorce
1336    intel mac from generic x86 unix code and make separate sets of binaries.)
1337    
1338    ----------------------------------------------------------------------
1339    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1340    Date: 2006/02/13
1341    Tag: jhr-20060213-intel-mac
1342    Description:
1343    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
1344    
1345    ----------------------------------------------------------------------
1346    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1347    Date: 2006/02/06
1348    Tag: jhr-20060206-intel-mac
1349    Description:
1350    Changes to support MacOS X on Intel hardware.  The C-calls support in
1351    MLRISC must also be updated to support the MacOS X ABI.
1352    
1353    ----------------------------------------------------------------------
1354    Name: Matthias Blume (http://www.tti-c.org/blume/)
1355    Date: 2005/12/16 00:15:00 CST
1356    Tag: blume-20051216-cm
1357    Description:
1358    
1359    Improved error reporting and handling in CM.
1360    
1361    ----------------------------------------------------------------------
1362    Name: Matthias Blume (http://www.tti-c.org/blume/)
1363    Date: 2005/11/21 14:00:00 CST
1364    Tag: blume-20051121-html-lib
1365    Description:
1366    
1367    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
1368    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
1369    at the time when config/preloads is processed, the library has to
1370    be referred to by another name.  In 110.57 this would be
1371    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
1372    to be valid as well.)
1373    
1374    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
1375    
1376    ----------------------------------------------------------------------
1377    Name: Matthias Blume (http://www.tti-c.org/blume/)
1378    Date: 2005/11/19 13:45:00 CST
1379    Tag: Release_110_57
1380    Description:
1381    
1382    Moved release tag for 110.57.
1383    
1384    ----------------------------------------------------------------------
1385    Name: Matthias Blume (http://www.tti-c.org/blume/)
1386    Date: 2005/11/19 23:35:00 CST
1387    Tag: blume-20051119-fish
1388    Description:
1389    
1390    Fixed a problem in config/install.sh where it tries to "fish" the
1391    name of the CM metadata directory from the wrong place (because
1392    the physical location of basis.cm has changed).  Also, corrected the
1393    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
1394    these problems.)
1395    
1396    ----------------------------------------------------------------------
1397    Name: Matthias Blume (http://www.tti-c.org/blume/)
1398    Date: 2005/11/16 14:30:00 CST
1399    Tag: blume-orig-110_57
1400    Description:
1401    
1402    New working version (110.57).  NEW BOOTFILES!
1403    
1404    UPDATE: The release tag has been moved to include a fix for a brown-paper-
1405            bag glitch (see above).
1406    
1407    ----------------------------------------------------------------------
1408    Name: Matthias Blume (http://www.tti-c.org/blume/)
1409    Date: 2005/11/16 10:25:00 CST
1410    Tag: blume-22051116-btrace
1411    Description:
1412    
1413    Fixed problem with bogus exception message when using back-trace
1414    facility.
1415    
1416    ----------------------------------------------------------------------
1417    Name: Matthias Blume (http://www.tti-c.org/blume/)
1418    Date: 2005/11/15 22:35:00 CST
1419    Tag: blume-22051115-array2copy
1420    Description:
1421    
1422    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
1423    
1424    ----------------------------------------------------------------------
1425    Name: Matthias Blume (http://www.tti-c.org/blume/)
1426    Date: 2005/11/15 21:35:00 CST
1427    Tag: blume-22051115-versiontool
1428    Description:
1429    
1430    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
1431    file gets loaded as a tool -- by the equivalent of CM.make during the
1432    run of CMB.make.  Thus, CMB's path configuration is meaningless for
1433    it.  Instead, it has the status of "user code", so it should use
1434    $/basis.cm to refer to the Basis library.  (At least that's true for
1435    the purpose of bootstrapping the previous change.  In the future it
1436    might make sense to have versiontool.cm refer to
1437    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
1438    compiler itself uses.)
1439    
1440    Also patched src/system/testml to have it activate those extra anchor
1441    bindings in config/extrapathconfig.
1442    
1443    ----------------------------------------------------------------------
1444    Name: Matthias Blume (http://www.tti-c.org/blume/)
1445    Date: 2005/11/15 16:35:00 CST
1446    Tag: blume-22051115-libraries
1447    Description:
1448    
1449    This change affects the way the following libraries are tied into
1450    the system:
1451    
1452       $/basis.cm
1453       $/smlnj-lib.cm
1454       $/pp-lib.cm
1455       $/controls-lib.cm
1456       $/html-lib.cm
1457       $/ml-yacc-lib.cm
1458    
1459    These libraries are now internally (as seen from the source code
1460    of the implementation itself) known by the following names:
1461    
1462       $smlnj/basis/basis.cm
1463       $smlnj/smlnj-lib/smlnj-lib.cm
1464       $smlnj/smlnj-lib/pp-lib.cm
1465       $smlnj/smlnj-lib/controls-lib.cm
1466       $smlnj/smlnj-lib/html-lib.cm
1467       $smlnj/ml-yacc/ml-yacc-lib.cm
1468    
1469    This makes it possible to work with code that requires different
1470    versions of these libraries, and which refers to these libraries using
1471    their "default" names (i.e., the first set of names above).  In other
1472    words, one can un-define or re-define those default names without
1473    compromising the proper functioning of the compiler itself.
1474    
1475    A similar procedure had already been performed for several of the
1476    MLRISC libraries that are linked into the compiler.  I did some
1477    cleanup on this code.
1478    
1479    A new file in the config directory (named extrapathconfig) is
1480    responsible for setting up path anchors that the compiler itself does
1481    not need, but that are typically required by user code.
1482    
1483    ----------------------------------------------------------------------
1484    Name: Matthias Blume
1485    Date: 2005/11/07 17:05:00 CST
1486    Tag: blume-20051107-slice
1487    Description:
1488    
1489    Fixed erroneous out-of-bounds test in the "update" function of
1490    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
1491    out the problem.)
1492    
1493    Pushed some Basis changes through ML-Lex, CML, and eXene.
1494    
1495    ----------------------------------------------------------------------
1496    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1497    Date: 2005/11/07
1498    Description:
1499    Fixed a Basis incompatibility: The depreciated function Substring.all
1500    was removed (use Substring.full instead).
1501    
1502    ----------------------------------------------------------------------
1503    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1504    Date: 2005/11/05
1505    Description:
1506    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
1507    
1508    ----------------------------------------------------------------------
1509    Name: Matthias Blume (http://www.tti-c.org/blume/)
1510    Date: 2005/11/02 16:25:00 CST
1511    Tag: blume-20051102-hex
1512    Description:
1513    
1514    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
1515      in either upper case or lower case format.
1516    * Pushed changes to names of Pack<N>{Big,Little} structures through
1517      CML and eXene.
1518    
1519    ----------------------------------------------------------------------
1520    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1521    Date: 2005/11/02
1522    Description:
1523    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
1524    be called PackWord<N>{Big,Little}.
1525    
1526    ----------------------------------------------------------------------
1527    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1528    Date: 2005/10/28
1529    Description:
1530    Fixed a minor Basis incompatibility: hex digits should be upper case.
1531    
1532    ----------------------------------------------------------------------
1533    Name: Matthias Blume (blume (at) tti - c (dot) org)
1534    Date: 2005/10/25 16:00:00 CDT
1535    Tag: Release_110_56
1536    Description:
1537    
1538    New working version (110.56).  NEW BOOTFILES!
1539    
1540    ----------------------------------------------------------------------
1541    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1542    Date: 2005/10/25
1543    Description:
1544    Added interval sets to utility library (signatures INTERVAL_DOMAIN
1545    and INTERVAL_SET, and functor IntervalSetFn).
1546    
1547    ----------------------------------------------------------------------
1548    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1549    Date: 2005/10/14
1550    Description:
1551    Add Zhong Shao's fix for datatype equality functions.
1552    
1553    ----------------------------------------------------------------------
1554    Name: Allen Leung (leunga (at) reservoir (dot) com)
1555    Date: 2005/10/14 12:30:00 EST
1556    Tag: leunga-20051014-x86-spill
1557    Description:
1558    
1559    Bug fix a bug found by Carl Hauser.
1560    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
1561    
1562    ----------------------------------------------------------------------
1563    Name: Allen Leung (leunga (at) reservoir (dot) com)
1564    Date: 2005/10/14 11:15:00 EST
1565    Tag: leunga-20051014-x86-asm
1566    Description:
1567    
1568    Removed some debugging code in file x86Asm.sml.
1569    The function emit_operand was printing out debugging output.
1570    
1571    ----------------------------------------------------------------------
1572    Name: John Reppy
1573    Date: 2005/07/27
1574    Tag:
1575    Description:
1576    
1577    Fixed ml-lex to recognize "\r" as representing carriage return.
1578    
1579    ----------------------------------------------------------------------
1580    Name: John Reppy
1581    Date: 2005/07/27
1582    Tag:
1583    Description:
1584    
1585    Fixed ml-yacc to work on files with non-native end-of-line
1586    encodings (e.g., Windows text file on a Unix system).
1587    
1588    ----------------------------------------------------------------------
1589    Name: John Reppy
1590    Date: 2005/07/20
1591    Tag:
1592    Description:
1593    
1594    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
1595    to support HPUX 11.
1596    
1597    ----------------------------------------------------------------------
1598    Name: John Reppy
1599    Date: 2005/07/06
1600    Tag:
1601    Description:
1602    
1603    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
1604    
1605    ----------------------------------------------------------------------
1606    Name: Matthias Blume (blume (at) tti - c (dot) org)
1607    Date: 2005/07/06 00:45:00 CDT
1608    Tag: blume-20050706-slice-copy
1609    Description:
1610    
1611    Fixed reversed logic for deciding whether to "copy up" or "copy down"
1612    in *-array-slice.sml.
1613    
1614    ----------------------------------------------------------------------
1615    Name: Allen Leung (leunga (at) reservoir (dot) com)
1616    Date: 2005/05/31 17:00:00 EST
1617    Tag: leunga-20050531-cygwin-fault-2
1618    Description:
1619    
1620    A typo in the cygwin code fixed.
1621    
1622    ----------------------------------------------------------------------
1623    Name: Allen Leung (leunga (at) reservoir (dot) com)
1624    Date: 2005/05/31 16:47:00 EST
1625    Tag: leunga-20050531-cygwin-fault
1626    Description:
1627    
1628    Updated Cygwin's fault/signal handling to match the Windows version.
1629    Updated the export list.
1630    
1631    ----------------------------------------------------------------------
1632    Name: Matthias Blume (blume (at) tti - c (dot) org)
1633    Date: 2005/05/18 13:35:00 CDT
1634    Tag: Release_110_54
1635    Description:
1636    
1637    New working version (110.54).  NEW BOOTFILES!
1638    
1639    ----------------------------------------------------------------------
1640    Name: Matthias Blume (blume (at) tti - c (dot) org)
1641    Date: 2005/05/18 11:58:00 CDT
1642    Tag: blume-20050518-installer
1643    Description:
1644    
1645    Added support scripts for Mac OS X PackageMaker and modified
1646    config/install.sh so that it supports re-dumping a heap image
1647    after customization.
1648    
1649    ----------------------------------------------------------------------
1650    Name: Matthias Blume (blume (at) tti - c (dot) org)
1651    Date: 2005/05/18 10:55:00 CDT
1652    Tag: blume-20050518-realdiv-noovld
1653    Description:
1654    
1655    Un-overloaded / to work around bug in overloading resolution code.
1656    
1657    ----------------------------------------------------------------------
1658    Name: Matthias Blume (blume (at) tti - c (dot) org)
1659    Date: 2005/05/16 23:50:00 CDT
1660    Tag: blume-20050516-redump-heap
1661    Description:
1662    
1663    Added mechanism for re-creating a heap file for the interactive system
1664    after configuration variables have been changed.
1665    
1666       CM.redump_heap : string -> unit
1667    
1668    This is much like SMLofNJ.exportML, but starting from the resulting
1669    heap does not return to the caller of CM.redump_heap but
1670    restarts the interactive system from scratch.  The original call of
1671    CM.redump_heap does not return but ends the interactive session.
1672    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
1673    
1674    Internally, redump_heap winds the dynamic execution context back to
1675    the point where the original heap image was created and re-executes
1676    the heap image generation code in the boot code.
1677    
1678    ----------------------------------------------------------------------
1679    Name: Matthias Blume (blume (at) tti - c (dot) org)
1680    Date: 2005/05/09 21:55:00 CDT
1681    Tag: blume-20050509-word64
1682    Description:
1683    
1684    Added a hack to the existing hack known as Word64 to make fromString
1685    behave correctly.  I am still not sure whether Word64.scan will work
1686    as specified with respect to the interaction of radix and prefix.
1687    
1688    ----------------------------------------------------------------------
1689    Name: Allen Leung (leunga (at) reservoir (dot) com)
1690    Date: 2005/05/04 11:50:00 EST
1691    Tag: leunga-20050504-checkgc
1692    Description:
1693    
1694    Added a gc protocol checking phase.  This phase is enabled with
1695    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
1696    
1697    ----------------------------------------------------------------------
1698    Name: Matthias Blume (blume (at) tti - c (dot) org)
1699    Date: 2005/05/04 10:45:00 CDT
1700    Tag: blume-20050504-intinf
1701    Description:
1702    
1703    Fixed a bug in the implementation of div and mod for IntInf.
1704    Thanks to Neophytos Michael for reporting the problem.
1705    
1706    ----------------------------------------------------------------------
1707    Name: Matthias Blume (blume (at) tti - c (dot) org)
1708    Date: 2005/05/04 10:35:00 CDT
1709    Tag: blume-20050504-join
1710    Description:
1711    
1712    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
1713    
1714    ----------------------------------------------------------------------
1715    Name: Matthias Blume (blume (at) tti - c (dot) org)
1716    Date: 2005/02/28 23:40:00 CST
1717    Tag: blume-20050228-mVar
1718    Description:
1719    
1720    Fixed serious bug (brown paper bag variety) in new implementation of
1721    structure Atom in CML.  (I had accidentally used a mailbox instead of
1722    an mvar, leaving the door open for races.)
1723    
1724    ----------------------------------------------------------------------
1725    Name: Matthias Blume (blume (at) tti - c (dot) org)
1726    Date: 2005/02/25 15:00:00 CST
1727    Tag: Release_110_53
1728    Description:
1729    
1730    New working version (110.53).  NEW BOOTFILES!
1731    
1732    ----------------------------------------------------------------------
1733    Name: Matthias Blume (blume (at) tti - c (dot) org)
1734    Date: 2005/02/25 14:50:00 CST
1735    Tag: blume-20050225-susp
1736    Description:
1737    
1738    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
1739    implemented in Core -- which means that it is the same as the one used
1740    by the lazy extension.
1741    
1742    ----------------------------------------------------------------------
1743    Name: Matthias Blume (blume (at) tti - c (dot) org)
1744    Date: 2005/02/24 16:50:00 CST
1745    Tag: blume-20050224-cml-atom
1746    Description:
1747    
1748    Simpler and at the same time more general implementation of structure
1749    Atom in CML.
1750    
1751    ----------------------------------------------------------------------
1752    Name: Matthias Blume (blume (at) tti - c (dot) org)
1753    Date: 2005/02/15 17:35:00 CST
1754    Tag: blume-20050215-tools
1755    Description:
1756    
1757    Created new "tools" directory under "src" and moved "TraceDebugProf"
1758    there.
1759    
1760    ----------------------------------------------------------------------
1761    Name: Matthias Blume (blume (at) tti - c (dot) org)
1762    Date: 2005/02/10 17:55:00 CST
1763    Tag: blume-20050210-longlong
1764    Description:
1765    
1766    Implemented "long long" arguments and results for NLFFI.  (Only the
1767    PPC/MacOS implementation is complete, the other backends still need to
1768    be updated.)
1769    
1770    ----------------------------------------------------------------------
1771    Name: Matthias Blume (blume (at) tti - c (dot) org)
1772    Date: 2005/01/24 17:40:00 CST
1773    Tag: blume-20050124-mlyacc
1774    Description:
1775    
1776    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
1777    problem with certain "as" patterns which previously got rendered
1778    using incorrect syntax.
1779    
1780    ----------------------------------------------------------------------
1781    Name: Matthias Blume (blume (at) tti - c (dot) org)
1782    Date: 2005/01/18 12:00:00 CST
1783    Tag: blume-20050118-profile
1784    Description:
1785    
1786    Made time profiling code (interrupt handler) in runtime system aware
1787    of new array representation.
1788    
1789    ----------------------------------------------------------------------
1790    Name: Matthias Blume (blume (at) tti - c (dot) org)
1791    Date: 2005/01/14 18:00:00 CST
1792    Tag: blume-20050114-heap2exec
1793    Description:
1794    
1795    Implemented new (but still experimental) heap2exec facility.  This is
1796    tested under Mac OS X and should work under Linux (will test shortly).
1797    It will probably also work on the Sparc (will test some time later).
1798    
1799      - removed old "HACKED_STANDALONE" hack from runtime
1800    
1801    To be able to test this, uncomment the request for "heap2asm" in
1802    config/targets prior to installation.  (Notice that this is different
1803    from "heap2exec" mentioned below.  Not a typo.)
1804    
1805    To perform an actual test, run the command
1806    
1807       $ bin/heap2exec heapfile execfile
1808    
1809    (You can put heap2exec on your shell's path.)
1810    
1811    For example, run
1812    
1813      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
1814    
1815    This will create a standalone executable called "mly" which you can
1816    then invoke directly as a command.
1817    
1818    ----------------------------------------------------------------------
1819    Name: Matthias Blume (blume (at) tti - c (dot) org)
1820    Date: 2005/01/07 11:44:00 CST
1821    Tag: blume-20050107-mlstring
1822    Description:
1823    
1824    fixed off-by-one error in ML_STRING macro (globals.c)
1825    
1826    ----------------------------------------------------------------------
1827    Name: Matthias Blume (blume (at) tti - c (dot) org)
1828    Date: 2004/12/23 18:00:00 CST
1829    Tag: blume-20041223-santa
1830    Description:
1831    
1832    Made ml-build script "smarter" (but only very little).
1833    
1834    ----------------------------------------------------------------------
1835    Name: Matthias Blume (blume (at) tti - c (dot) org)
1836    Date: 2004/12/21 15:05:00 CST
1837    Tag: blume-20041221-longlong
1838    Description:
1839    
1840    * Implemented access to signed and unsigned long long data in NLFFI.
1841    (The parameter-passing part of the picture has not complete. But
1842    data structure access seems to work.)
1843    
1844    * Fixed CM's incorrect assumption that the PPC is little-endian.
1845      (On the Mac, it is big-endian.  And that's currently our only
1846      PPC platform.)
1847    
1848    ----------------------------------------------------------------------
1849    Name: Matthias Blume (blume (at) tti - c (dot) org)
1850    Date: 2004/12/21 12:50:00 CST
1851    Tag: blume-20041221-memory
1852    Description:
1853    
1854    Some cleanup in the $c/memory.cm library: separated some concerns by
1855    moving allocation code and memory access code each into their own
1856    files.
1857    
1858    ----------------------------------------------------------------------
1859    Name: Allen Leung (leunga (at) reservoir (dot) com)
1860    Date: 2004/12/17 16:12:00 EST
1861    Tag: leunga-20041217-cygwin-smlnj-home
1862    Description:
1863    
1864        The Unix I/O library of SML/NJ on cygwin does not understand
1865    Windows style pathname, so problems arise when SMLNJ_HOME is set
1866    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
1867    to a POSIX pathname on cygwin.
1868    
1869    ----------------------------------------------------------------------
1870    Name: Matthias Blume (blume (at) tti - c (dot) org)
1871    Date: 2004/12/16 13:35:00 CST
1872    Tag: Release_110_52
1873    Description:
1874    
1875    Last-minute changes incorporated into 110.52.  Release tag moved.
1876    
1877    The changes:
1878       - HashString.hashString' -> HashString.hashSubstring
1879       - bug fix in UnivariateStats
1880    
1881    ----------------------------------------------------------------------
1882    Name: Matthias Blume (blume (at) tti - c (dot) org)
1883    Date: 2004/12/15 23:40:00 CST
1884    Tag: blume-20041215-hashSubstring
1885    Description:
1886    
1887    - HashString.hashString' -> HashString.hashSubstring
1888    - corresponding changes in atom.sml
1889    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
1890      added some comments
1891    
1892    ----------------------------------------------------------------------
1893    Name: Matthias Blume (blume (at) tti - c (dot) org)
1894    Date: 2004/12/15 15:30:00 CST
1895    Tag: (Release_110_52)
1896    Description:
1897    
1898    New working version (110.52).  NEW BOOTFILES!
1899    
1900    ----------------------------------------------------------------------
1901    Name: Matthias Blume (blume (at) tti - c (dot) org)
1902    Date: 2004/12/15 12:45:00 CST
1903    Tag: blume-20041215-spaces
1904    Description:
1905    
1906    More on the space problem (this time for Win32).
1907    
1908    ----------------------------------------------------------------------
1909    Name: Matthias Blume (blume (at) tti - c (dot) org)
1910    Date: 2004/12/14 17:30:00 CST
1911    Tag: blume-20041214-spaces
1912    Description:
1913    
1914    Hacked some of the scripts (in particular: the installer) to cope with
1915    spaces in filenames a bit better.  But beware: the current "solution"
1916    is likely still full of bugs and inherently incomplete.  (We need to
1917    do away with those shell scripts for a comprehensive solution.)
1918    
1919    ----------------------------------------------------------------------
1920    Name: Matthias Blume (blume (at) tti - c (dot) org)
1921    Date: 2004/12/13 14:45:00 CST
1922    Tag: blume-20041213-ml-makedepend
1923    Description:
1924    
1925    Fixed bug in code for ml-makedepend.
1926    
1927    ----------------------------------------------------------------------
1928    Name: Matthias Blume (blume (at) tti - c (dot) org)
1929    Date: 2004/12/09 16:30:00 CST
1930    Tag: blume-20041209-statistics
1931    Description:
1932    
1933    Added two simple but potentially useful statistics modules to SML/NJ Library.
1934    (See CHANGES file there.)
1935    
1936    ----------------------------------------------------------------------
1937    Name: Matthias Blume (blume (at) tti - c (dot) org)
1938    Date: 2004/12/01 16:50:00 CST
1939    Tag: blume-20041201-atom
1940    Description:
1941    
1942    smlnj-lib:
1943    
1944      Added function HashString.hashString' for substrings.
1945      Hand-inlined CharVector.foldl into HashString (for speed).
1946      Modified implementation of structure Atom to avoid extracting
1947      strings from substrings unless necessary.
1948      (Also see CHANGES file for smlnj-lib.)
1949    
1950    ----------------------------------------------------------------------
1951    Name: Matthias Blume (blume (at) tti - c (dot) org)
1952    Date: 2004/11/24 22:15:00 CST
1953    Tag: blume-20041124-cml
1954    Description:
1955    
1956    Made sure CML compiles when Position = Int64.
1957    
1958    ----------------------------------------------------------------------
1959    Name: Matthias Blume (blume (at) tti - c (dot) org)
1960    Date: 2004/11/24 14:30:00 CST
1961    Tag: blume-20041124-position
1962    Description:
1963    
1964    The compiler can now be compiled in a mode that makes structure Position
1965    equal to Int64.  The default, however, is unchanged (Position = Int31)
1966    for the time being.
1967    
1968    To enable 64-bit positions, use the following procedure:
1969    
1970    1. Start sml
1971    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
1972    3. Type
1973          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
1974    4. Run CMB.make() as usual.
1975    
1976    This is barely tested.  The only test so far was a little SML program
1977    counting the number of characters in an 8-gigabyte file by
1978    reading it character-by-character.  That test was successful.
1979    
1980    In support of 64-bit positions, a number of new functions have been
1981    added to the runtime system.
1982    
1983    ----------------------------------------------------------------------
1984    Name: Matthias Blume (blume (at) tti - c (dot) org)
1985    Date: 2004/11/23 14:45:00 CST
1986    Tag: blume-20041123-useFile
1987    Description:
1988    
1989    Fixed a problem with unhelpful error messages related to problems with
1990    .cm- or .sml files that appear as part of the sml command line.
1991    
1992    ----------------------------------------------------------------------
1993    Name: Matthias Blume (blume (at) tti - c (dot) org)
1994    Date: 2004/11/18 15:40:00 CST
1995    Tag: Release_110_51
1996    Description:
1997    
1998    New working version (110.51).  NEW BOOTFILES!
1999    
2000    ----------------------------------------------------------------------
2001    Name: Matthias Blume (blume (at) tti - c (dot) org)
2002    Date: 2004/11/18 15:35:00 CST
2003    Tag: <none>
2004    Description:
2005    
2006    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
2007    Joemann).
2008    
2009    ----------------------------------------------------------------------
2010    Name: Allen Leung (leunga (at) reservoir (dot) com)
2011    Date: 2004/11/17 16:05:21 EST 2004
2012    Tag: leunga-20041117-mlrisc-live-kill
2013    Description:
2014    
2015       Added support for MLTree constructs LIVE and KILL
2016    to all the architectures.
2017    
2018    ----------------------------------------------------------------------
2019    Name: Matthias Blume (blume (at) tti - c (dot) org)
2020    Date: 2004/11/13 00:20:00 CST
2021    Tag: blume-20041113-versiontool
2022    Description:
2023    
2024    - Stripped down the versiontool: It now only handles the version number.
2025      The date string is generated at bootstrap time (during makeml).
2026    
2027    - In a previous commit, fixed a minor issue with how polyequal is being
2028      translated.  In particular, the code now "looks through" abstractions.
2029      This results in slightly fewer polyEqual warnings and hopefully slightly
2030      more efficient code.  Important examples for where this matters are
2031      the new int64 and word64 types.
2032    
2033    ----------------------------------------------------------------------
2034    Name: Matthias Blume (blume (at) tti - c (dot) org)
2035    Date: 2004/11/12 00:30:00 CST
2036    Tag: blume-20041112-int64
2037    Description:
2038    
2039    Structure Int64 fully hooked in.  (The implementation is not very
2040    efficient, though.)
2041    
2042    ----------------------------------------------------------------------
2043    Name: Matthias Blume (blume (at) tti - c (dot) org)
2044    Date: 2004/11/11 17:30:00 CST
2045    Tag: blume-20041111-more64
2046    Description:
2047    
2048    All the pieces of Word64 are now there, with the exception of the
2049    conversions from and to LargeWord. (Eventually these need to be identities,
2050    but for the time being they don't even make sense because LargeWord is
2051    32-bit wide.)
2052    
2053    Also started to add similar support for Int64, but major pieces of that
2054    are still missing.
2055    
2056    ----------------------------------------------------------------------
2057    Name: Matthias Blume (blume (at) tti - c (dot) org)
2058    Date: 2004/11/11 00:15:00 CST
2059    Tag: blume-20041111-word64
2060    Description:
2061    
2062    Structure Word64 is now (almost) complete, word literals and patterns
2063    seem to work.  There are a few odd pieces missing.  In particular,
2064    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
2065    at the moment.
2066    
2067    Making Word64 official would mean that LargeWord becomes Word64.  But
2068    this requires extreme care because most word-word conversions have to
2069    go through LargeWord, so making a mistake means loss of efficiency or
2070    worse.  Eventually there will be a solution similar to (but actually
2071    simpler than) what I did with IntInf.
2072    
2073    ----------------------------------------------------------------------
2074    Name: Matthias Blume (blume (at) tti - c (dot) org)
2075    Date: 2004/11/10 18:12:00 CST
2076    Tag: blume-20041110-64bit
2077    Description:
2078    
2079    More 64-bit hacking (but still not even half-way there yet).
2080    Also, some assorted improvements to the handling of 8-bit words.
2081    
2082    ----------------------------------------------------------------------
2083    Name: Matthias Blume (blume (at) tti - c (dot) org)
2084    Date: 2004/11/09 17:50:00 CST
2085    Tag: <none>
2086    Description:
2087    
2088    Started adding some infrastructure for supporting 64-bit int- and
2089    word-types.  (Still in its very early stages.)
2090    
2091    ----------------------------------------------------------------------
2092    Name: Matthias Blume (blume (at) tti - c (dot) org)
2093    Date: 2004/10/28 10:45:00 CDT
2094    Tag: Release_110_50
2095    Description:
2096    
2097    New working version (110.50).  NEW BOOTFILES!
2098    
2099                 =====================
2100    
2101    Also:
2102    
2103      - Changend config/srcarchiveurl from a file just
2104        containing the URL string into a file containing
2105        shell script code.  The code has access to the $VERSION variable.
2106      - Made corresponding changes to config/install.sh and config/unpack.
2107      - Default contents of config/srcarchiveurl uses $VERSION and
2108        normally does not have to be edited to reflect a version change.
2109    
2110      (As a result, a version change can be done by just editing
2111       config/version, the rest is now automatic.)
2112    
2113    ----------------------------------------------------------------------
2114    Name: Matthias Blume (blume (at) tti - c (dot) org)
2115    Date: 2004/10/27 17:50:00 CDT
2116    Tag: blume-20041027-btrace-msg
2117    Description:
2118    
2119    BackTrace.monitor now also reports the source of the exception that
2120    triggered the trace.
2121    
2122    ----------------------------------------------------------------------
2123    Name: Matthias Blume (blume (at) tti - c (dot) org)
2124    Date: 2004/10/27 17:20:00 CDT
2125    Tag: blume-20041027-x86-c-calls
2126    Description:
2127    
2128    This is the HISTORY entry for two earlier commits, both concerning
2129    the x86 c-calls code in MLRISC:
2130    
2131      - added a missing LOAD in the code that deals with struct arguments
2132      - made sure the caller does not add the wrong number of bytes to the
2133        stack pointer after a call of a function returning a struct
2134        (the callee already pops the implicit argument which points to
2135         the space reserved for the result)
2136    
2137    ----------------------------------------------------------------------
2138    Name: Allen Leung (leunga (at) reservoir (dot) com)
2139    Date: 2004/10/24 14:00:00 EST
2140    Tag: leunga-20041024-x86-gas-fucomip
2141    Description:
2142    
2143       John discovered a bug in the syntax of fucomip.
2144       The opcodes FU?COMIP? have been changed to
2145    
2146           fu?comip? %st(i), %st
2147    
2148    ----------------------------------------------------------------------
2149    Name: Matthias Blume (blume (at) tti - c (dot) org)
2150    Date: 2004/10/20 15:06:00 CDT
2151    Tag: blume-20041020-standalone-backtrace
2152    Description:
2153    
2154    Added a mechanism for getting back-trace information from standalone
2155    programs.  Here is how it works:
2156    
2157       1. The part of the program from which you want to get backtrace
2158          information (usually the whole program) should be wrapped with
2159          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
2160          main program could be modified from something like
2161    
2162             fun main (pgm, args) = ...
2163    
2164         to
2165    
2166            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
2167    
2168       2. To be able to access BackTrace.monitor, you have to add
2169          library $smlnj-tdp/plugins.cm to the .cm file that contains your
2170          main function.
2171    
2172       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
2173          CM might have created in the past for your project).
2174    
2175       4. Build the system using this command line:
2176    
2177             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
2178                      myprog.cm MyProg.main myprog
2179    
2180          instead of the usual
2181    
2182             ml-build myprog.cm MyProg.main myprog
2183    
2184    I changed a library name:
2185    
2186       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
2187    
2188    New libraries:
2189    
2190       $smlnj-tdp/back-trace.cm
2191          -- when loaded causes the back-trace plugin to be installed
2192       $smlnj-tdp/coverage.cm
2193          -- when loaded causes the coverage plugin to be installed
2194    
2195    ----------------------------------------------------------------------
2196    Name: Matthias Blume (blume (at) tti - c (dot) org)
2197    Date: 2004/10/18 16:45:00 CDT
2198    Tag: blume-20041018-groupowner
2199    Description:
2200    
2201    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
2202    
2203    Eliminated group owner specs from .cm files throughout the source tree.
2204    
2205    ----------------------------------------------------------------------
2206    Name: Matthias Blume (blume (at) tti - c (dot) org)
2207    Date: 2004/10/15 15:45:00 CDT
2208    Tag: blume-20041015-coverage
2209    Description:
2210    
2211    * Test coverage tool added!
2212    * Further reorganization of tracing-, debugging-, and profiling support:
2213    
2214        - moved original BTImp -- now called BackTrace -- into a separate
2215          library called $/trace-debug-profile.cm
2216        - eliminated all mentions of BTrace from SMLofNJ.Internals
2217        - only the instrumentation mechanism is now left in the compiler proper
2218        - BackTrace module is a plugin which is NOT plugged in by default
2219        - Coverage module is another such plugin
2220    
2221    To get the benefits of any of these plugin modules, the code in
2222    question must be compiled with tdp instrumentation turned on.  This
2223    can be done by setting SMLofNJ.Internals.TDP.mode to true.
2224    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
2225    
2226    Plugins are selected at link time.  (Pre-compiled instrumented code
2227    can be re-loaded with different plugins in effect.)  When an
2228    instrumented module is linked, whatever plugins are at that time
2229    enabled will come into effect for that module.
2230    
2231    To enable the back-trace plugin, load library $/trace-debug-profile.cm
2232    and invoke BackTrace.install() (e.g., from the interactive prompt).
2233    To enable the coverage plugin, load the same library and invoke
2234    Coverage.install().
2235    
2236    Back-traces are generated automatically on uncaught exceptions and
2237    when the code in question explicitly invokes BackTrace.trigger().
2238    
2239    Coverage (and execution frequency-) information must be queried
2240    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
2241    
2242    ----------------------------------------------------------------------
2243    Name: Matthias Blume (blume (at) tti - c (dot) org)
2244    Date: 2004/10/14 17:40:00 CDT
2245    Tag: blume-20041014-tdp-core
2246    Description:
2247    
2248    Snapshot of a significant overhaul of how the trace/debug/profile support
2249    is hooked into the system (specifically: Core and SMLofNJ.Internals).
2250    
2251    ----------------------------------------------------------------------
2252    Name: Matthias Blume (blume (at) tti - c (dot) org)
2253    Date: 2004/10/13 16:34:00 CDT
2254    Tag: blume-20041013-tdp
2255    Description:
2256    
2257    Some rationalization of names:
2258    
2259       structure BTrace -> structure TDPInstrument
2260       etc.
2261    
2262    This is is preparation of using the original back-trace
2263    instrumentation for other purposes.  "TDP" stands for
2264    Trace/Debug/Profile.
2265    
2266    The control flag controlling whether instrumentation is on or off is now
2267    registered under a different name, so instead of running sml as
2268    
2269     sml -Cinstrument.btrace-mode=true
2270    
2271    one has to say
2272    
2273     sml -Ctdp.instrument=true
2274    
2275    ----------------------------------------------------------------------
2276    Name: Matthias Blume (blume (at) tti - c (dot) org)
2277    Date: 2004/10/11 16:37:00 CDT
2278    Tag: blume-20041011-regions
2279    Description:
2280    
2281    Made some minor modifications to elabcore.sml to have source regions
2282    be propagated more tightly -- resulting in better (i.e., smaller)
2283    regions being reported in error- and debug messages.
2284    
2285    ----------------------------------------------------------------------
2286    Name: Matthias Blume (blume (at) tti - c (dot) org)
2287    Date: 2004/10/08 22:50:00 CDT
2288    Tag: blume-20041008-cmkw
2289    Description:
2290    
2291    Fixed handling of keywords in .cm files: After seeing "is" the lexer
2292    treats subsequent occurrences of "group", "library", "source", "is",
2293    "*", and "-" as ordinary identifiers rather than keywords.
2294    
2295    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
2296    is supposed to accept a tool argument called "source", but this did
2297    not work because of the clash with the keyword.
2298    
2299    ----------------------------------------------------------------------
2300    Name: Matthias Blume (blume (at) tti - c (dot) org)
2301    Date: 2004/10/07 16:00:00 CDT
2302    Tag: blume-20041007-cleanup
2303    Description:
2304    
2305    Assorted cleanup work:
2306    
2307      - got rid of intstrmap in favor of using the library's
2308        hash table implementation
2309      - threw out most of the pathnames stuff, as it was not used anyway
2310      - simplified tokentable implementation
2311      - fixed some minor spelling errors
2312    
2313    ----------------------------------------------------------------------
2314    Name: Matthias Blume (blume (at) tti - c (dot) org)
2315    Date: 2004/10/06 15:15:15 CDT
2316    Tag: blume-20041006-handler
2317    Description:
2318    
2319    Cleaned up the absyn to reflect the invariant that HANDLE always
2320    carries a FNexp as part of the type definition.  This eliminates some
2321    superfluous sanity checks at runtime down the road.
2322    
2323    Some minor cleanup of the btrace code.
2324    
2325    ----------------------------------------------------------------------
2326    Name: Matthias Blume (blume (at) tti - c (dot) org)
2327    Date: 2004/10/01 10:20:30 CDT
2328    Tag: blume-20041001-slave
2329    Description:
2330    
2331    Added hack to make slave mode work in the presence of the version
2332    tool.  (Still, since the master does two passes over the code for
2333    CMB.make, the release number gets bumped twice when slaves are
2334    attached.  I don't know if this is worth fixing...)
2335    
2336    ----------------------------------------------------------------------
2337    Name: Matthias Blume (blume (at) tti - c (dot) org)
2338    Date: 2004/09/30 10:55:00 CDT
2339    Tag: blume-20040930-version
2340    Description:
2341    
2342    * Moved the "version" magic into its own little library under
2343      src/system/smlnj/internal.  This avoids expensive reconstruction of
2344      a stable src/compiler/core.cm.
2345    
2346    * At the same time, structure CompilerVersion is now known as
2347      structure SMLNJVersion.
2348    
2349    * Arranged for the version tool to NOT kick in when rebuilding the system
2350      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
2351      Also, loading the versiontool does not work when rebuilding the system
2352      because CM is not properly initialized at that time.
2353    
2354    ----------------------------------------------------------------------
2355    Name: Matthias Blume (blume (at) tti - c (dot) org)
2356    Date: 2004/09/29 14:00:00 CDT
2357    Tag: blume-20040929-autoversion
2358    Description:
2359    
2360    Implemented some CM magic to have
2361        file src/compiler/TopLevel/main/version.sml
2362    generated automagically.
2363    The version is taken from two files: config/version and config/release.
2364    The first is expected to contain a two-part version number such as 110.49.
2365    The second should contain a single number, but it may be missing.
2366    
2367    If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
2368    time the version tool is loaded (which is the first time you say CMB.make),
2369    then the tool will increment the value stored in config/release every
2370    time CMB.make is invoked.
2371    
2372    The binfile format is now insensitive to anything beyond the first
2373    two components of a version number, so bumping the release does not render
2374    binfiles incompatible.  Auto-bumping can be used to keep track of versions
2375    during development without invalidating existing binfiles.
2376    
2377    In any case, every CMB.make updates the date information in version.sml.
2378    (This is the date that is printed in the banner.)
2379    
2380    ----------------------------------------------------------------------
2381    Name: Matthias Blume (blume (at) tti - c (dot) org)
2382    Date: 2004/09/28 10:53:00 CDT
2383    Tag: blume-20040928-controls
2384    Description:
2385    
2386    Some cleanup of the controls code.
2387    
2388    ----------------------------------------------------------------------
2389    Name: Matthias Blume (blume (at) tti - c (dot) org)
2390    Date: 2004/09/27 22:08:00 CDT
2391    Tag: blume-20040927-controls
2392    Description:
2393    
2394    Added two pieces of functionality to the Controls interface:
2395    
2396    1.   val save'restore: 'a control -> unit -> unit
2397    
2398       grabs the current value of the control in stage 1 and restores it
2399       in stage 2.
2400    
2401    2.   val set' : 'a control * 'a -> unit -> unit
2402    
2403       stores the given value into the control in stage 2 (i.e., delayed)
2404       but does all error checking in stage 1.
2405       (This is for string controls that need to do parse their argument --
2406        something that might fail.  In some cases, notably in CM, one
2407        already knows the intended argument but wants to delay the actual
2408        assignment until a time when error recovery would be more difficult.)
2409    
2410    Changed the handling of controls in tool arguments to classes "sml" and
2411    "lazysml":
2412       - use Controls.save'restore as a more robust way of restoring the
2413         old value (in particular: without having to re-parse the string)
2414       - use controls to handle the "overload" keyword in the init group
2415         (I believe this change actually fixes a long-standing obscure bug.)
2416    
2417    ----------------------------------------------------------------------
2418    Name: Matthias Blume (blume (at) tti - c (dot) org)
2419    Date: 2004/09/27 17:00:00 CDT
2420    Tag: blume-20040927-lazysml
2421    Description:
2422    
2423    Added a new tool class called "lazysml" to CM's tool chest.  The only
2424    difference to "sml" is that compilation is done with Control.lazysml
2425    set to true.  A source of class "lazysml" is automatically recognized
2426    by a file name suffix of ".lml".
2427    
2428    In addition to the above feature, the original class "sml" now also
2429    supports a tool argument "lazy" which has the same effect.  As a
2430    result, the following three lines are equivalent:
2431    
2432        foo.sml : lazysml
2433        foo.sml : sml (lazy)
2434        foo.sml (lazy)
2435    
2436    The setting goes into effect both during parsing and during
2437    compilation.  The original setting is restored right after parsing and
2438    after compilation, respectively.
2439    
2440    In addition to all the above, there is also a general mechanism to set
2441    ANY of the "controls" that are available at the command line via
2442    "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
2443    apply as well. (In fact, "lazy" is implemented as a special case of
2444    the general mechanism.)
2445    
2446    The .cm file syntax uses a new keyword tool argument called "with".
2447    There are several ways of indicating the desired settings:
2448    
2449        foo.sml (with:parser.quotations=true)
2450        foo.sml (with:(name:parser.quotations value:true))
2451        foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
2452        foo.sml (with:(name1=value1 name2=value2 ...))
2453        foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
2454    
2455        etc.
2456    
2457    Another possible abbreviation is to leave out the =v or value:v part
2458    if the name refers to a boolean control (in which case the value is
2459    taken to be true).  Thus, one could get lazy sml also by saying:
2460    
2461        foo.sml (with:parser.lazy-keyword=true)
2462        foo.sml (with:parser.lazy-keyword)
2463        foo.sml (with:(name:parser.lazy-keyword value:true))
2464        foo.sml (with:(name:parser.lazy-keyword))
2465    
2466    ----------------------------------------------------------------------
2467    Name: Matthias Blume (blume (at) tti - c (dot) org)
2468    Date: 2004/09/24 16:22:00 CDT
2469    Tag: blume-20040924-ppc-long-branch
2470    Description:
2471    
2472    Turned message about "emiting long form of branch" off by default.
2473    Added a control flag to turn it back on when desired.
2474    
2475    ----------------------------------------------------------------------
2476    Name: Matthias Blume (blume (at) tti - c (dot) org)
2477    Date: 2004/09/24 16:05:00 CDT
2478    Tag: blume-20040924-rounding
2479    Description:
2480    
2481    Applied patch for setting rounding modes under Mac OS X.  Thanks to
2482    Melissa O'Neill for providing the code!
2483    
2484    ----------------------------------------------------------------------
2485    Name: Matthias Blume (blume (at) tti - c (dot) org)
2486    Date: 2004/09/23 17:30:00 CDT
2487    Tag: blume-20040923-envvars
2488    Description:
2489    
2490    1. Changed definition of type ControlRegistry.registry_tree to
2491       include control_info (i.e., the name of the controlling environment
2492       variable).
2493    
2494    2. Added command-line flags -e and -E to print the names of environment
2495       variables that can be used to control internal settings.
2496       (This uses the new API mentioned in 1.)
2497    
2498    ----------------------------------------------------------------------
2499    Name: Matthias Blume (blume (at) tti - c (dot) org)
2500    Date: 2004/09/13 16:50:00 CDT
2501    Tag: Release_110_49
2502    Description:
2503    
2504    New working version (110.49).  NEW BOOTFILES!
2505    
2506    ----------------------------------------------------------------------
2507    Name: Matthias Blume
2508    Date: 2004/09/13 16:20:00 CDT
2509    Tag: blume-20040913-config-mlrisc
2510    Description:
2511    
2512    Put target "mlrisc" back into the default list.
2513    (There is no harm in having it, and some users have expressed their
2514    wish to have "mlrisc" included by default.)
2515    
2516    ----------------------------------------------------------------------
2517    Name: John Reppy
2518    Date: 2004/09/13
2519    Tag: jhr-20040913-signals
2520    Description:
2521    
2522    Fixed the signal masking code to properly nest mask/unmask operations
2523    on a per-signal basis.
2524    
2525    ----------------------------------------------------------------------
2526    Name: Matthias Blume (blume (at) tti - c (dot) org)
2527    Date: 2004/09/08 13:20:00 CDT
2528    Tag: blume-20040908-heap-magic
2529    Description:
2530    
2531    Bumped the heap macig number to 0x09082004 to account for the changed
2532    layout of the ML frame under MacOS X.
2533    
2534    ----------------------------------------------------------------------
2535    Name: Allen Leung (leunga (at) reservoir (dot) com)
2536    Date: 2004/09/03 11:26:00 EST
2537    Tag: leunga-20040903-cygwin-install
2538    Description:
2539    
2540       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
2541    The Cygwin runtime is turned on by setting the environment
2542    variable SMLNJ_CYGWIN_RUNTIME to 1.
2543    
2544    ----------------------------------------------------------------------
2545    Name: Matthias Blume (blume (at) tti - c (dot) org)
2546    Date: 2004/08/31 17:15:00 CDT
2547    Tag: blume-20040831-core
2548    Description:
2549    
2550    Added some exports to src/compiler/core.cm upon request by J. Joemann.
2551    
2552    ----------------------------------------------------------------------
2553    Name: Matthias Blume (blume (at) tti - c (dot) org)
2554    Date: 2004/08/30 17:55:00 CDT
2555    Tag: blume-20040830-installer
2556    Description:
2557    
2558    Upon request by Johannes Joemann:
2559    
2560    - improved ML code of installer to fall back to coping when renaming
2561      fails (i.e., when source and target are on different file systems);
2562      the code compiles but has yet to be tested in anger
2563    - removed mlrisc from list of default targets (config/targets)
2564    
2565    ----------------------------------------------------------------------
2566    Name: Matthias Blume (blume (at) tti - c (dot) org)
2567    Date: 2004/08/27 17:20:00 CDT
2568    Tag: blume-20040827-ptreql
2569    Description:
2570    
2571    Added ptreql primop to structure InlineT (upon request from Larry
2572    Paulson).
2573    
2574    ----------------------------------------------------------------------
2575    Name: Allen Leung (leunga (at) reservoir (dot) com)
2576    Date: 2004/08/15 21:21:00 EST
2577    Tag: leunga-110_48-udgraph
2578  Description:  Description:
2579    
2580    Another bug fix from Carl Hauser:
2581    
2582    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
2583    > 48c48
2584    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
2585    > e::L)
2586    > ---
2587    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
2588    > Without this, any deletion of an edge in an undirected graph does severe
2589    > violence to the graph.
2590    
2591  ----------------------------------------------------------------------  ----------------------------------------------------------------------
2592  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
2593  Date: 2004/08/10 23:35:00 EST  Date: 2004/08/10 23:35:00 EST
# Line 22  Line 2598 
2598    
2599  ----------------------------------------------------------------------  ----------------------------------------------------------------------
2600  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
2601  Date: 2004/10/04 12:00:00 CDT  Date: 2004/08/10 12:00:00 CDT
2602  Tag: Release_110_48  Tag: Release_110_48
2603  Description:  Description:
2604    

Legend:
Removed from v.1613  
changed lines
  Added in v.3524

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