Type families: new algorithm to solve equalities
[ghc-hetmet.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 5137 Class.lhs
-rw-r--r-- 25210 Coercion.lhs
-rw-r--r-- 14523 FamInstEnv.lhs
-rw-r--r-- 17651 FunDeps.lhs
-rw-r--r-- 19656 Generics.lhs
-rw-r--r-- 19614 InstEnv.lhs
-rw-r--r-- 44980 TyCon.lhs
-rw-r--r-- 159 TyCon.lhs-boot
-rw-r--r-- 65413 Type.lhs
-rw-r--r-- 19127 TypeRep.lhs
-rw-r--r-- 134 TypeRep.lhs-boot
-rw-r--r-- 26209 Unify.lhs