test/c/fallthrough_exception.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

default Order dec

$include <prelude.sail>

val print = "print_endline" : string -> unit

union exception = {
  E1 : unit,
  E2 : unit
}

function main((): unit) -> unit = {
  try {
    try throw(E2()) catch {
      E1() => print("E1")
    }
  } catch {
    E2() => print("E2")
  }
}