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

Legend:
Removed from v.1638  
changed lines
  Added in v.1902

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