test/ocaml/short_circuit/sc.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

val fail : unit -> bool effect {escape}

function fail () = {
  assert(false);
  true
}

val main : unit -> unit effect {escape}

function main () = {
  assert(~(false & fail()));
  assert(true | fail());
  print("ok")
}