blob: c656bfb013cdb50977028ac796d98a8ee2b106a9 (
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 rec even n =
if n = 0 then true
else try_with odd (n-1)
{ effc = fun (type a) (e : a t) ->
match e with
| E -> Some (fun k -> assert false)
| _ -> None }
and odd n =
if n = 0 then false
else even (n-1)
let _ =
let n = 100_000 in
Printf.printf "even %d is %B\n%!" n (even n)
|
