Merge remote-tracking branch 'origin' into codegen

1 files changed, 14 insertions, 1 deletions

diff --git a/test/c/exception.sail b/test/c/exception.sail
index 4e74fcae..251852c9 100644
--- a/test/c/exception.sail
+++ b/test/c/exception.sail
@@ -47,6 +47,19 @@ function main () = {
     },
     _            => ()
   };
+  try throw(Eunknown()) catch {
+    _ => try let _ = g() in () catch {
+      _ => print("caught old exception")
+    }
+  };
+  try
+    try throw Eunknown() catch {
+      Estring(_) => ()
+    }
+  catch {
+    Eunknown() => print("Fall through OK"),
+    _ => ()
+  };
   f();
   ()
-}
\ No newline at end of file
+}