diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-21 00:42:00 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-10-04 20:22:34 +0200 |
| commit | 9462d0b632c106d1aca2bee7a68a513c119c208f (patch) | |
| tree | f10a7e45851b5b68d2a38fa1ba498b88611687a6 /utils | |
| parent | e8693713a40072a0dec5e83b1a31ffb0ee881633 (diff) | |
| download | haskell-wip/T20260.tar.gz | |
Reject type family equation with wrong name (#20260)wip/T20260
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 'utils')
0 files changed, 0 insertions, 0 deletions