diff options
author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-11-01 15:37:58 -0400 |
---|---|---|
committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-11-01 17:34:47 -0400 |
commit | 74ed9c1c1b26971133c7166663b9c966d2eaca08 (patch) | |
tree | 67e545f02474a8036a23262dd864573105f5e7d9 /testsuite/tests/rename | |
parent | 255d2e323a8879a7296a5ab94e6cc49023e2c86e (diff) | |
download | haskell-74ed9c1c1b26971133c7166663b9c966d2eaca08.tar.gz |
Actually fail in failIfEmitsConstraints
The function TcHsType.failIfEmitsConstraints says that it fails.
It even does so in its name. But it didn't! It *reported* constraints
but didn't fail. Now it does.
This is important in tcHsClsInstType; see the comments therein.
This was discovered while looking at #15797, but that ticket
requires visible kind application to exhibit the bug; the test
case will come with the patch for #12045.
Diffstat (limited to 'testsuite/tests/rename')
-rw-r--r-- | testsuite/tests/rename/should_fail/T5951.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/rename/should_fail/rnfail026.stderr | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/testsuite/tests/rename/should_fail/T5951.stderr b/testsuite/tests/rename/should_fail/T5951.stderr index a6969971ab..8fda353b33 100644 --- a/testsuite/tests/rename/should_fail/T5951.stderr +++ b/testsuite/tests/rename/should_fail/T5951.stderr @@ -4,10 +4,6 @@ T5951.hs:8:8: error: Expected a constraint, but ‘A’ has kind ‘* -> Constraint’ • In the instance declaration for ‘B => C’ -T5951.hs:8:8: error: - • Instance head is not headed by a class: C - • In the instance declaration for ‘B => C’ - T5951.hs:9:8: error: • Expecting one more argument to ‘B’ Expected a constraint, but ‘B’ has kind ‘* -> Constraint’ diff --git a/testsuite/tests/rename/should_fail/rnfail026.stderr b/testsuite/tests/rename/should_fail/rnfail026.stderr index 79b07c4d24..c7ce103ecc 100644 --- a/testsuite/tests/rename/should_fail/rnfail026.stderr +++ b/testsuite/tests/rename/should_fail/rnfail026.stderr @@ -1,8 +1,4 @@ -rnfail026.hs:16:10: error: - • Illegal polymorphic type: forall a. Eq a => Set a - • In the instance declaration for ‘Monad (forall a. Eq a => Set a)’ - rnfail026.hs:16:27: error: • Expected kind ‘* -> *’, but ‘Set a’ has kind ‘*’ • In the first argument of ‘Monad’, namely |