• Rik Steenkamp's avatar
    Fix a closed type family error message · cd35e860
    Rik Steenkamp authored
    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
    
    (cherry picked from commit 46e8f199)
    cd35e860
T11623.stderr 173 Bytes