X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFamInstEnv.lhs;h=12df25d06ba4b140a6662b80ffb46f6eb115a031;hb=3787d9878e4d62829a555f01b2a4c5866f24f303;hp=a9e15487ad33ed045fe1a5793495086a29577a20;hpb=219f900f4e518e8158807cdda6fdec8331f701f0;p=ghc-hetmet.git

diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index a9e1548..12df25d 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -437,7 +437,7 @@ normaliseType env ty@(ForAllTy tyvar ty1)
     in  (mkForAllTyCoI tyvar coi,ForAllTy tyvar nty1)
 normaliseType env ty@(NoteTy note ty1)
   = let (coi,nty1) = normaliseType env ty1
-    in  (mkNoteTyCoI note coi,NoteTy note nty1)
+    in  (coi,NoteTy note nty1)
 normaliseType env ty@(TyVarTy _)
   = (IdCo,ty)
 normaliseType env (PredTy predty)