compiler/coreSyn/CoreLint.lhs · 6d2435e952e28f94164043841da31a02ed9e261c · Alexander Kaznacheev / GHC · GitLab

Dec 13, 2011
9f77195c
Document the "kind invariant", and check it · 9f77195c
Simon Peyton Jones authored Dec 13, 2011
```
See Note [The kind invariant] in TypeRep
Checked in CoreLint
All this arises from Trac #5426
```
9f77195c
Document the "kind invariant", and check it
Simon Peyton Jones authored Dec 13, 2011
```
See Note [The kind invariant] in TypeRep
Checked in CoreLint
All this arises from Trac #5426
```