Fix #11963 by checking for more mixed type/kinds
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Tue, 18 Jul 2017 19:49:38 +0000 (15:49 -0400)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Thu, 27 Jul 2017 11:49:06 +0000 (07:49 -0400)
commit10d13b62c7ba8c44000a0d25afd66788de8040c4
tree982b62065d2459021ad5b68bd33973029b594ff2
parentfb752133f45f01b27240d7cc6bce2063a015e51b
Fix #11963 by checking for more mixed type/kinds

This is a straightforward fix -- there were just some omitted
checks.

test case: typecheck/should_fail/T11963
compiler/rename/RnTypes.hs
testsuite/tests/typecheck/should_fail/T11963.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T11963.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T