• Ryan Scott's avatar
    Disambiguate reified closed type family kinds in TH · f65ff2c4
    Ryan Scott authored
    Summary:
    A continuation of #8953. This fixes an oversight in which the
    left-hand sides of closed type families, when reified in Template Haskell,
    would not be given kind annotations, even when they are necessary for
    disambiguation purposes in the presence of `PolyKinds`.
    
    Fixes #8953 and #12646.
    
    Test Plan: ./validate
    
    Reviewers: hvr, bgamari, austin, goldfire
    
    Reviewed By: goldfire
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2795
    
    GHC Trac Issues: #8953, #12646
    f65ff2c4
T8884.stderr 216 Bytes