Fix the implementation of the "push rules"
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 10604 Class.hs
-rw-r--r-- 18814 CoAxiom.hs
-rw-r--r-- 72030 Coercion.hs
-rw-r--r-- 1490 Coercion.hs-boot
-rw-r--r-- 66719 FamInstEnv.hs
-rw-r--r-- 40689 InstEnv.hs
-rw-r--r-- 5019 Kind.hs
-rw-r--r-- 33135 OptCoercion.hs
-rw-r--r-- 111889 TyCoRep.hs
-rw-r--r-- 354 TyCoRep.hs-boot
-rw-r--r-- 95842 TyCon.hs
-rw-r--r-- 143 TyCon.hs-boot
-rw-r--r-- 89078 Type.hs
-rw-r--r-- 469 Type.hs-boot
-rw-r--r-- 53188 Unify.hs