diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-21 00:42:00 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-05 03:19:14 -0400 |
| commit | 298df16d7005a3cead2df1cc7280509ddf7c6c76 (patch) | |
| tree | cc2d61fa24e649004ceb49f789e2086226795f68 /hadrian | |
| parent | 5601b9e249661a16f4bfb14958fe10d950e7e589 (diff) | |
| download | haskell-298df16d7005a3cead2df1cc7280509ddf7c6c76.tar.gz | |
Reject type family equation with wrong name (#20260)
We should reject "type family Foo where Bar = ()".
This check was done in kcTyFamInstEqn but not in tcTyFamInstEqn.
I factored out arity checking, which was duplicated.
Diffstat (limited to 'hadrian')
0 files changed, 0 insertions, 0 deletions