diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2023-01-10 23:14:50 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2023-01-18 20:41:52 +0300 |
| commit | 8b71f510126a190ed296c87b041ae33ad19807e6 (patch) | |
| tree | 4f0f2b87dd95037378713143ba8b3c9f86609ebc /compiler/Language/Haskell/Syntax/Pat.hs | |
| parent | 97ac8230b0a645aae27b7ee42aa55b0c84735684 (diff) | |
| download | haskell-wip/int-index/tyconpat-scoping.tar.gz | |
WIP: 22478 Type patternswip/int-index/tyconpat-scoping
Diffstat (limited to 'compiler/Language/Haskell/Syntax/Pat.hs')
| -rw-r--r-- | compiler/Language/Haskell/Syntax/Pat.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/compiler/Language/Haskell/Syntax/Pat.hs b/compiler/Language/Haskell/Syntax/Pat.hs index 66b9708bfe..fd5b052433 100644 --- a/compiler/Language/Haskell/Syntax/Pat.hs +++ b/compiler/Language/Haskell/Syntax/Pat.hs @@ -22,7 +22,7 @@ module Language.Haskell.Syntax.Pat ( Pat(..), LPat, ConLikeP, - HsConPatDetails, hsConPatArgs, + HsConPatDetails, hsConPatArgs, hsConPatTyArgs, HsConPatTyArg(..), HsRecFields(..), HsFieldBind(..), LHsFieldBind, HsRecField, LHsRecField, @@ -243,6 +243,11 @@ hsConPatArgs (PrefixCon _ ps) = ps hsConPatArgs (RecCon fs) = Data.List.map (hfbRHS . unXRec @p) (rec_flds fs) hsConPatArgs (InfixCon p1 p2) = [p1,p2] +hsConPatTyArgs :: forall p. HsConPatDetails p -> [HsConPatTyArg (NoGhcTc p)] +hsConPatTyArgs (PrefixCon tyargs _) = tyargs +hsConPatTyArgs (RecCon _) = [] +hsConPatTyArgs (InfixCon _ _) = [] + -- | Haskell Record Fields -- -- HsRecFields is used only for patterns and expressions (not data type |