recursion-ninja pushed to branch wip/fix-26670 at Glasgow Haskell Compiler / GHC
Commits:
-
74ac93ee
by recursion-ninja at 2025-12-18T19:01:51+00:00
1 changed file:
Changes:
| ... | ... | @@ -106,9 +106,17 @@ import Data.Data |
| 106 | 106 | import Language.Haskell.Syntax.Binds.InlinePragma
|
| 107 | 107 | import Language.Haskell.Syntax.Extension
|
| 108 | 108 | |
| 109 | -data InlinePragmaGhcTag = InlinePragmaGhcTag
|
|
| 110 | - { inl_ghcrn_src :: {-# UNPACK#-} !SourceText
|
|
| 111 | - , inl_ghcrn_arity :: {-# UNPACK#-} !Arity
|
|
| 109 | +data XInlinePragmaGhc = XInlinePragmaGhc
|
|
| 110 | + { xinl_src :: SourceText
|
|
| 111 | + -- ^ See Note [Pragma source text]
|
|
| 112 | + , xinl_sat :: Maybe Arity
|
|
| 113 | + -- ^ @Just n@ <=> Inline only when applied to @n@ explicit
|
|
| 114 | + -- (non-type, non-dictionary) arguments.
|
|
| 115 | + --
|
|
| 116 | + -- That is, 'xinl_sat' describes the number of *source-code*
|
|
| 117 | + -- arguments the thing must be applied to. We add on the
|
|
| 118 | + -- number of implicit, dictionary arguments when making
|
|
| 119 | + -- the Unfolding, and don't look at inl_sat further
|
|
| 112 | 120 | }
|
| 113 | 121 | deriving (Eq, Data)
|
| 114 | 122 |