Skip to content
  • Alan Zimmerman's avatar
    API Annotations: AnnTilde missing · 0b8dc7d4
    Alan Zimmerman authored
    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
    0b8dc7d4