From f4799004f028094c775c824409bac4e3590b2421 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 May 2009 10:35:25 -0400
Subject: Demo compiles with pattern-matching-fu

---
 src/reduce.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/reduce.sml')

diff --git a/src/reduce.sml b/src/reduce.sml
index 9460d3fe..a6c0b38a 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -390,6 +390,9 @@ fun kindConAndExp (namedC, namedE) =
                       | _ => default ()
                 end
 
+              | ECase (_, [((PRecord [], _), e)], _) => exp env e
+              | ECase (_, [((PWild, _), e)], _) => exp env e
+
               | ECase (e, pes, {disc, result}) =>
                 let
                     fun patBinds (p, _) =
-- 
cgit v1.2.3