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

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

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