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

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