(* TEST
 native-compiler;
 setup-simple-build-env;
 codegen_exit_status = "2";
 codegen;
*)

(*
This test is here to ensure that the Cmm invariant checks
correctly catch broken Cmm programs.
*)

(function "bad_continuations" (x:int)
  (* Bad arity *)
  (catch
    (exit cont 0)
   with (cont) 1)
  (* Multiple handler definition *)
  (catch
    (exit cont 0)
   with (cont y:int) y)
  (* Exit out of scope of its handler *)
  (exit cont 0)
)