remove use of tail

disco-lang · Dec 25, 2024 · 2414884 · 2414884
1 parent 73491cf
commit 2414884
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Disco/Typecheck/Unify.hs b/src/Disco/Typecheck/Unify.hs
@@ -121,7 +121,7 @@ unify' baseEq tyDefns eqs = evalStateT (go eqs) S.empty
 equate :: TyDefCtx -> [Type] -> Maybe S
 equate tyDefns tys = unify tyDefns eqns
  where
-  eqns = zip tys (tail tys)
+  eqns = zip tys (drop 1 tys)
 
 occurs :: Name Type -> Type -> Bool
 occurs x = anyOf fv (== x)