• Alan Zimmerman's avatar
    ApiAnnotations : parens around a context with wildcard loses annotations · 0df14b5d
    Alan Zimmerman authored
    Summary:
    In the following code, the extra set of parens around the context end up
    with detached annotations.
    
        {-# LANGUAGE PartialTypeSignatures #-}
        module ParensAroundContext where
    
        f :: ((Eq a, _)) => a -> a -> Bool
        f x y = x == y
    
    Trac ticket #10354
    
    It turns out it was the TupleTy that was the culprit.
    
    This may also solve #10315
    
    Test Plan: ./validate
    
    Reviewers: hvr, austin, goldfire
    
    Reviewed By: austin
    
    Subscribers: goldfire, bgamari, thomie, mpickering
    
    Differential Revision: https://phabricator.haskell.org/D868
    
    GHC Trac Issues: #10354, #10315
    0df14b5d
t10354.hs 3.55 KB