diff options
| author | Andreas Klebinger <klebinger.andreas@gmx.at> | 2023-01-04 15:09:21 +0100 |
|---|---|---|
| committer | Andreas Klebinger <klebinger.andreas@gmx.at> | 2023-01-06 11:37:58 +0100 |
| commit | 0366194bcfa263fa4013ac05d9795ffaba2c13a0 (patch) | |
| tree | c9316ffe3d07a160f63cd3f7b80fce02c678cd1e /compiler/Language | |
| parent | f649106d8c5304efceac999b0d833defaaa7d4a3 (diff) | |
| download | haskell-wip/andreask/spec-transitive.tar.gz | |
First PoC partially donewip/andreask/spec-transitive
Diffstat (limited to 'compiler/Language')
| -rw-r--r-- | compiler/Language/Haskell/Syntax/Binds.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/compiler/Language/Haskell/Syntax/Binds.hs b/compiler/Language/Haskell/Syntax/Binds.hs index c8d3e33fb6..2cd06c536a 100644 --- a/compiler/Language/Haskell/Syntax/Binds.hs +++ b/compiler/Language/Haskell/Syntax/Binds.hs @@ -36,7 +36,7 @@ import GHC.Data.Bag (Bag) import GHC.Types.Basic (InlinePragma, Activation) import GHC.Data.BooleanFormula (LBooleanFormula) -import GHC.Types.SourceText (StringLiteral, SourceText) +import GHC.Types.SourceText (StringLiteral) import Data.Void import Data.Bool @@ -482,6 +482,10 @@ isSpecLSig :: forall p. UnXRec p => LSig p -> Bool isSpecLSig (unXRec @p -> SpecSig {}) = True isSpecLSig _ = False +isSpecRecLSig :: forall p. UnXRec p => LSig p -> Bool +isSpecRecLSig (unXRec @p -> SpecRecSig {}) = True +isSpecRecLSig _ = False + isSpecInstLSig :: forall p. UnXRec p => LSig p -> Bool isSpecInstLSig (unXRec @p -> SpecInstSig {}) = True isSpecInstLSig _ = False @@ -491,6 +495,7 @@ isPragLSig :: forall p. UnXRec p => LSig p -> Bool isPragLSig (unXRec @p -> SpecSig {}) = True isPragLSig (unXRec @p -> InlineSig {}) = True isPragLSig (unXRec @p -> SCCFunSig {}) = True +isPragLSig (unXRec @p -> SpecRecSig {}) = True isPragLSig (unXRec @p -> CompleteMatchSig {}) = True isPragLSig _ = False |