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/src/system/Basis/Implementation/NJ/internals.sml
ViewVC logotype

Diff of /sml/trunk/src/system/Basis/Implementation/NJ/internals.sml

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

revision 681, Mon Jul 3 07:13:03 2000 UTC revision 682, Tue Jul 4 06:25:51 2000 UTC
# Line 39  Line 39 
39          end          end
40          fun report () = Core.bt_report () ()          fun report () = Core.bt_report () ()
41          fun save () = Core.bt_save () ()          fun save () = Core.bt_save () ()
42            local
43                exception BTraceTriggered of unit -> string list
44            in
45          (* The following function must be compiled with BT-instrumentation          (* The following function must be compiled with BT-instrumentation
46           * turned off because it relies on its exception handler to _not_           * turned off because it relies on its exception handler to _not_
47           * restore the bt-history! *)           * restore the bt-history! *)
# Line 46  Line 49 
49              val restore = save ()              val restore = save ()
50          in          in
51              work ()              work ()
52              handle e => let                  handle e as BTraceTriggered do_report' =>
53                           (restore (); hdl (e, do_report' ()))
54                         | e => let
55                         val do_report = report ()                         val do_report = report ()
56                     in                     in
57                         restore ();                         restore ();
58                         hdl (e, do_report ())                         hdl (e, do_report ())
59                     end                     end
60          end          end
61                fun trigger () = raise BTraceTriggered (report ())
62            end
63      end      end
64    
65    end;    end;

Legend:
Removed from v.681  
changed lines
  Added in v.682

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