From 5fa56a912e7583865554e43bee292f4e94a69b93 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 21 Dec 2004 12:09:55 +0000
Subject: [PATCH] [project @ 2004-12-21 12:09:55 by simonpj] Add missing
 NoteTy cases to unify_

---
 ghc/compiler/types/Unify.lhs |    3 +++
 1 file changed, 3 insertions(+)

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) 
-- 
1.7.10.4