Straightened out implicit coercions for indexed types
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 4984 Class.lhs
-rw-r--r-- 17866 Coercion.lhs
-rw-r--r-- 16902 FunDeps.lhs
-rw-r--r-- 19693 Generics.lhs
-rw-r--r-- 19642 InstEnv.lhs
-rw-r--r-- 154 TyCon.hi-boot-6
-rw-r--r-- 28658 TyCon.lhs
-rw-r--r-- 159 TyCon.lhs-boot
-rw-r--r-- 51729 Type.lhs
-rw-r--r-- 60 TypeRep.hi-boot-6
-rw-r--r-- 18692 TypeRep.lhs
-rw-r--r-- 235 TypeRep.lhs-boot
-rw-r--r-- 6232 Unify.lhs