test/c/anf_block.sail


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

val print = "print_endline" : string -> unit

val main : unit -> unit

function main() = {
  match () {
    _ => {
      TEST = ()
    }
  };
  print("ok")
}