Commit 9d552c37 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

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
parent 5289f5d8
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment