fix list equality

HigherOrderCO · Oct 21, 2024 · 57fd51c · 57fd51c
1 parent 43512c5
commit 57fd51c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Kind/Equal.hs b/src/Kind/Equal.hs
@@ -118,7 +118,9 @@ identical a b dep = do
   go (Txt aTxt) (Txt bTxt) dep =
     return (aTxt == bTxt)
   go (Lst aLst) (Lst bLst) dep =
-    and <$> zipWithM (\a b -> identical a b dep) aLst bLst
+    if length aLst == length bLst
+      then and <$> zipWithM (\a b -> identical a b dep) aLst bLst
+      else return False
   go (Nat aVal) (Nat bVal) dep =
     return (aVal == bVal)
   go (Src aSrc aVal) b dep =