Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
types
Type.lhs
Find file
Blame
History
Permalink
Document the "kind invariant", and check it
· 0f34f308
Simon Peyton Jones
authored
Dec 13, 2011
See Note [The kind invariant] in TypeRep Checked in CoreLint All this arises from Trac #5426
0f34f308