diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-12 20:59:44 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-14 23:50:52 -0400 |
| commit | 55577a9130738932d022d442d0773ffd79d0945d (patch) | |
| tree | 6082ac951397214e060c674307c9dead5f9382f5 /testsuite/tests/polykinds/T11648b.stderr | |
| parent | e7a8cb145c2450ae12abfb9e30a2b7c1544abf67 (diff) | |
| download | haskell-55577a9130738932d022d442d0773ffd79d0945d.tar.gz | |
Fix #11648.
We now check that a CUSK is really a CUSK and issue an error if
it isn't. This also involves more solving and zonking in
kcHsTyVarBndrs, which was the outright bug reported in #11648.
Test cases: polykinds/T11648{,b}
This updates the haddock submodule.
[skip ci]
Diffstat (limited to 'testsuite/tests/polykinds/T11648b.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T11648b.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T11648b.stderr b/testsuite/tests/polykinds/T11648b.stderr new file mode 100644 index 0000000000..e709e006b0 --- /dev/null +++ b/testsuite/tests/polykinds/T11648b.stderr @@ -0,0 +1,8 @@ + +T11648b.hs:7:1: error: + You have written a *complete user-suppled kind signature*, + but the following variable is undetermined: k0 :: * + Perhaps add a kind signature. + Inferred kinds of user-written variables: + k :: k0 + a :: Proxy k |