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

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