From: simonpj@microsoft.com <unknown>
Date: Fri, 5 Nov 2010 13:15:45 +0000 (+0000)
Subject: Track change in isInlinePragma
X-Git-Tag: 2010-11-18~31
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=9d552c373cad90d1da673f3140caf1d8779f6840

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
---

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)