• Rik Steenkamp's avatar
    Fix a closed type family error message · 46e8f199
    Rik Steenkamp authored and Ben Gamari's avatar Ben Gamari committed
    Now we check whether a closed type family's equation is headed with
    the correct type before we kind-check the equation.
    Also, instead of "expected only no parameters" we now generate the
    message "expected no parameters".
    Fixes #11623.
    Reviewers: simonpj, austin, bgamari
    Reviewed By: simonpj, bgamari
    Subscribers: simonpj, goldfire, thomie
    Differential Revision: https://phabricator.haskell.org/D2089
    GHC Trac Issues: #11623
TcTyClsDecls.hs 117 KB