[GHC] #16236: API Annotations: AnnAt disconnected for TYPEAPP
#16236: API Annotations: AnnAt disconnected for TYPEAPP -------------------------------------+------------------------------------- Reporter: alanz | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 (Parser) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect API Unknown/Multiple | annotation Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- For the code {{{#!hs 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` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16236> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#16236: API Annotations: AnnAt disconnected for TYPEAPP -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect API | Unknown/Multiple annotation | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by alanz): * owner: (none) => alanz -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16236#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#16236: API Annotations: AnnAt disconnected for TYPEAPP -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: merge Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect API | Unknown/Multiple annotation | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by alanz): * status: new => merge Comment: This has landed in master as https://gitlab.haskell.org/ghc/ghc/commit/cbfc9fcaa33c3b341830962906543dfca1... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16236#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#16236: API Annotations: AnnAt disconnected for TYPEAPP -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: merge Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect API | Unknown/Multiple annotation | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/284 -------------------------------------+------------------------------------- Changes (by bgamari): * differential: => https://gitlab.haskell.org/ghc/ghc/merge_requests/284 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16236#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#16236: API Annotations: AnnAt disconnected for TYPEAPP -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: merge Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect API | Unknown/Multiple annotation | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/284 -------------------------------------+------------------------------------- Comment (by Marge Bot <ben+marge-bot@…>): In [changeset:"cbfc9fcaa33c3b341830962906543dfca1dfedd7/ghc" cbfc9fca/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="cbfc9fcaa33c3b341830962906543dfca1dfedd7" 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16236#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC