Refactor the treatment of predicate types
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 12762 Class.hs
-rw-r--r-- 19098 CoAxiom.hs
-rw-r--r-- 93683 Coercion.hs
-rw-r--r-- 1817 Coercion.hs-boot
-rw-r--r-- 67890 FamInstEnv.hs
-rw-r--r-- 42020 InstEnv.hs
-rw-r--r-- 3650 Kind.hs
-rw-r--r-- 42904 OptCoercion.hs
-rw-r--r-- 143620 TyCoRep.hs
-rw-r--r-- 475 TyCoRep.hs-boot
-rw-r--r-- 104992 TyCon.hs
-rw-r--r-- 162 TyCon.hs-boot
-rw-r--r-- 117819 Type.hs
-rw-r--r-- 657 Type.hs-boot
-rw-r--r-- 61061 Unify.hs