X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyFuns.lhs;h=706fe2fe2a2dd4cd12eea9267d329e208cdb7959;hb=f3399c446c7507d46d6cc550aa2fe7027dbc1b5b;hp=ca3c4a813ddea233c5acb28736962202c821db58;hpb=b6d08641e2757898470a10dfa906084ade8ab835;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcTyFuns.lhs b/compiler/typecheck/TcTyFuns.lhs
index ca3c4a8..706fe2f 100644
--- a/compiler/typecheck/TcTyFuns.lhs
+++ b/compiler/typecheck/TcTyFuns.lhs
@@ -233,7 +233,7 @@ tcGenericNormaliseFamInst fun (ForAllTy tyvar ty1)
 	}
 tcGenericNormaliseFamInst fun (NoteTy note ty1)
   = do	{ (coi,nty1) <- tcGenericNormaliseFamInst fun ty1
-	; return (mkNoteTyCoI note coi, NoteTy note nty1)
+	; return (coi, NoteTy note nty1)
 	}
 tcGenericNormaliseFamInst fun ty@(TyVarTy tv)
   | isTcTyVar tv