[GHC] #11321: API Annotations: AnnTilde missing
#11321: API Annotations: AnnTilde missing -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In T10689a.hs, the fragment {{{#!hs data instance Sing (z :: [a]) = z ~ '[] => SNil | forall (m :: a) (n :: [a]). z ~ (:) m n => SCons (Sing m) (Sing n) }}} ends up with the `AnnTilde` annotations for the two tildes not attached to the final AST. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11321> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11321: API Annotations: AnnTilde missing -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Resolution: | Keywords: | ApiAnnotations Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Alan Zimmerman <alan.zimm@…>): In [changeset:"0b8dc7d4d5b26e184a7698e22f9fe7d8ee3c90d4/ghc" 0b8dc7d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="0b8dc7d4d5b26e184a7698e22f9fe7d8ee3c90d4" API Annotations: AnnTilde missing In T10689a.hs, the fragment data instance Sing (z :: [a]) = z ~ '[] => SNil | forall (m :: a) (n :: [a]). z ~ (:) m n => SCons (Sing m) (Sing n) ends up with the AnnTilde annotations for the two tildes not attached to the final AST. This patch moves the AnnTilde to the right place. Closes #11321 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11321#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11321: API Annotations: AnnTilde missing -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: merge Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Resolution: | Keywords: | ApiAnnotations Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by alanz): * status: new => merge -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11321#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11321: API Annotations: AnnTilde missing -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Resolution: fixed | Keywords: | ApiAnnotations Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by alanz): * status: merge => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11321#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC