ekdohibs / joujou Goto Github PK

effect exit = Exit : int;;
type unit = Tt;;
type ('a, !r) typ = T of (unit -[exit | !r]-> 'a -[!r]-> 'a);;
type ('a, !r) typ2 = T2 of (unit -[!r]-> 'a -[!r]-> 'a);;

effect test2 = Test : int;;

let g = fun m ->
  let w = fun x -> match x with Tt -> let n = ifzero m then Test else Exit in fun z -> ifzero n then z else z+1 in
  let ww = T w in
  ww

let g1 = fun m -> match (match g m with | T w -> w Tt) with effect Test k -> k 8 | effect Exit k -> k 0 | z -> z;;

let _ =
  match (
  let _ = print (g1 0 18) in
  print (g1 1 18)) with
  effect Test k -> k 990
  | z -> z

let f =
  let w = fun x -> match x with Tt -> let n = Test in fun z -> ifzero n then z else z in
  let ww = T w in
  let yolo = fun z ->
  let aux = fun t -> match t with T g -> 0 in
  let aux2 = fun t2 -> match t2 with T2 g -> aux (T g) in
  z 0 in
  0

effect get = Get : int
effect set = Set : int -> int

let test_state = fun x ->
  let _ = print 0 in
  let _ = print Get in
  let _ = Set 42 in
  let _ = print Get in
  let _ = print Get in
  let _ = print Get in
  let _ = Set 12 in
  let _ = print (Set 17) in
  let _ = print 213812 in
  print Get

let run_state = fun f ->
  match f 0 with
  | x -> fun s -> x
  | effect Get k -> fun s -> k s
  | effect Set s k -> fun _ -> k 0

let _ = let zz = run_state test_state 23 in print zz