blob: 6e93a46e69bcb924d00910da893a7cb807254b49 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* TEST
* native-compiler
** setup-simple-build-env
*** codegen
codegen_exit_status = "2"
*)
(*
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)
)
|
