[project @ 2004-12-21 12:09:55 by simonpj]

Add missing NoteTy cases to unify_

[project @ 2004-12-21 12:09:55 by simonpj]
Add missing NoteTy cases to unify_
5fa56a91 · simonpj · 6a120067 · 5fa56a91
Commit 5fa56a91 authored Dec 21, 2004 by simonpj
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

ghc/compiler/types/Unify.lhs ghc/compiler/types/Unify.lhs +3 -0

No files found.
--- a/ghc/compiler/types/Unify.lhs
+++ b/ghc/compiler/types/Unify.lhs
@@ -265,6 +265,9 @@ unify subst ty1 ty2 = -- pprTrace "unify" (ppr subst <+> pprParendType ty1 <+> p
 unify_ subst (TyVarTy tv1) ty2  = uVar False subst tv1 ty2
 unify_ subst ty1 (TyVarTy tv2)  = uVar True  subst tv2 ty1

+unify_ subst (NoteTy _ ty1) ty2  = unify subst ty1 ty2
+unify_ subst ty1 (NoteTy _ ty2)  = unify subst ty1 ty2
+
 unify_ subst (PredTy p1) (PredTy p2) = unify_pred subst p1 p2

 unify_ subst t1@(TyConApp tyc1 tys1) t2@(TyConApp tyc2 tys2)