compiler/typecheck/TcType.lhs · 74894e0bc405247092e865b9541f5f18d26aa015 · Travis Whitaker / GHC · GitLab

Mar 21, 2014
74894e0b
Add missing kind-check for tcEqType on forall-types · 74894e0b
Simon Peyton Jones authored Mar 21, 2014
```
This wasn't showing up as a bug, but it was definitely wrong.
```
74894e0b
Add missing kind-check for tcEqType on forall-types
Simon Peyton Jones authored Mar 21, 2014
```
This wasn't showing up as a bug, but it was definitely wrong.
```