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
30
|
(* TEST
*)
open Effect
open Effect.Deep
type _ t += E : unit t
| F : unit t
let () =
let ok1 = ref false
and ok2 = ref true
and ok3 = ref false in
let f e r =
try perform e with
| Unhandled E -> r := not !r
in
f E ok1;
Printf.printf "%b\n%!" !ok1;
begin try f F ok2 with Unhandled _ -> () end;
Printf.printf "%b\n%!" !ok2;
try_with (f E) ok3 {
effc = fun (type a) (e : a t) ->
match e with
| F -> Some (fun k -> assert false)
| _ -> None
};
Printf.printf "%b\n%!" !ok3
|
