diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2019-01-30 16:20:52 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-08 11:00:22 -0500 |
| commit | cbfc9fcaa33c3b341830962906543dfca1dfedd7 (patch) | |
| tree | 919cbe496d074362c410a400f4d75703e306fcd3 /compiler/parser/Parser.y | |
| parent | be15f7457b98fa0378de7e8146c122757f03c4e9 (diff) | |
| download | haskell-cbfc9fcaa33c3b341830962906543dfca1dfedd7.tar.gz | |
API Annotations: AnnAt disconnected for TYPEAPP
For the code
type family F1 (a :: k) (f :: k -> Type) :: Type where
F1 @Peano a f = T @Peano f a
the API annotation for the first @ is not attached to a SourceSpan in
the ParsedSource
Closes #16236
Diffstat (limited to 'compiler/parser/Parser.y')
| -rw-r--r-- | compiler/parser/Parser.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y index e33b715b51..c5b5c5f118 100644 --- a/compiler/parser/Parser.y +++ b/compiler/parser/Parser.y @@ -1989,7 +1989,7 @@ tyapps :: { [Located TyEl] } -- NB: This list is reversed tyapp :: { Located TyEl } : atype { sL1 $1 $ TyElOpd (unLoc $1) } - | TYPEAPP atype { sLL $1 $> $ (TyElKindApp (getLoc $1) $2) } + | TYPEAPP atype { sLL $1 $> $ (TyElKindApp (comb2 $1 $2) $2) } | qtyconop { sL1 $1 $ TyElOpr (unLoc $1) } | tyvarop { sL1 $1 $ TyElOpr (unLoc $1) } | SIMPLEQUOTE qconop {% ams (sLL $1 $> $ TyElOpr (unLoc $2)) |