#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