diff options
| author | Rik Steenkamp <rik@ewps.nl> | 2016-04-11 02:26:06 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-11 02:26:26 +0200 |
| commit | 46e8f199e4d3baffa306a40082fbc2fce67f779f (patch) | |
| tree | 7d3057828f33810076798819b3d60931cff394e3 /testsuite/tests/th/T11463.hs | |
| parent | 90538d86af579595987826cd893828d6f379f35a (diff) | |
| download | haskell-46e8f199e4d3baffa306a40082fbc2fce67f779f.tar.gz | |
Fix a closed type family error message
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
Diffstat (limited to 'testsuite/tests/th/T11463.hs')
0 files changed, 0 insertions, 0 deletions