Remove GADT refinements, part 3
[ghc-hetmet.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 8050 FamInst.lhs
-rw-r--r-- 36516 Inst.lhs
-rw-r--r-- 11119 TcArrows.lhs
-rw-r--r-- 45925 TcBinds.lhs
-rw-r--r-- 27242 TcClassDcl.lhs
-rw-r--r-- 3339 TcDefaults.lhs
-rw-r--r-- 44227 TcDeriv.lhs
-rw-r--r-- 22852 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 520 TcExpr.hi-boot-6
-rw-r--r-- 42769 TcExpr.lhs
-rw-r--r-- 546 TcExpr.lhs-boot
-rw-r--r-- 12250 TcForeign.lhs
-rw-r--r-- 18651 TcGadt.lhs
-rw-r--r-- 52878 TcGenDeriv.lhs
-rw-r--r-- 37022 TcHsSyn.lhs
-rw-r--r-- 28874 TcHsType.lhs
-rw-r--r-- 32725 TcInstDcls.lhs
-rw-r--r-- 62740 TcMType.lhs
-rw-r--r-- 346 TcMatches.hi-boot-6
-rw-r--r-- 22985 TcMatches.lhs
-rw-r--r-- 370 TcMatches.lhs-boot
-rw-r--r-- 40153 TcPat.lhs
-rw-r--r-- 49354 TcRnDriver.lhs
-rw-r--r-- 32729 TcRnMonad.lhs
-rw-r--r-- 33172 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 3988 TcRules.lhs
-rw-r--r-- 109812 TcSimplify.lhs
-rw-r--r-- 532 TcSplice.hi-boot-6
-rw-r--r-- 31189 TcSplice.lhs
-rw-r--r-- 594 TcSplice.lhs-boot
-rw-r--r-- 50294 TcTyClsDecls.lhs
-rw-r--r-- 12313 TcTyDecls.lhs
-rw-r--r-- 48114 TcTyFuns.lhs
-rw-r--r-- 97 TcType.hi-boot-6
-rw-r--r-- 45787 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 341 TcUnify.hi-boot-6
-rw-r--r-- 77011 TcUnify.lhs
-rw-r--r-- 385 TcUnify.lhs-boot