Use lengthIs and friends in more places
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 12878 Class.hs
-rw-r--r-- 18923 CoAxiom.hs
-rw-r--r-- 75837 Coercion.hs
-rw-r--r-- 1631 Coercion.hs-boot
-rw-r--r-- 70714 FamInstEnv.hs
-rw-r--r-- 40680 InstEnv.hs
-rw-r--r-- 5192 Kind.hs
-rw-r--r-- 34551 OptCoercion.hs
-rw-r--r-- 114730 TyCoRep.hs
-rw-r--r-- 354 TyCoRep.hs-boot
-rw-r--r-- 96976 TyCon.hs
-rw-r--r-- 143 TyCon.hs-boot
-rw-r--r-- 98259 Type.hs
-rw-r--r-- 667 Type.hs-boot
-rw-r--r-- 53261 Unify.hs