Remove the incredibly hairy splitTelescopeTvs.
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11156 Class.hs
-rw-r--r-- 19411 CoAxiom.hs
-rw-r--r-- 72755 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 64871 FamInstEnv.hs
-rw-r--r-- 37959 InstEnv.hs
-rw-r--r-- 4321 Kind.hs
-rw-r--r-- 33133 OptCoercion.hs
-rw-r--r-- 127775 TyCoRep.hs
-rw-r--r-- 403 TyCoRep.hs-boot
-rw-r--r-- 88606 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 91613 Type.hs
-rw-r--r-- 465 Type.hs-boot
-rw-r--r-- 49677 Unify.hs