Opened 7 months ago

Last modified 6 months ago

#16236 merge bug

API Annotations: AnnAt disconnected for TYPEAPP

Reported by: alanz Owned by: alanz
Priority: normal Milestone: 8.8.1
Component: Compiler (Parser) Version: 8.6.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Incorrect API annotation Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): https://gitlab.haskell.org/ghc/ghc/merge_requests/284
Wiki Page:

Description

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 SourcSpan in the ParsedSource

Change History (4)

comment:1 Changed 7 months ago by alanz

Owner: set to alanz

comment:2 Changed 7 months ago by alanz

Status: newmerge

comment:3 Changed 6 months ago by bgamari

Differential Rev(s): https://gitlab.haskell.org/ghc/ghc/merge_requests/284

comment:4 Changed 6 months ago by Marge Bot <ben+marge-bot@…>

In cbfc9fca/ghc:

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
Note: See TracTickets for help on using tickets.