Note [TyBinder] in TyCoRep
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11185 Class.hs
-rw-r--r-- 19346 CoAxiom.hs
-rw-r--r-- 71250 Coercion.hs
-rw-r--r-- 1454 Coercion.hs-boot
-rw-r--r-- 65438 FamInstEnv.hs
-rw-r--r-- 38198 InstEnv.hs
-rw-r--r-- 4685 Kind.hs
-rw-r--r-- 33147 OptCoercion.hs
-rw-r--r-- 104876 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-- 86517 Type.hs
-rw-r--r-- 396 Type.hs-boot
-rw-r--r-- 47908 Unify.hs