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

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