Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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

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

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