[GHC] #11321: API Annotations: AnnTilde missing

[GHC]

#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