From df7dab936f11310cf8e422eb4c06b2815eaf2807 Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Sun, 5 May 2024 21:25:13 -0700
Subject: Fix a bug in pattern matching.

---
 elab.sml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'elab.sml')

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) =
-- 
cgit v1.3.1