1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
let debug = Trace.debug "abort"
let files = ref ([] : Uutil.File.t list)
let abortAll = ref false
(****)
let reset () = files := []; abortAll := false
(****)
let file id =
debug (fun() -> Util.msg "Aborting line %d\n" (Uutil.File.toLine id));
files := id :: !files
let all () = abortAll := true
(****)
let check id =
debug (fun() -> Util.msg "Checking line %d\n" (Uutil.File.toLine id));
if !abortAll || Safelist.mem id !files then begin
debug (fun() ->
Util.msg "Abort failure for line %d\n" (Uutil.File.toLine id));
raise (Util.Transient "Aborted")
end
let testException e = e = Util.Transient "Aborted"
|
