Add missing kind-check for tcEqType on forall-types
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Mar 2014 15:24:49 +0000 (15:24 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Mar 2014 08:28:00 +0000 (08:28 +0000)
commit74894e0bc405247092e865b9541f5f18d26aa015
treea9f0d2e98b7530ad0fd788cc9219a541c8b9c96b
parent15b1eb7c67e29c4ad6f6859f89d220b33493fd46
Add missing kind-check for tcEqType on forall-types

This wasn't showing up as a bug, but it was definitely wrong.
compiler/typecheck/TcType.lhs