Extend unifyTypes to matching operators

Ignore-this: 6951e456907f60f695cecce3f8bb49cd darcs-hash:20111020130404-e29d1-482762198691b296e5e2f0fa3613f2f2d591e1d5.gz
adamgundry · Oct 20, 2011 · 16f5aba · 16f5aba
1 parent b55e46d
commit 16f5aba
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Unify.lhs b/Unify.lhs
@@ -119,6 +119,9 @@
 >         (unifyTypes f1 f2 >> unifyTypes s1 s2)
 >         (erk "Mismatched kinds")
 
+> unifyTypes (UnOp o)       (UnOp o')  | o == o' = return ()
+> unifyTypes (BinOp o)      (BinOp o') | o == o' = return ()
+
 > unifyTypes (TyVar alpha)  tau            = startSolve alpha tau
 > unifyTypes tau            (TyVar alpha)  = startSolve alpha tau
 > unifyTypes tau            upsilon        = errCannotUnify (fogTy tau) (fogTy upsilon)