Fix a bug in pattern matching.

1 files changed, 1 insertions, 4 deletions

diff --git a/elab.sml b/elab.sml
index 784515d..b62adc9 100644
--- a/elab.sml
+++ b/elab.sml
@@ -117,10 +117,7 @@ struct
             (enumerate firstRow)
         in
           case refutablePattern of
-            NONE =>
-              if null rows
-              then hd actions
-              else raise Fail "redundant match"
+            NONE => hd actions
           | SOME (i, _) =>
               let
                 val (patterns, occurrences) =