blob: 78481d6404f37fca3a05309847301f0bb5e61a1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
(* TEST
*)
open Effect
open Effect.Deep
type _ t += E : unit t
let () =
try_with perform E
{ effc = fun (type a) (e : a t) ->
match e with
| E -> Some (fun k ->
begin match k = k with
| _ -> assert false
| exception (Invalid_argument _) -> print_endline "ok"
end;
begin match Hashtbl.hash k with
| _ -> print_endline "ok"
end)
| e -> None }
|