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/typecheck/should_fail/T16512b.stderr | |
| 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/typecheck/should_fail/T16512b.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T16512b.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T16512b.stderr b/testsuite/tests/typecheck/should_fail/T16512b.stderr index 82a33117e4..649957c43d 100644 --- a/testsuite/tests/typecheck/should_fail/T16512b.stderr +++ b/testsuite/tests/typecheck/should_fail/T16512b.stderr @@ -1,6 +1,6 @@ T16512b.hs:6:3: error: - • Type family equation violates injectivity annotation. + • Type family equation violates the family's injectivity annotation. Type variable ‘a’ cannot be inferred from the right-hand side. Using UndecidableInstances might help In the type family equation: |