From f4351288c5b57b130c0a75e5e84a445ca513527f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 31 Jul 2008 10:06:27 -0400
Subject: Elaborating some basic pattern matching

---
 src/explify.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/explify.sml')

diff --git a/src/explify.sml b/src/explify.sml
index c193a631..da94ba94 100644
--- a/src/explify.sml
+++ b/src/explify.sml
@@ -89,6 +89,8 @@ fun explifyExp (e, loc) =
                                                      {field = explifyCon field, rest = explifyCon rest}), loc)
       | L.EFold k => (L'.EFold (explifyKind k), loc)
 
+      | L.ECase _ => raise Fail "Explify ECase"
+
       | L.EError => raise Fail ("explifyExp: EError at " ^ EM.spanToString loc)
 
 fun explifySgi (sgi, loc) =
-- 
cgit v1.2.3