Remove unused substTyWithBinders functions
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11143 Class.hs
-rw-r--r-- 19346 CoAxiom.hs
-rw-r--r-- 72217 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 64841 FamInstEnv.hs
-rw-r--r-- 38001 InstEnv.hs
-rw-r--r-- 4323 Kind.hs
-rw-r--r-- 32980 OptCoercion.hs
-rw-r--r-- 118421 TyCoRep.hs
-rw-r--r-- 369 TyCoRep.hs-boot
-rw-r--r-- 86794 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 92535 Type.hs
-rw-r--r-- 552 Type.hs-boot
-rw-r--r-- 47551 Unify.hs