path: root/test/typecheck/pass/exit1.sail

val test : unit -> atom(6) effect {escape}

function test () = {
  exit(());
  6
}