summaryrefslogtreecommitdiff
path: root/test/genericret.myr
diff options
context:
space:
mode:
Diffstat (limited to 'test/genericret.myr')
-rw-r--r--test/genericret.myr1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/genericret.myr b/test/genericret.myr
index d53de5d..08dd2b3 100644
--- a/test/genericret.myr
+++ b/test/genericret.myr
@@ -12,6 +12,7 @@ const f = {-> t(int)
const main = {
match f()
| `None: std.exit(42)
+ | _: std.die("Impossible match failure\n");
;;
std.exit(0)
}