X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FUnify.lhs;h=01432356f695ceae45604ca298242aafe13d905c;hb=5fa56a912e7583865554e43bee292f4e94a69b93;hp=f1bc487153df7a43c4d32b1c41b06a3ec6f5d91c;hpb=6a1200670401a9d218f45bf913d0bd6fe95510ce;p=ghc-hetmet.git

diff --git a/ghc/compiler/types/Unify.lhs b/ghc/compiler/types/Unify.lhs
index f1bc487..0143235 100644
--- 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)