Tighten checking for associated type instances
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11143 Class.hs
-rw-r--r-- 19346 CoAxiom.hs
-rw-r--r-- 72763 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 64871 FamInstEnv.hs
-rw-r--r-- 38001 InstEnv.hs
-rw-r--r-- 4321 Kind.hs
-rw-r--r-- 33133 OptCoercion.hs
-rw-r--r-- 128251 TyCoRep.hs
-rw-r--r-- 369 TyCoRep.hs-boot
-rw-r--r-- 85915 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 91241 Type.hs
-rw-r--r-- 552 Type.hs-boot
-rw-r--r-- 49722 Unify.hs