diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-09-08 07:20:02 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-09 00:46:41 -0400 |
| commit | 822f10575d207a2a47b21ac853dcf28c655041c4 (patch) | |
| tree | 73fed8f93e7b3b46d880e6088fb415c1332bc80d /testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr | |
| parent | e5a2899ce8e06b8645946fbb67041807cd3a4fe5 (diff) | |
| download | haskell-822f10575d207a2a47b21ac853dcf28c655041c4.tar.gz | |
Postpone associated tyfam default checks until after typechecking
Previously, associated type family defaults were validity-checked
during typechecking. Unfortunately, the error messages that these
checks produce run the risk of printing knot-tied type constructors,
which will cause GHC to diverge. In order to preserve the current
error message's descriptiveness, this patch postpones these validity
checks until after typechecking, which are now located in the new
function `GHC.Tc.Validity.checkValidAssocTyFamDeflt`.
Fixes #18648.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr b/testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr index 37f8159ae0..3b1644d494 100644 --- a/testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr +++ b/testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr @@ -1,7 +1,7 @@ T16356_Fail2.hs:8:3: error: • Illegal duplicate variable ‘k’ in: - ‘type T @k @k a b = k’ + ‘type T @k @k a b = ...’ The arguments to ‘T’ must all be distinct type variables • In the default type instance declaration for ‘T’ In the class declaration for ‘C’ |