• Tao He's avatar
    Fix scoped type variables in TH for several constructs · a3986d7f
    Tao He authored
    Namely class methods, default signatures and pattern synonyms.
    When scoped type variables occur inside class default methods,
    default signatures and pattern synonyms, avoid re-create explicit
    type variables when represent the type signatures.
    This patch should fix Trac#14885.
    Signed-off-by: Tao He's avatarHE, Tao <sighingnow@gmail.com>
    Test Plan: make test TEST="T14885a T14885b T14885c"
    Reviewers: goldfire, bgamari, simonpj, RyanGlScott
    Reviewed By: simonpj, RyanGlScott
    Subscribers: rwbarton, thomie, carter
    GHC Trac Issues: #14885
    Differential Revision: https://phabricator.haskell.org/D4469
all.T 18 KB