Make newtype Coercion eta-contract if the tails of lhs and rhs match up
[ghc-hetmet.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 4862 Class.lhs
-rw-r--r-- 16842 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-- 24177 TyCon.lhs
-rw-r--r-- 159 TyCon.lhs-boot
-rw-r--r-- 51553 Type.lhs
-rw-r--r-- 60 TypeRep.hi-boot-6
-rw-r--r-- 18125 TypeRep.lhs
-rw-r--r-- 235 TypeRep.lhs-boot
-rw-r--r-- 6232 Unify.lhs