X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcBinds.lhs;h=9e60bbd47f29bb61f0bf384a7130be8183ed75be;hp=db1a37ab0d26e1452b51bd39d575fef652e13aeb;hb=43a2e4a26175b9dbf29e39b97f7d032ef00f9993;hpb=3e35714a039779be26df0bbdeba4e2a282ec799a

diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index db1a37a..9e60bbd 100644
--- a/compiler/typecheck/TcBinds.lhs
+++ b/compiler/typecheck/TcBinds.lhs
@@ -426,10 +426,8 @@ tcSpecPrag :: TcId -> LHsType Name -> InlineSpec -> TcM Prag
 tcSpecPrag poly_id hs_ty inl
   = do	{ let name = idName poly_id
 	; spec_ty <- tcHsSigType (FunSigCtxt name) hs_ty
-	; (co_fn, lie) <- getLIE (tcSubExp (SpecPragOrigin name) (idType poly_id) spec_ty)
-	; extendLIEs lie
-	; let const_dicts = map instToId lie
-	; return (SpecPrag (mkHsWrap co_fn (HsVar poly_id)) spec_ty const_dicts inl) }
+	; co_fn <- tcSubExp (SpecPragOrigin name) (idType poly_id) spec_ty
+	; return (SpecPrag (mkHsWrap co_fn (HsVar poly_id)) spec_ty inl) }
 	-- Most of the work of specialisation is done by 
 	-- the desugarer, guided by the SpecPrag