Modify InlineSpec data constructor (helps fix #18138)

The inl_inline field of the InlinePragma record is modified to store pragma
source text by adding a data constructor of type SourceText. This can help in
tracking the actual text of pragma names.

Add/modify functions, modify type instance for InlineSpec type

Modify parser, lexer to handle InlineSpec constructors containing SourceText

Modify functions with InlineSpec type

Extract pragma source from InlineSpec for SpecSig, InlineSig types

Modify cvtInline function to add SourceText to InlineSpec type

Extract name for InlineSig, SpecSig from pragma, SpectInstSig from source (fixes #18138)

Extract pragma name for SpecPrag pragma, SpecSig signature

Add Haddock annotation for inlinePragmaName function

Add Haddock annotations for using helper functions in hsSigDoc

Remove redundant ppr in pragma name for SpecSig, InlineSig; update comment

Rename test to T18138 for misplaced SPECIALIZE pragma testcase

3 files changed, 7 insertions, 7 deletions

diff --git a/compiler/GHC/Core/Opt/Specialise.hs b/compiler/GHC/Core/Opt/Specialise.hs
index 05d2e868aa..7071932e2a 100644
--- a/compiler/GHC/Core/Opt/Specialise.hs
+++ b/compiler/GHC/Core/Opt/Specialise.hs
@@ -1578,7 +1578,7 @@ specCalls spec_imp env existing_rules calls_for_me fn rhs
                   = (neverInlinePragma, noUnfolding)
                         -- See Note [Specialising imported functions] in "GHC.Core.Opt.OccurAnal"
 
-                  | InlinePragma { inl_inline = Inlinable } <- inl_prag
+                  | isInlinablePragma inl_prag
                   = (inl_prag { inl_inline = NoUserInlinePrag }, noUnfolding)
 
                   | otherwise
diff --git a/compiler/GHC/Core/Opt/WorkWrap.hs b/compiler/GHC/Core/Opt/WorkWrap.hs
index ffb8f5c889..7cb9d6ad2f 100644
--- a/compiler/GHC/Core/Opt/WorkWrap.hs
+++ b/compiler/GHC/Core/Opt/WorkWrap.hs
@@ -745,8 +745,8 @@ mkWWBindPair ww_opts fn_id fn_info fn_args fn_body work_uniq div cpr
 
     work_rhs = work_fn (mkLams fn_args fn_body)
     work_act = case fn_inline_spec of  -- See Note [Worker activation]
-                   NoInline -> inl_act fn_inl_prag
-                   _        -> inl_act wrap_prag
+                   NoInline _  -> inl_act fn_inl_prag
+                   _           -> inl_act wrap_prag
 
     work_prag = InlinePragma { inl_src = SourceText "{-# INLINE"
                              , inl_inline = fn_inline_spec
diff --git a/compiler/GHC/Core/Unfold.hs b/compiler/GHC/Core/Unfold.hs
index 4e895b8b09..f8dadf8c16 100644
--- a/compiler/GHC/Core/Unfold.hs
+++ b/compiler/GHC/Core/Unfold.hs
@@ -50,7 +50,7 @@ import GHC.Core.DataCon
 import GHC.Types.Literal
 import GHC.Builtin.PrimOps
 import GHC.Types.Id.Info
-import GHC.Types.Basic  ( Arity, InlineSpec(..), inlinePragmaSpec )
+import GHC.Types.Basic  ( Arity, isNoInlinePragma )
 import GHC.Core.Type
 import GHC.Builtin.Names
 import GHC.Builtin.Types.Prim ( realWorldStatePrimTy )
@@ -970,7 +970,7 @@ certainlyWillInline :: UnfoldingOpts -> IdInfo -> Maybe Unfolding
 certainlyWillInline opts fn_info
   = case fn_unf of
       CoreUnfolding { uf_tmpl = expr, uf_guidance = guidance, uf_src = src }
-        | noinline     -> Nothing       -- See Note [Worker/wrapper for NOINLINE functions]
+        | noinline -> Nothing       -- See Note [Worker/wrapper for NOINLINE functions]
         | otherwise
         -> case guidance of
              UnfNever   -> Nothing
@@ -991,8 +991,8 @@ certainlyWillInline opts fn_info
       _other_unf       -> Nothing
 
   where
-    noinline     = inlinePragmaSpec (inlinePragInfo fn_info) == NoInline
-    fn_unf       = unfoldingInfo fn_info -- NB: loop-breakers never inline
+    noinline = isNoInlinePragma (inlinePragInfo fn_info)
+    fn_unf   = unfoldingInfo fn_info -- NB: loop-breakers never inline
 
         -- The UnfIfGoodArgs case seems important.  If we w/w small functions
         -- binary sizes go up by 10%!  (This is with SplitObjs.)