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] --- utils/haddock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'utils/haddock') diff --git a/utils/haddock b/utils/haddock index ab954263a7..bb994de1ab 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit ab954263a793d8ced734459d6194a5d89214b66c +Subproject commit bb994de1ab0c76d1aaf1e39c54158db2526d31f1 -- cgit v1.2.1