• Alan Zimmerman's avatar
    ApiAnnotations : parens around a context with wildcard loses annotations · 0df14b5d
    Alan Zimmerman authored
    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
RdrHsSyn.hs 66.2 KB