Allow unbound Refl binders in a RULE
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 12873 Class.hs
-rw-r--r-- 18923 CoAxiom.hs
-rw-r--r-- 75784 Coercion.hs
-rw-r--r-- 1610 Coercion.hs-boot
-rw-r--r-- 70714 FamInstEnv.hs
-rw-r--r-- 40680 InstEnv.hs
-rw-r--r-- 5988 Kind.hs
-rw-r--r-- 33826 OptCoercion.hs
-rw-r--r-- 115014 TyCoRep.hs
-rw-r--r-- 354 TyCoRep.hs-boot
-rw-r--r-- 96838 TyCon.hs
-rw-r--r-- 143 TyCon.hs-boot
-rw-r--r-- 97774 Type.hs
-rw-r--r-- 634 Type.hs-boot
-rw-r--r-- 53820 Unify.hs