API Annotations: AnnAt disconnected for TYPEAPP
authorAlan Zimmerman <alan.zimm@gmail.com>
Wed, 30 Jan 2019 14:20:52 +0000 (16:20 +0200)
committerBen Gamari <ben@smart-cactus.org>
Tue, 5 Feb 2019 03:23:10 +0000 (22:23 -0500)
commit22bcb1285ba15457c8a2ca299b5c405aee6997e6
tree6a83f8dbfd185383f0161d5ca8cb12d8c795821e
parent09a262c579ee82039d66d6891cbba5bda08e319f
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
15 files changed:
compiler/deSugar/DsMeta.hs
compiler/hieFile/HieAst.hs
compiler/hsSyn/Convert.hs
compiler/hsSyn/HsTypes.hs
compiler/parser/Parser.y
compiler/parser/RdrHsSyn.hs
compiler/rename/RnTypes.hs
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcHsType.hs
testsuite/tests/ghc-api/annotations/Makefile
testsuite/tests/ghc-api/annotations/T16236.stdout [new file with mode: 0644]
testsuite/tests/ghc-api/annotations/Test16236.hs [new file with mode: 0644]
testsuite/tests/ghc-api/annotations/all.T
testsuite/tests/parser/should_compile/DumpParsedAst.stderr
testsuite/tests/parser/should_compile/DumpRenamedAst.stderr