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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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

Legend:
Removed from v.1633  
changed lines
  Added in v.1852

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