Suppress substitution assertions to fix tests
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11143 Class.hs
-rw-r--r-- 19346 CoAxiom.hs
-rw-r--r-- 72359 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 65141 FamInstEnv.hs
-rw-r--r-- 38001 InstEnv.hs
-rw-r--r-- 4685 Kind.hs
-rw-r--r-- 33139 OptCoercion.hs
-rw-r--r-- 114477 TyCoRep.hs
-rw-r--r-- 326 TyCoRep.hs-boot
-rw-r--r-- 81838 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 87563 Type.hs
-rw-r--r-- 396 Type.hs-boot
-rw-r--r-- 47697 Unify.hs