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.sig
ViewVC logotype

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

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 675, Fri Jun 23 09:18:18 2000 UTC
# Line 27  Line 27 
27    (* reset the total real and CPU time timers *)    (* reset the total real and CPU time timers *)
28      val resetTimers : unit -> unit      val resetTimers : unit -> unit
29    
30    end;    (* back-tracing control (experimental; M.Blume, 06/2000) *)
31        structure BTrace : sig
32            exception BTrace of unit -> string list
33            val install : { corefns: { save: unit -> unit -> unit,
34                                       push: unit -> unit -> unit,
35                                       add: int -> unit,
36                                       register: int * string -> unit,
37                                       report: unit -> unit -> string list },
38                            reset: unit -> unit,
39                            mkid: string -> int }
40                          -> unit
41            val mode : bool option -> bool  (* turn annotation pass on/off *)
42            val report : unit -> unit -> string list
43            val mkid : string -> int        (* "intern" a string *)
44            val trigger : unit -> 'a
45            (* The following is needed in evalloop.sml (or any other module
46             * that explicitly handles the BTrace exception but hasn't itself
47             * been compiled with mode=true) to make sure that the call
48             * history is being unwound correctly. *)
49            val save : unit -> unit -> unit
50        end
51    
52      end;

Legend:
Removed from v.651  
changed lines
  Added in v.675

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