Permalink
Browse files

Fix unifier bug

  • Loading branch information...
1 parent 07e10a7 commit 36b36decb01961f65dcb84895b6b34f77b45638b Edwin Brady committed Jul 7, 2011
Showing with 3 additions and 0 deletions.
  1. +3 −0 Ivor/Unify.lhs
View
@@ -104,6 +104,9 @@ Collect names which do unify, and ignore errors
> un envl envr t (Bind x b@(B (Let v) ty) (Sc sc)) acc
> = un envl ((x,b):envr) t sc acc
> -- combine bu scu
+> un envl envr x@(App (P f) s) y@(App (P f') s') acc
+> | x == y && not ignore = return acc
+> | x /=y && not ignore = ifail $ ICantUnify (Ind x) (Ind y)
> -- if unifying the functions fails because the names are different,
> -- unifying the arguments is going to be a waste of time bec
> un envl envr x@(App f s) y@(App f' s') acc

0 comments on commit 36b36de

Please sign in to comment.