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

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

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