From 9d552c373cad90d1da673f3140caf1d8779f6840 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 5 Nov 2010 13:15:45 +0000 Subject: [PATCH] Track change in isInlinePragma In TcBinds we want to use isAnyInlinePragma, to get both INLINE and INLINABLE. I don't know why this isn't leading to failures for others! The (bogus) error I got, triggered by this bug was: libraries\haskeline\System\Console\Haskeline\Key.hs:23:1: You cannot SPECIALISE `M.findWithDefault' because its definition has no INLINE/INLINABLE pragma --- compiler/typecheck/TcBinds.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs index 3aaa58a..f4f7e47 100644 --- a/compiler/typecheck/TcBinds.lhs +++ b/compiler/typecheck/TcBinds.lhs @@ -575,7 +575,7 @@ tcImpPrags prags tcImpSpec :: Sig Name -> TcM TcSpecPrag tcImpSpec prag@(SpecSig (L _ name) _ _) = do { id <- tcLookupId name - ; checkTc (isInlinePragma (idInlinePragma id)) + ; checkTc (isAnyInlinePragma (idInlinePragma id)) (impSpecErr name) ; tcSpec id prag } tcImpSpec p = pprPanic "tcImpSpec" (ppr p) -- 1.7.10.4