File: test6.ml

package info (click to toggle)
js-of-ocaml 6.2.0-1
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 37,932 kB
  • sloc: ml: 135,957; javascript: 58,364; ansic: 437; makefile: 422; sh: 12; perl: 4
file content (27 lines) | stat: -rw-r--r-- 479 bytes parent folder | download | duplicates (3) 
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
 
(* TEST *)

open Effect
open Effect.Deep

type _ eff += E : unit eff
            | F : unit eff

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;

  begin match f E ok3 with
  | v -> v
  | effect F, k -> assert false
  end;
  Printf.printf "%b\n%!" !ok3