X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFamInstEnv.lhs;h=983f737e6d11c4f5a7e2670bd6bb34eb03e6daa4;hb=8ad973aef4ff86b5a3e2aa6276d9dd8c99732eca;hp=f442e02995d94310ed62fafd98442b13e6112caa;hpb=f7c8513de81ccb1bca62a8e4642926f19266845b;p=ghc-hetmet.git

diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index f442e02..983f737 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -23,9 +23,8 @@ module FamInstEnv (
 #include "HsVersions.h"
 
 import InstEnv
-import Unify
-import TcGadt
 import TcType
+import Unify
 import Type
 import TypeRep
 import TyCon
@@ -37,6 +36,7 @@ import UniqFM
 import Outputable
 import Maybes
 import Util
+import FastString
 
 import Maybe
 \end{code}
@@ -428,9 +428,6 @@ normaliseType env (FunTy ty1 ty2)
 normaliseType env (ForAllTy tyvar ty1)
   = let (coi,nty1) = normaliseType env ty1
     in  (mkForAllTyCoI tyvar coi,ForAllTy tyvar nty1)
-normaliseType env (NoteTy note ty1)
-  = let (coi,nty1) = normaliseType env ty1
-    in  (coi,NoteTy note nty1)
 normaliseType _   ty@(TyVarTy _)
   = (IdCo,ty)
 normaliseType env (PredTy predty)