Add kind equalities to GHC.
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11129 Class.hs
-rw-r--r-- 19136 CoAxiom.hs
-rw-r--r-- 72353 Coercion.hs
-rw-r--r-- 1454 Coercion.hs-boot
-rw-r--r-- 64649 FamInstEnv.hs
-rw-r--r-- 38676 InstEnv.hs
-rw-r--r-- 4685 Kind.hs
-rw-r--r-- 33324 OptCoercion.hs
-rw-r--r-- 97832 TyCoRep.hs
-rw-r--r-- 326 TyCoRep.hs-boot
-rw-r--r-- 80554 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 86431 Type.hs
-rw-r--r-- 364 Type.hs-boot
-rw-r--r-- 46688 Unify.hs