Subtyping for roles in signatures.
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 10605 Class.hs
-rw-r--r-- 18923 CoAxiom.hs
-rw-r--r-- 74159 Coercion.hs
-rw-r--r-- 1610 Coercion.hs-boot
-rw-r--r-- 70714 FamInstEnv.hs
-rw-r--r-- 40680 InstEnv.hs
-rw-r--r-- 5988 Kind.hs
-rw-r--r-- 33365 OptCoercion.hs
-rw-r--r-- 115134 TyCoRep.hs
-rw-r--r-- 354 TyCoRep.hs-boot
-rw-r--r-- 96834 TyCon.hs
-rw-r--r-- 143 TyCon.hs-boot
-rw-r--r-- 97765 Type.hs
-rw-r--r-- 591 Type.hs-boot
-rw-r--r-- 53781 Unify.hs