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

Legend:
Removed from v.1613  
changed lines
  Added in v.1896

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