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

Legend:
Removed from v.1645  
changed lines
  Added in v.1831

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