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 /utils/haddock | |
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 'utils/haddock')
m--------- | utils/haddock | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/utils/haddock b/utils/haddock -Subproject ab954263a793d8ced734459d6194a5d89214b66 +Subproject bb994de1ab0c76d1aaf1e39c54158db2526d31f |