Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

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

revision 1655, Mon Oct 18 21:45:30 2004 UTC revision 1656, Wed Oct 20 20:05:45 2004 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2004/10/20 15:06:00 CDT
18    Tag: blume-20041020-standalone-backtrace
19    Description:
20    
21    Added a mechanism for getting back-trace information from standalone
22    programs.  Here is how it works:
23    
24       1. The part of the program from which you want to get backtrace
25          information (usually the whole program) should be wrapped with
26          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
27          main program could be modified from something like
28    
29             fun main (pgm, args) = ...
30    
31         to
32    
33            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
34    
35       2. To be able to access BackTrace.monitor, you have to add
36          library $smlnj-tdp/plugins.cm to the .cm file that contains your
37          main function.
38    
39       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
40          CM might have created in the past for your project).
41    
42       4. Build the system using this command line:
43    
44             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
45                      myprog.cm MyProg.main myprog
46    
47          instead of the usual
48    
49             ml-build myprog.cm MyProg.main myprog
50    
51    I changed a library name:
52    
53       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
54    
55    New libraries:
56    
57       $smlnj-tdp/back-trace.cm
58          -- when loaded causes the back-trace plugin to be installed
59       $smlnj-tdp/coverage.cm
60          -- when loaded causes the coverage plugin to be installed
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume (blume (at) tti - c (dot) org)
64  Date: 2004/10/18 16:45:00 CDT  Date: 2004/10/18 16:45:00 CDT
65  Tag: blume-20041018-groupowner  Tag: blume-20041018-groupowner
66  Description:  Description:

Legend:
Removed from v.1655  
changed lines
  Added in v.1656

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