SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/DebugProf/profile/btimp.sml
Diff of /sml/trunk/src/compiler/DebugProf/profile/btimp.sml
Parent Directory
|
Revision Log
|
Patch
18 |
* author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) |
* author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) |
19 |
*) |
*) |
20 |
structure BTImp : sig |
structure BTImp : sig |
21 |
|
val install : bool ref -> unit |
22 |
end = struct |
end = struct |
23 |
|
|
24 |
structure M = IntRedBlackMap |
structure M = IntRedBlackMap |
185 |
do_report |
do_report |
186 |
end |
end |
187 |
|
|
188 |
fun install () = |
fun install enabled = let |
189 |
|
fun mode x = !enabled before Option.app (fn new => enabled := new) x |
190 |
|
in |
191 |
SMLofNJ.Internals.BTrace.install |
SMLofNJ.Internals.BTrace.install |
192 |
{ corefns = { save = save, |
{ corefns = { save = save, |
193 |
push = push, |
push = push, |
196 |
reserve = reserve, |
reserve = reserve, |
197 |
register = register, |
register = register, |
198 |
report = report }, |
report = report }, |
199 |
reset = reset } |
reset = reset, |
200 |
|
mode = mode } |
201 |
val _ = install () |
end |
202 |
end |
end |
|
Legend:
Removed from v.1228 |
|
changed lines |
|
Added in v.1229 |
|
|