diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-12-04 21:50:40 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-05 23:01:55 -0500 |
| commit | 9e077999eb3d09af6f31eb92233d4d757ece75f8 (patch) | |
| tree | 295211c6306683eb4c41455bf9900f8fc3038267 /compiler/Language | |
| parent | 22bb89989fc0a907ef6b8f6ae99aa8907f67e438 (diff) | |
| download | haskell-9e077999eb3d09af6f31eb92233d4d757ece75f8.tar.gz | |
HsToken in TypeArg (#19623)
Updates the haddock submodule.
Diffstat (limited to 'compiler/Language')
| -rw-r--r-- | compiler/Language/Haskell/Syntax/Type.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/Language/Haskell/Syntax/Type.hs b/compiler/Language/Haskell/Syntax/Type.hs index 69cf084421..8898d2400b 100644 --- a/compiler/Language/Haskell/Syntax/Type.hs +++ b/compiler/Language/Haskell/Syntax/Type.hs @@ -756,6 +756,7 @@ data HsType pass | HsAppKindTy (XAppKindTy pass) -- type level type app (LHsType pass) + !(LHsToken "@" pass) (LHsKind pass) | HsFunTy (XFunTy pass) @@ -1181,14 +1182,13 @@ if they correspond to a visible 'forall'. -} -- | Arguments in an expression/type after splitting -data HsArg tm ty +data HsArg p tm ty = HsValArg tm -- Argument is an ordinary expression (f arg) - | HsTypeArg SrcSpan ty -- Argument is a visible type application (f @ty) - -- SrcSpan is location of the `@` + | HsTypeArg !(LHsToken "@" p) ty -- Argument is a visible type application (f @ty) | HsArgPar SrcSpan -- See Note [HsArgPar] -- type level equivalent -type LHsTypeArg p = HsArg (LHsType p) (LHsKind p) +type LHsTypeArg p = HsArg p (LHsType p) (LHsKind p) {- Note [HsArgPar] |