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/polykinds | |
| 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/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T11520.stderr | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/testsuite/tests/polykinds/T11520.stderr b/testsuite/tests/polykinds/T11520.stderr index 93078aa23c..11a81baf62 100644 --- a/testsuite/tests/polykinds/T11520.stderr +++ b/testsuite/tests/polykinds/T11520.stderr @@ -1,10 +1,4 @@ -T11520.hs:15:57: error: - • Illegal type synonym family application ‘Any’ in instance: - Typeable (Compose f g) - Use -fprint-explicit-kinds to see the kind arguments - • In the instance declaration for ‘Typeable (Compose f g)’ - T11520.hs:15:77: error: • Expected kind ‘k20 -> k10’, but ‘g’ has kind ‘k’ • In the second argument of ‘Compose’, namely ‘g’ |