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

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

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

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