Re-add FunTy (big patch)
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 10832 Class.hs
-rw-r--r-- 18790 CoAxiom.hs
-rw-r--r-- 72842 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 64952 FamInstEnv.hs
-rw-r--r-- 37922 InstEnv.hs
-rw-r--r-- 4379 Kind.hs
-rw-r--r-- 33133 OptCoercion.hs
-rw-r--r-- 128509 TyCoRep.hs
-rw-r--r-- 416 TyCoRep.hs-boot
-rw-r--r-- 88660 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 91996 Type.hs
-rw-r--r-- 469 Type.hs-boot
-rw-r--r-- 50166 Unify.hs