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

val test : forall ('a : Type). unit -> 'a effect {escape}

function test () = exit(())