• Ryan Scott's avatar
    Disambiguate reified closed type family kinds in TH · f65ff2c4
    Ryan Scott authored
    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
8.2.1-notes.rst 6.97 KB