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