blob: fc8e74487040a369a3d7eb0e1b7cd9b65c7a0c9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(* TEST *)
open Effect
open Effect.Deep
type _ t += Foo : int -> int t
let f () = (perform (Foo 3)) (* 3 + 1 *)
+ (perform (Foo 3)) (* 3 + 1 *)
let r =
try_with f ()
{ effc = fun (type a) (e : a t) ->
match e with
| Foo i -> Some (fun (k : (a, _) continuation) ->
try_with (continue k) (i + 1)
{ effc = fun (type a) (e : a t) ->
match e with
| Foo i -> Some (fun k -> failwith "NO")
| _ -> None })
| e -> None }
let () = Printf.printf "%d\n" r
|