From 55577a9130738932d022d442d0773ffd79d0945d Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Sat, 12 Mar 2016 20:59:44 -0500 Subject: 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] --- testsuite/tests/polykinds/T11648b.stderr | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 testsuite/tests/polykinds/T11648b.stderr (limited to 'testsuite/tests/polykinds/T11648b.stderr') 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 -- cgit v1.2.1