X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyFuns.lhs;h=5a6f08454f6047d8d5f1e7822aa2679fecfc4034;hb=dd99b6f8c61f393087d03cd697c06051a43ca4e9;hp=3bd5fb60213d14148117dcf0548e09fb8e8481a5;hpb=b5a8dd88e3939cf547be50ab62bae84f5bf0398d;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcTyFuns.lhs b/compiler/typecheck/TcTyFuns.lhs
index 3bd5fb6..5a6f084 100644
--- a/compiler/typecheck/TcTyFuns.lhs
+++ b/compiler/typecheck/TcTyFuns.lhs
@@ -35,6 +35,7 @@ import Bag
 import Outputable
 import SrcLoc	( Located(..) )
 import Maybes
+import FastString
 
 -- standard
 import Data.List
@@ -229,10 +230,6 @@ tcGenericNormaliseFamInst fun (ForAllTy tyvar ty1)
   = do 	{ (coi,nty1) <- tcGenericNormaliseFamInst fun ty1
 	; return (mkForAllTyCoI tyvar coi, mkForAllTy tyvar nty1)
 	}
-tcGenericNormaliseFamInst fun (NoteTy note ty1)
-  = do	{ (coi,nty1) <- tcGenericNormaliseFamInst fun ty1
-	; return (coi, NoteTy note nty1)
-	}
 tcGenericNormaliseFamInst fun ty@(TyVarTy tv)
   | isTcTyVar tv
   = do	{ traceTc (text "tcGenericNormaliseFamInst" <+> ppr ty)
@@ -1155,7 +1152,7 @@ genericNormaliseInsts isWanted fun insts
 			      --        else
 			      -- 	  dict' = dict  `cast` co
 		          expr      = HsVar $ instToId source_dict
-		          cast_expr = HsWrap (WpCo st_co) expr
+		          cast_expr = HsWrap (WpCast st_co) expr
 			  rhs       = L (instLocSpan loc) cast_expr
 			  binds     = instToDictBind target_dict rhs
 		      -- return the new inst