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

revision 1546, Wed Jul 14 18:38:08 2004 UTC revision 1921, Fri Apr 14 16:14:24 2006 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: John Reppy
17    Date: 2006/04/14
18    Tag:
19    Description:
20    
21    MLRISC changes:
22      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
23      2) added support for NOTB and XORB operators in pseudo-op expressions
24      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
25      4) added support for 64-bit integer literals
26    
27    ----------------------------------------------------------------------
28    Name:
29    Date: yyyy/mm/dd
30    Tag: Release_110_58
31    Description:
32    
33    New working version (110.58).  NEW BOOTFILES!
34    
35    ----------------------------------------------------------------------
36    Name: Matthias Blume (http://www.tti-c.org/blume/)
37    Date: 2006/03/01 22:15:00 CST
38    Tag: blume-20060301-lexgen
39    Description:
40    
41    Incorporated several bugfixes to lexgen.  Compiler now compiles to
42    fixpoint when using lexgen instead of ml-lex.
43    
44    ----------------------------------------------------------------------
45    Name: Matthias Blume (http://www.tti-c.org/blume/)
46    Date: 2006/02/28 22:45:00 CST
47    Tag: blume-20060228-lexgen
48    Description:
49    
50    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
51    provided tarball.  The generated lexers still have problems.
52    
53    ----------------------------------------------------------------------
54    Name: Matthias Blume (http://www.tti-c.org/blume/)
55    Date: 2006/02/26 23:30:00 CST
56    Tag: blume-20060226-ml-flex
57    Description:
58    
59    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
60    of ml-flex on by default.
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume (http://www.tti-c.org/blume/)
64    Date: 2006/02/24 16:30:00 CST
65    Tag: blume-20060224-ml-flex
66    Description:
67    
68    Added ml-flex sources.  Partially integrated, but should not be
69    turned on yet!  (Read: leave it commented-out in config/targets!)
70    
71    ----------------------------------------------------------------------
72    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
73    Date: 2006/02/23
74    Tag: jhr-20060223-x86-64
75    Description:
76    Changes to support building on x86-64 systems (using the 32-bit mode).
77    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
78    kernels dropped.
79    
80    ----------------------------------------------------------------------
81    Name: Allen Leung (leunga (at) reservoir (dot) com)
82    Date: 2006/02/22 15:07:00 EST
83    Tag: leunga-20060222-mdl-gen
84    Description:
85    
86      CM has changed.  Updated the script for rebuilding the MLRISC generated
87    files.
88    
89    ----------------------------------------------------------------------
90    Name: Matthias Blume (http://www.tti-c.org/blume/)
91    Date: 2006/02/14 17:30:00 CST
92    Tag: blume-20060214-intel-mac
93    Description:
94    
95    Hooked code for Darwin-specific Intel ABI into main compiler.
96    (This is a temporary solution which relies on the fact that the
97    compiler itself does not use NLFFI.  Eventually we need to divorce
98    intel mac from generic x86 unix code and make separate sets of binaries.)
99    
100    ----------------------------------------------------------------------
101    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
102    Date: 2006/02/13
103    Tag: jhr-20060213-intel-mac
104    Description:
105    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
106    
107    ----------------------------------------------------------------------
108    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
109    Date: 2006/02/06
110    Tag: jhr-20060206-intel-mac
111    Description:
112    Changes to support MacOS X on Intel hardware.  The C-calls support in
113    MLRISC must also be updated to support the MacOS X ABI.
114    
115    ----------------------------------------------------------------------
116    Name: Matthias Blume (http://www.tti-c.org/blume/)
117    Date: 2005/12/16 00:15:00 CST
118    Tag: blume-20051216-cm
119    Description:
120    
121    Improved error reporting and handling in CM.
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume (http://www.tti-c.org/blume/)
125    Date: 2005/11/21 14:00:00 CST
126    Tag: blume-20051121-html-lib
127    Description:
128    
129    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
130    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
131    at the time when config/preloads is processed, the library has to
132    be referred to by another name.  In 110.57 this would be
133    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
134    to be valid as well.)
135    
136    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
137    
138    ----------------------------------------------------------------------
139    Name: Matthias Blume (http://www.tti-c.org/blume/)
140    Date: 2005/11/19 13:45:00 CST
141    Tag: Release_110_57
142    Description:
143    
144    Moved release tag for 110.57.
145    
146    ----------------------------------------------------------------------
147    Name: Matthias Blume (http://www.tti-c.org/blume/)
148    Date: 2005/11/19 23:35:00 CST
149    Tag: blume-20051119-fish
150    Description:
151    
152    Fixed a problem in config/install.sh where it tries to "fish" the
153    name of the CM metadata directory from the wrong place (because
154    the physical location of basis.cm has changed).  Also, corrected the
155    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
156    these problems.)
157    
158    ----------------------------------------------------------------------
159    Name: Matthias Blume (http://www.tti-c.org/blume/)
160    Date: 2005/11/16 14:30:00 CST
161    Tag: blume-orig-110_57
162    Description:
163    
164    New working version (110.57).  NEW BOOTFILES!
165    
166    UPDATE: The release tag has been moved to include a fix for a brown-paper-
167            bag glitch (see above).
168    
169    ----------------------------------------------------------------------
170    Name: Matthias Blume (http://www.tti-c.org/blume/)
171    Date: 2005/11/16 10:25:00 CST
172    Tag: blume-22051116-btrace
173    Description:
174    
175    Fixed problem with bogus exception message when using back-trace
176    facility.
177    
178    ----------------------------------------------------------------------
179    Name: Matthias Blume (http://www.tti-c.org/blume/)
180    Date: 2005/11/15 22:35:00 CST
181    Tag: blume-22051115-array2copy
182    Description:
183    
184    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
185    
186    ----------------------------------------------------------------------
187    Name: Matthias Blume (http://www.tti-c.org/blume/)
188    Date: 2005/11/15 21:35:00 CST
189    Tag: blume-22051115-versiontool
190    Description:
191    
192    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
193    file gets loaded as a tool -- by the equivalent of CM.make during the
194    run of CMB.make.  Thus, CMB's path configuration is meaningless for
195    it.  Instead, it has the status of "user code", so it should use
196    $/basis.cm to refer to the Basis library.  (At least that's true for
197    the purpose of bootstrapping the previous change.  In the future it
198    might make sense to have versiontool.cm refer to
199    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
200    compiler itself uses.)
201    
202    Also patched src/system/testml to have it activate those extra anchor
203    bindings in config/extrapathconfig.
204    
205    ----------------------------------------------------------------------
206    Name: Matthias Blume (http://www.tti-c.org/blume/)
207    Date: 2005/11/15 16:35:00 CST
208    Tag: blume-22051115-libraries
209    Description:
210    
211    This change affects the way the following libraries are tied into
212    the system:
213    
214       $/basis.cm
215       $/smlnj-lib.cm
216       $/pp-lib.cm
217       $/controls-lib.cm
218       $/html-lib.cm
219       $/ml-yacc-lib.cm
220    
221    These libraries are now internally (as seen from the source code
222    of the implementation itself) known by the following names:
223    
224       $smlnj/basis/basis.cm
225       $smlnj/smlnj-lib/smlnj-lib.cm
226       $smlnj/smlnj-lib/pp-lib.cm
227       $smlnj/smlnj-lib/controls-lib.cm
228       $smlnj/smlnj-lib/html-lib.cm
229       $smlnj/ml-yacc/ml-yacc-lib.cm
230    
231    This makes it possible to work with code that requires different
232    versions of these libraries, and which refers to these libraries using
233    their "default" names (i.e., the first set of names above).  In other
234    words, one can un-define or re-define those default names without
235    compromising the proper functioning of the compiler itself.
236    
237    A similar procedure had already been performed for several of the
238    MLRISC libraries that are linked into the compiler.  I did some
239    cleanup on this code.
240    
241    A new file in the config directory (named extrapathconfig) is
242    responsible for setting up path anchors that the compiler itself does
243    not need, but that are typically required by user code.
244    
245    ----------------------------------------------------------------------
246    Name: Matthias Blume
247    Date: 2005/11/07 17:05:00 CST
248    Tag: blume-20051107-slice
249    Description:
250    
251    Fixed erroneous out-of-bounds test in the "update" function of
252    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
253    out the problem.)
254    
255    Pushed some Basis changes through ML-Lex, CML, and eXene.
256    
257    ----------------------------------------------------------------------
258    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
259    Date: 2005/11/07
260    Description:
261    Fixed a Basis incompatibility: The depreciated function Substring.all
262    was removed (use Substring.full instead).
263    
264    ----------------------------------------------------------------------
265    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
266    Date: 2005/11/05
267    Description:
268    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
269    
270    ----------------------------------------------------------------------
271    Name: Matthias Blume (http://www.tti-c.org/blume/)
272    Date: 2005/11/02 16:25:00 CST
273    Tag: blume-20051102-hex
274    Description:
275    
276    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
277      in either upper case or lower case format.
278    * Pushed changes to names of Pack<N>{Big,Little} structures through
279      CML and eXene.
280    
281    ----------------------------------------------------------------------
282    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
283    Date: 2005/11/02
284    Description:
285    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
286    be called PackWord<N>{Big,Little}.
287    
288    ----------------------------------------------------------------------
289    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
290    Date: 2005/10/28
291    Description:
292    Fixed a minor Basis incompatibility: hex digits should be upper case.
293    
294    ----------------------------------------------------------------------
295    Name: Matthias Blume (blume (at) tti - c (dot) org)
296    Date: 2005/10/25 16:00:00 CDT
297    Tag: Release_110_56
298    Description:
299    
300    New working version (110.56).  NEW BOOTFILES!
301    
302    ----------------------------------------------------------------------
303    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
304    Date: 2005/10/25
305    Description:
306    Added interval sets to utility library (signatures INTERVAL_DOMAIN
307    and INTERVAL_SET, and functor IntervalSetFn).
308    
309    ----------------------------------------------------------------------
310    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
311    Date: 2005/10/14
312    Description:
313    Add Zhong Shao's fix for datatype equality functions.
314    
315    ----------------------------------------------------------------------
316    Name: Allen Leung (leunga (at) reservoir (dot) com)
317    Date: 2005/10/14 12:30:00 EST
318    Tag: leunga-20051014-x86-spill
319    Description:
320    
321    Bug fix a bug found by Carl Hauser.
322    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
323    
324    ----------------------------------------------------------------------
325    Name: Allen Leung (leunga (at) reservoir (dot) com)
326    Date: 2005/10/14 11:15:00 EST
327    Tag: leunga-20051014-x86-asm
328    Description:
329    
330    Removed some debugging code in file x86Asm.sml.
331    The function emit_operand was printing out debugging output.
332    
333    ----------------------------------------------------------------------
334    Name: John Reppy
335    Date: 2005/07/27
336    Tag:
337    Description:
338    
339    Fixed ml-lex to recognize "\r" as representing carriage return.
340    
341    ----------------------------------------------------------------------
342    Name: John Reppy
343    Date: 2005/07/27
344    Tag:
345    Description:
346    
347    Fixed ml-yacc to work on files with non-native end-of-line
348    encodings (e.g., Windows text file on a Unix system).
349    
350    ----------------------------------------------------------------------
351    Name: John Reppy
352    Date: 2005/07/20
353    Tag:
354    Description:
355    
356    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
357    to support HPUX 11.
358    
359    ----------------------------------------------------------------------
360    Name: John Reppy
361    Date: 2005/07/06
362    Tag:
363    Description:
364    
365    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
366    
367    ----------------------------------------------------------------------
368    Name: Matthias Blume (blume (at) tti - c (dot) org)
369    Date: 2005/07/06 00:45:00 CDT
370    Tag: blume-20050706-slice-copy
371    Description:
372    
373    Fixed reversed logic for deciding whether to "copy up" or "copy down"
374    in *-array-slice.sml.
375    
376    ----------------------------------------------------------------------
377    Name: Allen Leung (leunga (at) reservoir (dot) com)
378    Date: 2005/05/31 17:00:00 EST
379    Tag: leunga-20050531-cygwin-fault-2
380    Description:
381    
382    A typo in the cygwin code fixed.
383    
384    ----------------------------------------------------------------------
385    Name: Allen Leung (leunga (at) reservoir (dot) com)
386    Date: 2005/05/31 16:47:00 EST
387    Tag: leunga-20050531-cygwin-fault
388    Description:
389    
390    Updated Cygwin's fault/signal handling to match the Windows version.
391    Updated the export list.
392    
393    ----------------------------------------------------------------------
394    Name: Matthias Blume (blume (at) tti - c (dot) org)
395    Date: 2005/05/18 13:35:00 CDT
396    Tag: Release_110_54
397    Description:
398    
399    New working version (110.54).  NEW BOOTFILES!
400    
401    ----------------------------------------------------------------------
402    Name: Matthias Blume (blume (at) tti - c (dot) org)
403    Date: 2005/05/18 11:58:00 CDT
404    Tag: blume-20050518-installer
405    Description:
406    
407    Added support scripts for Mac OS X PackageMaker and modified
408    config/install.sh so that it supports re-dumping a heap image
409    after customization.
410    
411    ----------------------------------------------------------------------
412    Name: Matthias Blume (blume (at) tti - c (dot) org)
413    Date: 2005/05/18 10:55:00 CDT
414    Tag: blume-20050518-realdiv-noovld
415    Description:
416    
417    Un-overloaded / to work around bug in overloading resolution code.
418    
419    ----------------------------------------------------------------------
420    Name: Matthias Blume (blume (at) tti - c (dot) org)
421    Date: 2005/05/16 23:50:00 CDT
422    Tag: blume-20050516-redump-heap
423    Description:
424    
425    Added mechanism for re-creating a heap file for the interactive system
426    after configuration variables have been changed.
427    
428       CM.redump_heap : string -> unit
429    
430    This is much like SMLofNJ.exportML, but starting from the resulting
431    heap does not return to the caller of CM.redump_heap but
432    restarts the interactive system from scratch.  The original call of
433    CM.redump_heap does not return but ends the interactive session.
434    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
435    
436    Internally, redump_heap winds the dynamic execution context back to
437    the point where the original heap image was created and re-executes
438    the heap image generation code in the boot code.
439    
440    ----------------------------------------------------------------------
441    Name: Matthias Blume (blume (at) tti - c (dot) org)
442    Date: 2005/05/09 21:55:00 CDT
443    Tag: blume-20050509-word64
444    Description:
445    
446    Added a hack to the existing hack known as Word64 to make fromString
447    behave correctly.  I am still not sure whether Word64.scan will work
448    as specified with respect to the interaction of radix and prefix.
449    
450    ----------------------------------------------------------------------
451    Name: Allen Leung (leunga (at) reservoir (dot) com)
452    Date: 2005/05/04 11:50:00 EST
453    Tag: leunga-20050504-checkgc
454    Description:
455    
456    Added a gc protocol checking phase.  This phase is enabled with
457    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
458    
459    ----------------------------------------------------------------------
460    Name: Matthias Blume (blume (at) tti - c (dot) org)
461    Date: 2005/05/04 10:45:00 CDT
462    Tag: blume-20050504-intinf
463    Description:
464    
465    Fixed a bug in the implementation of div and mod for IntInf.
466    Thanks to Neophytos Michael for reporting the problem.
467    
468    ----------------------------------------------------------------------
469    Name: Matthias Blume (blume (at) tti - c (dot) org)
470    Date: 2005/05/04 10:35:00 CDT
471    Tag: blume-20050504-join
472    Description:
473    
474    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
475    
476    ----------------------------------------------------------------------
477    Name: Matthias Blume (blume (at) tti - c (dot) org)
478    Date: 2005/02/28 23:40:00 CST
479    Tag: blume-20050228-mVar
480    Description:
481    
482    Fixed serious bug (brown paper bag variety) in new implementation of
483    structure Atom in CML.  (I had accidentally used a mailbox instead of
484    an mvar, leaving the door open for races.)
485    
486    ----------------------------------------------------------------------
487    Name: Matthias Blume (blume (at) tti - c (dot) org)
488    Date: 2005/02/25 15:00:00 CST
489    Tag: Release_110_53
490    Description:
491    
492    New working version (110.53).  NEW BOOTFILES!
493    
494    ----------------------------------------------------------------------
495    Name: Matthias Blume (blume (at) tti - c (dot) org)
496    Date: 2005/02/25 14:50:00 CST
497    Tag: blume-20050225-susp
498    Description:
499    
500    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
501    implemented in Core -- which means that it is the same as the one used
502    by the lazy extension.
503    
504    ----------------------------------------------------------------------
505    Name: Matthias Blume (blume (at) tti - c (dot) org)
506    Date: 2005/02/24 16:50:00 CST
507    Tag: blume-20050224-cml-atom
508    Description:
509    
510    Simpler and at the same time more general implementation of structure
511    Atom in CML.
512    
513    ----------------------------------------------------------------------
514    Name: Matthias Blume (blume (at) tti - c (dot) org)
515    Date: 2005/02/15 17:35:00 CST
516    Tag: blume-20050215-tools
517    Description:
518    
519    Created new "tools" directory under "src" and moved "TraceDebugProf"
520    there.
521    
522    ----------------------------------------------------------------------
523    Name: Matthias Blume (blume (at) tti - c (dot) org)
524    Date: 2005/02/10 17:55:00 CST
525    Tag: blume-20050210-longlong
526    Description:
527    
528    Implemented "long long" arguments and results for NLFFI.  (Only the
529    PPC/MacOS implementation is complete, the other backends still need to
530    be updated.)
531    
532    ----------------------------------------------------------------------
533    Name: Matthias Blume (blume (at) tti - c (dot) org)
534    Date: 2005/01/24 17:40:00 CST
535    Tag: blume-20050124-mlyacc
536    Description:
537    
538    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
539    problem with certain "as" patterns which previously got rendered
540    using incorrect syntax.
541    
542    ----------------------------------------------------------------------
543    Name: Matthias Blume (blume (at) tti - c (dot) org)
544    Date: 2005/01/18 12:00:00 CST
545    Tag: blume-20050118-profile
546    Description:
547    
548    Made time profiling code (interrupt handler) in runtime system aware
549    of new array representation.
550    
551    ----------------------------------------------------------------------
552    Name: Matthias Blume (blume (at) tti - c (dot) org)
553    Date: 2005/01/14 18:00:00 CST
554    Tag: blume-20050114-heap2exec
555    Description:
556    
557    Implemented new (but still experimental) heap2exec facility.  This is
558    tested under Mac OS X and should work under Linux (will test shortly).
559    It will probably also work on the Sparc (will test some time later).
560    
561      - removed old "HACKED_STANDALONE" hack from runtime
562    
563    To be able to test this, uncomment the request for "heap2asm" in
564    config/targets prior to installation.  (Notice that this is different
565    from "heap2exec" mentioned below.  Not a typo.)
566    
567    To perform an actual test, run the command
568    
569       $ bin/heap2exec heapfile execfile
570    
571    (You can put heap2exec on your shell's path.)
572    
573    For example, run
574    
575      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
576    
577    This will create a standalone executable called "mly" which you can
578    then invoke directly as a command.
579    
580    ----------------------------------------------------------------------
581    Name: Matthias Blume (blume (at) tti - c (dot) org)
582    Date: 2005/01/07 11:44:00 CST
583    Tag: blume-20050107-mlstring
584    Description:
585    
586    fixed off-by-one error in ML_STRING macro (globals.c)
587    
588    ----------------------------------------------------------------------
589    Name: Matthias Blume (blume (at) tti - c (dot) org)
590    Date: 2004/12/23 18:00:00 CST
591    Tag: blume-20041223-santa
592    Description:
593    
594    Made ml-build script "smarter" (but only very little).
595    
596    ----------------------------------------------------------------------
597    Name: Matthias Blume (blume (at) tti - c (dot) org)
598    Date: 2004/12/21 15:05:00 CST
599    Tag: blume-20041221-longlong
600    Description:
601    
602    * Implemented access to signed and unsigned long long data in NLFFI.
603    (The parameter-passing part of the picture has not complete. But
604    data structure access seems to work.)
605    
606    * Fixed CM's incorrect assumption that the PPC is little-endian.
607      (On the Mac, it is big-endian.  And that's currently our only
608      PPC platform.)
609    
610    ----------------------------------------------------------------------
611    Name: Matthias Blume (blume (at) tti - c (dot) org)
612    Date: 2004/12/21 12:50:00 CST
613    Tag: blume-20041221-memory
614    Description:
615    
616    Some cleanup in the $c/memory.cm library: separated some concerns by
617    moving allocation code and memory access code each into their own
618    files.
619    
620    ----------------------------------------------------------------------
621    Name: Allen Leung (leunga (at) reservoir (dot) com)
622    Date: 2004/12/17 16:12:00 EST
623    Tag: leunga-20041217-cygwin-smlnj-home
624    Description:
625    
626        The Unix I/O library of SML/NJ on cygwin does not understand
627    Windows style pathname, so problems arise when SMLNJ_HOME is set
628    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
629    to a POSIX pathname on cygwin.
630    
631    ----------------------------------------------------------------------
632    Name: Matthias Blume (blume (at) tti - c (dot) org)
633    Date: 2004/12/16 13:35:00 CST
634    Tag: Release_110_52
635    Description:
636    
637    Last-minute changes incorporated into 110.52.  Release tag moved.
638    
639    The changes:
640       - HashString.hashString' -> HashString.hashSubstring
641       - bug fix in UnivariateStats
642    
643    ----------------------------------------------------------------------
644    Name: Matthias Blume (blume (at) tti - c (dot) org)
645    Date: 2004/12/15 23:40:00 CST
646    Tag: blume-20041215-hashSubstring
647    Description:
648    
649    - HashString.hashString' -> HashString.hashSubstring
650    - corresponding changes in atom.sml
651    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
652      added some comments
653    
654    ----------------------------------------------------------------------
655    Name: Matthias Blume (blume (at) tti - c (dot) org)
656    Date: 2004/12/15 15:30:00 CST
657    Tag: (Release_110_52)
658    Description:
659    
660    New working version (110.52).  NEW BOOTFILES!
661    
662    ----------------------------------------------------------------------
663    Name: Matthias Blume (blume (at) tti - c (dot) org)
664    Date: 2004/12/15 12:45:00 CST
665    Tag: blume-20041215-spaces
666    Description:
667    
668    More on the space problem (this time for Win32).
669    
670    ----------------------------------------------------------------------
671    Name: Matthias Blume (blume (at) tti - c (dot) org)
672    Date: 2004/12/14 17:30:00 CST
673    Tag: blume-20041214-spaces
674    Description:
675    
676    Hacked some of the scripts (in particular: the installer) to cope with
677    spaces in filenames a bit better.  But beware: the current "solution"
678    is likely still full of bugs and inherently incomplete.  (We need to
679    do away with those shell scripts for a comprehensive solution.)
680    
681    ----------------------------------------------------------------------
682    Name: Matthias Blume (blume (at) tti - c (dot) org)
683    Date: 2004/12/13 14:45:00 CST
684    Tag: blume-20041213-ml-makedepend
685    Description:
686    
687    Fixed bug in code for ml-makedepend.
688    
689    ----------------------------------------------------------------------
690    Name: Matthias Blume (blume (at) tti - c (dot) org)
691    Date: 2004/12/09 16:30:00 CST
692    Tag: blume-20041209-statistics
693    Description:
694    
695    Added two simple but potentially useful statistics modules to SML/NJ Library.
696    (See CHANGES file there.)
697    
698    ----------------------------------------------------------------------
699    Name: Matthias Blume (blume (at) tti - c (dot) org)
700    Date: 2004/12/01 16:50:00 CST
701    Tag: blume-20041201-atom
702    Description:
703    
704    smlnj-lib:
705    
706      Added function HashString.hashString' for substrings.
707      Hand-inlined CharVector.foldl into HashString (for speed).
708      Modified implementation of structure Atom to avoid extracting
709      strings from substrings unless necessary.
710      (Also see CHANGES file for smlnj-lib.)
711    
712    ----------------------------------------------------------------------
713    Name: Matthias Blume (blume (at) tti - c (dot) org)
714    Date: 2004/11/24 22:15:00 CST
715    Tag: blume-20041124-cml
716    Description:
717    
718    Made sure CML compiles when Position = Int64.
719    
720    ----------------------------------------------------------------------
721    Name: Matthias Blume (blume (at) tti - c (dot) org)
722    Date: 2004/11/24 14:30:00 CST
723    Tag: blume-20041124-position
724    Description:
725    
726    The compiler can now be compiled in a mode that makes structure Position
727    equal to Int64.  The default, however, is unchanged (Position = Int31)
728    for the time being.
729    
730    To enable 64-bit positions, use the following procedure:
731    
732    1. Start sml
733    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
734    3. Type
735          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
736    4. Run CMB.make() as usual.
737    
738    This is barely tested.  The only test so far was a little SML program
739    counting the number of characters in an 8-gigabyte file by
740    reading it character-by-character.  That test was successful.
741    
742    In support of 64-bit positions, a number of new functions have been
743    added to the runtime system.
744    
745    ----------------------------------------------------------------------
746    Name: Matthias Blume (blume (at) tti - c (dot) org)
747    Date: 2004/11/23 14:45:00 CST
748    Tag: blume-20041123-useFile
749    Description:
750    
751    Fixed a problem with unhelpful error messages related to problems with
752    .cm- or .sml files that appear as part of the sml command line.
753    
754    ----------------------------------------------------------------------
755    Name: Matthias Blume (blume (at) tti - c (dot) org)
756    Date: 2004/11/18 15:40:00 CST
757    Tag: Release_110_51
758    Description:
759    
760    New working version (110.51).  NEW BOOTFILES!
761    
762    ----------------------------------------------------------------------
763    Name: Matthias Blume (blume (at) tti - c (dot) org)
764    Date: 2004/11/18 15:35:00 CST
765    Tag: <none>
766    Description:
767    
768    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
769    Joemann).
770    
771    ----------------------------------------------------------------------
772    Name: Allen Leung (leunga (at) reservoir (dot) com)
773    Date: 2004/11/17 16:05:21 EST 2004
774    Tag: leunga-20041117-mlrisc-live-kill
775    Description:
776    
777       Added support for MLTree constructs LIVE and KILL
778    to all the architectures.
779    
780    ----------------------------------------------------------------------
781    Name: Matthias Blume (blume (at) tti - c (dot) org)
782    Date: 2004/11/13 00:20:00 CST
783    Tag: blume-20041113-versiontool
784    Description:
785    
786    - Stripped down the versiontool: It now only handles the version number.
787      The date string is generated at bootstrap time (during makeml).
788    
789    - In a previous commit, fixed a minor issue with how polyequal is being
790      translated.  In particular, the code now "looks through" abstractions.
791      This results in slightly fewer polyEqual warnings and hopefully slightly
792      more efficient code.  Important examples for where this matters are
793      the new int64 and word64 types.
794    
795    ----------------------------------------------------------------------
796    Name: Matthias Blume (blume (at) tti - c (dot) org)
797    Date: 2004/11/12 00:30:00 CST
798    Tag: blume-20041112-int64
799    Description:
800    
801    Structure Int64 fully hooked in.  (The implementation is not very
802    efficient, though.)
803    
804    ----------------------------------------------------------------------
805    Name: Matthias Blume (blume (at) tti - c (dot) org)
806    Date: 2004/11/11 17:30:00 CST
807    Tag: blume-20041111-more64
808    Description:
809    
810    All the pieces of Word64 are now there, with the exception of the
811    conversions from and to LargeWord. (Eventually these need to be identities,
812    but for the time being they don't even make sense because LargeWord is
813    32-bit wide.)
814    
815    Also started to add similar support for Int64, but major pieces of that
816    are still missing.
817    
818    ----------------------------------------------------------------------
819    Name: Matthias Blume (blume (at) tti - c (dot) org)
820    Date: 2004/11/11 00:15:00 CST
821    Tag: blume-20041111-word64
822    Description:
823    
824    Structure Word64 is now (almost) complete, word literals and patterns
825    seem to work.  There are a few odd pieces missing.  In particular,
826    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
827    at the moment.
828    
829    Making Word64 official would mean that LargeWord becomes Word64.  But
830    this requires extreme care because most word-word conversions have to
831    go through LargeWord, so making a mistake means loss of efficiency or
832    worse.  Eventually there will be a solution similar to (but actually
833    simpler than) what I did with IntInf.
834    
835    ----------------------------------------------------------------------
836    Name: Matthias Blume (blume (at) tti - c (dot) org)
837    Date: 2004/11/10 18:12:00 CST
838    Tag: blume-20041110-64bit
839    Description:
840    
841    More 64-bit hacking (but still not even half-way there yet).
842    Also, some assorted improvements to the handling of 8-bit words.
843    
844    ----------------------------------------------------------------------
845    Name: Matthias Blume (blume (at) tti - c (dot) org)
846    Date: 2004/11/09 17:50:00 CST
847    Tag: <none>
848    Description:
849    
850    Started adding some infrastructure for supporting 64-bit int- and
851    word-types.  (Still in its very early stages.)
852    
853    ----------------------------------------------------------------------
854    Name: Matthias Blume (blume (at) tti - c (dot) org)
855    Date: 2004/10/28 10:45:00 CDT
856    Tag: Release_110_50
857    Description:
858    
859    New working version (110.50).  NEW BOOTFILES!
860    
861                 =====================
862    
863    Also:
864    
865      - Changend config/srcarchiveurl from a file just
866        containing the URL string into a file containing
867        shell script code.  The code has access to the $VERSION variable.
868      - Made corresponding changes to config/install.sh and config/unpack.
869      - Default contents of config/srcarchiveurl uses $VERSION and
870        normally does not have to be edited to reflect a version change.
871    
872      (As a result, a version change can be done by just editing
873       config/version, the rest is now automatic.)
874    
875    ----------------------------------------------------------------------
876    Name: Matthias Blume (blume (at) tti - c (dot) org)
877    Date: 2004/10/27 17:50:00 CDT
878    Tag: blume-20041027-btrace-msg
879    Description:
880    
881    BackTrace.monitor now also reports the source of the exception that
882    triggered the trace.
883    
884    ----------------------------------------------------------------------
885    Name: Matthias Blume (blume (at) tti - c (dot) org)
886    Date: 2004/10/27 17:20:00 CDT
887    Tag: blume-20041027-x86-c-calls
888    Description:
889    
890    This is the HISTORY entry for two earlier commits, both concerning
891    the x86 c-calls code in MLRISC:
892    
893      - added a missing LOAD in the code that deals with struct arguments
894      - made sure the caller does not add the wrong number of bytes to the
895        stack pointer after a call of a function returning a struct
896        (the callee already pops the implicit argument which points to
897         the space reserved for the result)
898    
899    ----------------------------------------------------------------------
900    Name: Allen Leung (leunga (at) reservoir (dot) com)
901    Date: 2004/10/24 14:00:00 EST
902    Tag: leunga-20041024-x86-gas-fucomip
903    Description:
904    
905       John discovered a bug in the syntax of fucomip.
906       The opcodes FU?COMIP? have been changed to
907    
908           fu?comip? %st(i), %st
909    
910    ----------------------------------------------------------------------
911    Name: Matthias Blume (blume (at) tti - c (dot) org)
912    Date: 2004/10/20 15:06:00 CDT
913    Tag: blume-20041020-standalone-backtrace
914    Description:
915    
916    Added a mechanism for getting back-trace information from standalone
917    programs.  Here is how it works:
918    
919       1. The part of the program from which you want to get backtrace
920          information (usually the whole program) should be wrapped with
921          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
922          main program could be modified from something like
923    
924             fun main (pgm, args) = ...
925    
926         to
927    
928            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
929    
930       2. To be able to access BackTrace.monitor, you have to add
931          library $smlnj-tdp/plugins.cm to the .cm file that contains your
932          main function.
933    
934       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
935          CM might have created in the past for your project).
936    
937       4. Build the system using this command line:
938    
939             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
940                      myprog.cm MyProg.main myprog
941    
942          instead of the usual
943    
944             ml-build myprog.cm MyProg.main myprog
945    
946    I changed a library name:
947    
948       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
949    
950    New libraries:
951    
952       $smlnj-tdp/back-trace.cm
953          -- when loaded causes the back-trace plugin to be installed
954       $smlnj-tdp/coverage.cm
955          -- when loaded causes the coverage plugin to be installed
956    
957    ----------------------------------------------------------------------
958    Name: Matthias Blume (blume (at) tti - c (dot) org)
959    Date: 2004/10/18 16:45:00 CDT
960    Tag: blume-20041018-groupowner
961    Description:
962    
963    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
964    
965    Eliminated group owner specs from .cm files throughout the source tree.
966    
967    ----------------------------------------------------------------------
968    Name: Matthias Blume (blume (at) tti - c (dot) org)
969    Date: 2004/10/15 15:45:00 CDT
970    Tag: blume-20041015-coverage
971    Description:
972    
973    * Test coverage tool added!
974    * Further reorganization of tracing-, debugging-, and profiling support:
975    
976        - moved original BTImp -- now called BackTrace -- into a separate
977          library called $/trace-debug-profile.cm
978        - eliminated all mentions of BTrace from SMLofNJ.Internals
979        - only the instrumentation mechanism is now left in the compiler proper
980        - BackTrace module is a plugin which is NOT plugged in by default
981        - Coverage module is another such plugin
982    
983    To get the benefits of any of these plugin modules, the code in
984    question must be compiled with tdp instrumentation turned on.  This
985    can be done by setting SMLofNJ.Internals.TDP.mode to true.
986    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
987    
988    Plugins are selected at link time.  (Pre-compiled instrumented code
989    can be re-loaded with different plugins in effect.)  When an
990    instrumented module is linked, whatever plugins are at that time
991    enabled will come into effect for that module.
992    
993    To enable the back-trace plugin, load library $/trace-debug-profile.cm
994    and invoke BackTrace.install() (e.g., from the interactive prompt).
995    To enable the coverage plugin, load the same library and invoke
996    Coverage.install().
997    
998    Back-traces are generated automatically on uncaught exceptions and
999    when the code in question explicitly invokes BackTrace.trigger().
1000    
1001    Coverage (and execution frequency-) information must be queried
1002    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
1003    
1004    ----------------------------------------------------------------------
1005    Name: Matthias Blume (blume (at) tti - c (dot) org)
1006    Date: 2004/10/14 17:40:00 CDT
1007    Tag: blume-20041014-tdp-core
1008    Description:
1009    
1010    Snapshot of a significant overhaul of how the trace/debug/profile support
1011    is hooked into the system (specifically: Core and SMLofNJ.Internals).
1012    
1013    ----------------------------------------------------------------------
1014    Name: Matthias Blume (blume (at) tti - c (dot) org)
1015    Date: 2004/10/13 16:34:00 CDT
1016    Tag: blume-20041013-tdp
1017    Description:
1018    
1019    Some rationalization of names:
1020    
1021       structure BTrace -> structure TDPInstrument
1022       etc.
1023    
1024    This is is preparation of using the original back-trace
1025    instrumentation for other purposes.  "TDP" stands for
1026    Trace/Debug/Profile.
1027    
1028    The control flag controlling whether instrumentation is on or off is now
1029    registered under a different name, so instead of running sml as
1030    
1031     sml -Cinstrument.btrace-mode=true
1032    
1033    one has to say
1034    
1035     sml -Ctdp.instrument=true
1036    
1037    ----------------------------------------------------------------------
1038    Name: Matthias Blume (blume (at) tti - c (dot) org)
1039    Date: 2004/10/11 16:37:00 CDT
1040    Tag: blume-20041011-regions
1041    Description:
1042    
1043    Made some minor modifications to elabcore.sml to have source regions
1044    be propagated more tightly -- resulting in better (i.e., smaller)
1045    regions being reported in error- and debug messages.
1046    
1047    ----------------------------------------------------------------------
1048    Name: Matthias Blume (blume (at) tti - c (dot) org)
1049    Date: 2004/10/08 22:50:00 CDT
1050    Tag: blume-20041008-cmkw
1051    Description:
1052    
1053    Fixed handling of keywords in .cm files: After seeing "is" the lexer
1054    treats subsequent occurrences of "group", "library", "source", "is",
1055    "*", and "-" as ordinary identifiers rather than keywords.
1056    
1057    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
1058    is supposed to accept a tool argument called "source", but this did
1059    not work because of the clash with the keyword.
1060    
1061    ----------------------------------------------------------------------
1062    Name: Matthias Blume (blume (at) tti - c (dot) org)
1063    Date: 2004/10/07 16:00:00 CDT
1064    Tag: blume-20041007-cleanup
1065    Description:
1066    
1067    Assorted cleanup work:
1068    
1069      - got rid of intstrmap in favor of using the library's
1070        hash table implementation
1071      - threw out most of the pathnames stuff, as it was not used anyway
1072      - simplified tokentable implementation
1073      - fixed some minor spelling errors
1074    
1075    ----------------------------------------------------------------------
1076    Name: Matthias Blume (blume (at) tti - c (dot) org)
1077    Date: 2004/10/06 15:15:15 CDT
1078    Tag: blume-20041006-handler
1079    Description:
1080    
1081    Cleaned up the absyn to reflect the invariant that HANDLE always
1082    carries a FNexp as part of the type definition.  This eliminates some
1083    superfluous sanity checks at runtime down the road.
1084    
1085    Some minor cleanup of the btrace code.
1086    
1087    ----------------------------------------------------------------------
1088    Name: Matthias Blume (blume (at) tti - c (dot) org)
1089    Date: 2004/10/01 10:20:30 CDT
1090    Tag: blume-20041001-slave
1091    Description:
1092    
1093    Added hack to make slave mode work in the presence of the version
1094    tool.  (Still, since the master does two passes over the code for
1095    CMB.make, the release number gets bumped twice when slaves are
1096    attached.  I don't know if this is worth fixing...)
1097    
1098    ----------------------------------------------------------------------
1099    Name: Matthias Blume (blume (at) tti - c (dot) org)
1100    Date: 2004/09/30 10:55:00 CDT
1101    Tag: blume-20040930-version
1102    Description:
1103    
1104    * Moved the "version" magic into its own little library under
1105      src/system/smlnj/internal.  This avoids expensive reconstruction of
1106      a stable src/compiler/core.cm.
1107    
1108    * At the same time, structure CompilerVersion is now known as
1109      structure SMLNJVersion.
1110    
1111    * Arranged for the version tool to NOT kick in when rebuilding the system
1112      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
1113      Also, loading the versiontool does not work when rebuilding the system
1114      because CM is not properly initialized at that time.
1115    
1116    ----------------------------------------------------------------------
1117    Name: Matthias Blume (blume (at) tti - c (dot) org)
1118    Date: 2004/09/29 14:00:00 CDT
1119    Tag: blume-20040929-autoversion
1120    Description:
1121    
1122    Implemented some CM magic to have
1123        file src/compiler/TopLevel/main/version.sml
1124    generated automagically.
1125    The version is taken from two files: config/version and config/release.
1126    The first is expected to contain a two-part version number such as 110.49.
1127    The second should contain a single number, but it may be missing.
1128    
1129    If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
1130    time the version tool is loaded (which is the first time you say CMB.make),
1131    then the tool will increment the value stored in config/release every
1132    time CMB.make is invoked.
1133    
1134    The binfile format is now insensitive to anything beyond the first
1135    two components of a version number, so bumping the release does not render
1136    binfiles incompatible.  Auto-bumping can be used to keep track of versions
1137    during development without invalidating existing binfiles.
1138    
1139    In any case, every CMB.make updates the date information in version.sml.
1140    (This is the date that is printed in the banner.)
1141    
1142    ----------------------------------------------------------------------
1143    Name: Matthias Blume (blume (at) tti - c (dot) org)
1144    Date: 2004/09/28 10:53:00 CDT
1145    Tag: blume-20040928-controls
1146    Description:
1147    
1148    Some cleanup of the controls code.
1149    
1150    ----------------------------------------------------------------------
1151    Name: Matthias Blume (blume (at) tti - c (dot) org)
1152    Date: 2004/09/27 22:08:00 CDT
1153    Tag: blume-20040927-controls
1154    Description:
1155    
1156    Added two pieces of functionality to the Controls interface:
1157    
1158    1.   val save'restore: 'a control -> unit -> unit
1159    
1160       grabs the current value of the control in stage 1 and restores it
1161       in stage 2.
1162    
1163    2.   val set' : 'a control * 'a -> unit -> unit
1164    
1165       stores the given value into the control in stage 2 (i.e., delayed)
1166       but does all error checking in stage 1.
1167       (This is for string controls that need to do parse their argument --
1168        something that might fail.  In some cases, notably in CM, one
1169        already knows the intended argument but wants to delay the actual
1170        assignment until a time when error recovery would be more difficult.)
1171    
1172    Changed the handling of controls in tool arguments to classes "sml" and
1173    "lazysml":
1174       - use Controls.save'restore as a more robust way of restoring the
1175         old value (in particular: without having to re-parse the string)
1176       - use controls to handle the "overload" keyword in the init group
1177         (I believe this change actually fixes a long-standing obscure bug.)
1178    
1179    ----------------------------------------------------------------------
1180    Name: Matthias Blume (blume (at) tti - c (dot) org)
1181    Date: 2004/09/27 17:00:00 CDT
1182    Tag: blume-20040927-lazysml
1183    Description:
1184    
1185    Added a new tool class called "lazysml" to CM's tool chest.  The only
1186    difference to "sml" is that compilation is done with Control.lazysml
1187    set to true.  A source of class "lazysml" is automatically recognized
1188    by a file name suffix of ".lml".
1189    
1190    In addition to the above feature, the original class "sml" now also
1191    supports a tool argument "lazy" which has the same effect.  As a
1192    result, the following three lines are equivalent:
1193    
1194        foo.sml : lazysml
1195        foo.sml : sml (lazy)
1196        foo.sml (lazy)
1197    
1198    The setting goes into effect both during parsing and during
1199    compilation.  The original setting is restored right after parsing and
1200    after compilation, respectively.
1201    
1202    In addition to all the above, there is also a general mechanism to set
1203    ANY of the "controls" that are available at the command line via
1204    "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
1205    apply as well. (In fact, "lazy" is implemented as a special case of
1206    the general mechanism.)
1207    
1208    The .cm file syntax uses a new keyword tool argument called "with".
1209    There are several ways of indicating the desired settings:
1210    
1211        foo.sml (with:parser.quotations=true)
1212        foo.sml (with:(name:parser.quotations value:true))
1213        foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
1214        foo.sml (with:(name1=value1 name2=value2 ...))
1215        foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
1216    
1217        etc.
1218    
1219    Another possible abbreviation is to leave out the =v or value:v part
1220    if the name refers to a boolean control (in which case the value is
1221    taken to be true).  Thus, one could get lazy sml also by saying:
1222    
1223        foo.sml (with:parser.lazy-keyword=true)
1224        foo.sml (with:parser.lazy-keyword)
1225        foo.sml (with:(name:parser.lazy-keyword value:true))
1226        foo.sml (with:(name:parser.lazy-keyword))
1227    
1228    ----------------------------------------------------------------------
1229    Name: Matthias Blume (blume (at) tti - c (dot) org)
1230    Date: 2004/09/24 16:22:00 CDT
1231    Tag: blume-20040924-ppc-long-branch
1232    Description:
1233    
1234    Turned message about "emiting long form of branch" off by default.
1235    Added a control flag to turn it back on when desired.
1236    
1237    ----------------------------------------------------------------------
1238    Name: Matthias Blume (blume (at) tti - c (dot) org)
1239    Date: 2004/09/24 16:05:00 CDT
1240    Tag: blume-20040924-rounding
1241    Description:
1242    
1243    Applied patch for setting rounding modes under Mac OS X.  Thanks to
1244    Melissa O'Neill for providing the code!
1245    
1246    ----------------------------------------------------------------------
1247    Name: Matthias Blume (blume (at) tti - c (dot) org)
1248    Date: 2004/09/23 17:30:00 CDT
1249    Tag: blume-20040923-envvars
1250    Description:
1251    
1252    1. Changed definition of type ControlRegistry.registry_tree to
1253       include control_info (i.e., the name of the controlling environment
1254       variable).
1255    
1256    2. Added command-line flags -e and -E to print the names of environment
1257       variables that can be used to control internal settings.
1258       (This uses the new API mentioned in 1.)
1259    
1260    ----------------------------------------------------------------------
1261    Name: Matthias Blume (blume (at) tti - c (dot) org)
1262    Date: 2004/09/13 16:50:00 CDT
1263    Tag: Release_110_49
1264    Description:
1265    
1266    New working version (110.49).  NEW BOOTFILES!
1267    
1268    ----------------------------------------------------------------------
1269    Name: Matthias Blume
1270    Date: 2004/09/13 16:20:00 CDT
1271    Tag: blume-20040913-config-mlrisc
1272    Description:
1273    
1274    Put target "mlrisc" back into the default list.
1275    (There is no harm in having it, and some users have expressed their
1276    wish to have "mlrisc" included by default.)
1277    
1278    ----------------------------------------------------------------------
1279    Name: John Reppy
1280    Date: 2004/09/13
1281    Tag: jhr-20040913-signals
1282    Description:
1283    
1284    Fixed the signal masking code to properly nest mask/unmask operations
1285    on a per-signal basis.
1286    
1287    ----------------------------------------------------------------------
1288    Name: Matthias Blume (blume (at) tti - c (dot) org)
1289    Date: 2004/09/08 13:20:00 CDT
1290    Tag: blume-20040908-heap-magic
1291    Description:
1292    
1293    Bumped the heap macig number to 0x09082004 to account for the changed
1294    layout of the ML frame under MacOS X.
1295    
1296    ----------------------------------------------------------------------
1297    Name: Allen Leung (leunga (at) reservoir (dot) com)
1298    Date: 2004/09/03 11:26:00 EST
1299    Tag: leunga-20040903-cygwin-install
1300    Description:
1301    
1302       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
1303    The Cygwin runtime is turned on by setting the environment
1304    variable SMLNJ_CYGWIN_RUNTIME to 1.
1305    
1306    ----------------------------------------------------------------------
1307    Name: Matthias Blume (blume (at) tti - c (dot) org)
1308    Date: 2004/08/31 17:15:00 CDT
1309    Tag: blume-20040831-core
1310    Description:
1311    
1312    Added some exports to src/compiler/core.cm upon request by J. Joemann.
1313    
1314    ----------------------------------------------------------------------
1315    Name: Matthias Blume (blume (at) tti - c (dot) org)
1316    Date: 2004/08/30 17:55:00 CDT
1317    Tag: blume-20040830-installer
1318    Description:
1319    
1320    Upon request by Johannes Joemann:
1321    
1322    - improved ML code of installer to fall back to coping when renaming
1323      fails (i.e., when source and target are on different file systems);
1324      the code compiles but has yet to be tested in anger
1325    - removed mlrisc from list of default targets (config/targets)
1326    
1327    ----------------------------------------------------------------------
1328    Name: Matthias Blume (blume (at) tti - c (dot) org)
1329    Date: 2004/08/27 17:20:00 CDT
1330    Tag: blume-20040827-ptreql
1331    Description:
1332    
1333    Added ptreql primop to structure InlineT (upon request from Larry
1334    Paulson).
1335    
1336    ----------------------------------------------------------------------
1337    Name: Allen Leung (leunga (at) reservoir (dot) com)
1338    Date: 2004/08/15 21:21:00 EST
1339    Tag: leunga-110_48-udgraph
1340    Description:
1341    
1342    Another bug fix from Carl Hauser:
1343    
1344    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
1345    > 48c48
1346    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
1347    > e::L)
1348    > ---
1349    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
1350    > Without this, any deletion of an edge in an undirected graph does severe
1351    > violence to the graph.
1352    
1353    ----------------------------------------------------------------------
1354    Name: Allen Leung (leunga (at) reservoir (dot) com)
1355    Date: 2004/08/10 23:35:00 EST
1356    Tag: leunga-110_48-ppc
1357    Description:
1358    
1359       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
1360    
1361    ----------------------------------------------------------------------
1362    Name: Matthias Blume (blume (at) tti - c (dot) org)
1363    Date: 2004/08/10 12:00:00 CDT
1364    Tag: Release_110_48
1365    Description:
1366    
1367    New working version (110.48).  NEW BOOTFILES!
1368    
1369    ----------------------------------------------------------------------
1370    Name: Allen Leung (leunga (at) reservoir (dot) com)
1371    Date: 2004/08/09 12:21:00 EST
1372    Tag: leunga-110_47-dijsktra
1373    Description:
1374    
1375    Bug fix from Carl Hauser:
1376    
1377    single_source_shortest_paths in dijkstra.sml was observed to get wrong
1378    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
1379    
1380    The problem is that following the expression A.update(dist,s,Num.zero)
1381    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
1382    
1383    ----------------------------------------------------------------------
1384    Name: Matthias Blume (blume (at) tti - c (dot) org)
1385    Date: 2004/08/06 18:10:00 CDT
1386    Tag: blume-20040806-cmdline
1387    Description:
1388    
1389    Fiddled with handling of command-line options:
1390    
1391      * sml now quits after processing the command line
1392        if -H, -S, -h<n>, or -s<n> appears as the last
1393        command-line argument
1394      * a new option -q terminates the session when encountered on
1395        the command line; subsequent arguments will be ignored
1396      * bug fixes: short (erroneous) arguments are no longer ignored
1397        completely
1398    
1399    ----------------------------------------------------------------------
1400    Name: Allen Leung (leunga (at) reservoir (dot) com)
1401    Date: 2004/08/04 18:17:00 EST
1402    Tag: leunga-110_47-ppc-ibm-asm
1403    Description:
1404    
1405      - Added minimal IBM assembly syntax support for PowerPC.
1406    
1407      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
1408        been altered in the runtime.  We need an automatic way to keep the file
1409        in sync.
1410    
1411    ----------------------------------------------------------------------
1412    Name: Matthias Blume (blume (at) tti - c (dot) org)
1413    Date: 2004/08/04 14:00:00 CDT
1414    Tag: Release_110_47
1415    Description:
1416    
1417    New working version (110.47).  NEW BOOTFILES!
1418    
1419    ----------------------------------------------------------------------
1420    Name: Matthias Blume (blume (at) tti - c (dot) org)
1421    Date: 2004/08/03 14:25:00 CDT
1422    Tag: blume-20040803-callingconv
1423    Description:
1424    
1425    Added low-level support for choosing C calling conventions by
1426    twiddling the type of rawccall.  (See
1427    src/compiler/Semant/types/cproto.sml for details.)
1428    
1429    ----------------------------------------------------------------------
1430    Name: Matthias Blume (blume (at) tti - c (dot) org)
1431    Date: 2004/08/02 15:55:00 CDT
1432    Tag: blume-20040802-backout
1433    Description:
1434    
1435    Backed out of change to win32-filesys.c.  The earlier patch to
1436    get_file_time caused CM to produce files with the wrong time stamp.
1437    
1438    ----------------------------------------------------------------------
1439    Name: Matthias Blume (blume (at) tti - c (dot) org)
1440    Date: 2004/08/02 14:45:00 CDT
1441    Tag: blume-20040802-nlffi-win32
1442    Description:
1443    
1444    Added NLFFI support for Win32, adapted from a patch provided by David
1445    Hansel.  This is currently completely untested.  Also, the issue
1446    concerning stdcall vs. ccall is still unresolved.
1447    
1448    ----------------------------------------------------------------------
1449    Name: Matthias Blume (blume (at) tti - c (dot) org)
1450    Date: 2004/07/30 17:55:00 CDT
1451    Tag: blume-20040730-various
1452    Description:
1453    
1454    Gearing up towards 110.47...
1455    
1456    - various minor bugfixes to ml-nlffigen
1457    - a beginning of a manual for nlffi
1458    
1459    - eliminated 'export name=value' in config/install.sh as this does
1460      not work with certain versions of /bin/sh
1461      (Thanks to David King at Motorola for catching this.)
1462    
1463    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
1464      - added a test for tm==NULL to gmtime.c and localtime.c
1465      - applied patch for incorrect GetFileTime under win32
1466      - toSeconds -> toMilliseconds in Win32/win32-process.sml
1467    
1468    ----------------------------------------------------------------------
1469    Name: Matthias Blume (blume (at) tti - c (dot) org)
1470    Date: 2004/07/21 18:20:00 CDT
1471    Tag: blume-20040721-nlffigen
1472    Description:
1473    
1474    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
1475      for a typedef to an incomplete type, but leave out the "typ" member.
1476      (This is just for consistency.)
1477    - Started to produce what is supposed to become better (i.e., comprehensive)
1478      documentation of what ml-nlffigen does and produces.
1479    
1480    ----------------------------------------------------------------------
1481    Name: Matthias Blume (blume (at) tti - c (dot) org)
1482    Date: 2004/07/14 16:25:00 CDT
1483    Tag: blume-20040714-union
1484    Description:
1485    
1486    Added C_UNION to c-calls/c-types.sml and updated the machinery
1487    (ml-nlffigen, cproto.sml) that conveys C function interface
1488    information to the code generator.
1489    
1490    However, the actual architecture-specific implementation of function
1491    arguments and results that are C unions is still not implemented.
1492    
1493    ----------------------------------------------------------------------
1494  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
1495  Date: 2004/07/14 14:38:00 EST  Date: 2004/07/14 14:38:00 EST
1496  Tag: leunga-110_46_1-ppc-lwzu  Tag: leunga-110_46_1-ppc-lwzu

Legend:
Removed from v.1546  
changed lines
  Added in v.1921

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