Take account of injectivity when doing fundeps
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 10604 Class.hs
-rw-r--r-- 18790 CoAxiom.hs
-rw-r--r-- 73206 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 65687 FamInstEnv.hs
-rw-r--r-- 40721 InstEnv.hs
-rw-r--r-- 5031 Kind.hs
-rw-r--r-- 33133 OptCoercion.hs
-rw-r--r-- 127867 TyCoRep.hs
-rw-r--r-- 346 TyCoRep.hs-boot
-rw-r--r-- 95497 TyCon.hs
-rw-r--r-- 143 TyCon.hs-boot
-rw-r--r-- 90111 Type.hs
-rw-r--r-- 469 Type.hs-boot
-rw-r--r-- 53188 Unify.hs