diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-11-07 17:56:16 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-10 01:06:48 -0500 |
| commit | 55ca10855713f3cc14b17f1b67f14c36dea4c651 (patch) | |
| tree | 398764b7a0bdde6aa2e28ccb234b430b80a84109 /testsuite/tests/th | |
| parent | fa25c8c49464c3306b8c166fecc2bf5686d21996 (diff) | |
| download | haskell-55ca10855713f3cc14b17f1b67f14c36dea4c651.tar.gz | |
Fix #17405 by not checking imported equations
Previously, we checked all imported type family equations
for injectivity. This is very silly. Now, we check only
for conflicts.
Before I could even imagine doing the fix, I needed to untangle
several functions that were (in my opinion) overly complicated.
It's still not quite as perfect as I'd like, but it's good enough
for now.
Test case: typecheck/should_compile/T17405
Diffstat (limited to 'testsuite/tests/th')
| -rw-r--r-- | testsuite/tests/th/T6018th.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/th/T6018th.stderr b/testsuite/tests/th/T6018th.stderr index 56e3f471f7..b905fe8bf1 100644 --- a/testsuite/tests/th/T6018th.stderr +++ b/testsuite/tests/th/T6018th.stderr @@ -1,5 +1,6 @@ T6018th.hs:98:4: error: - Type family equations violate injectivity annotation: + Type family equation right-hand sides overlap; this violates + the family's injectivity annotation: H Int Int Int = Bool -- Defined at T6018th.hs:98:4 H Int Char Bool = Bool -- Defined at T6018th.hs:98:4 |