Retain simplifications of implication constraints
[ghc-hetmet.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 6866 FamInst.lhs
-rw-r--r-- 30595 Inst.lhs
-rw-r--r-- 10831 TcArrows.lhs
-rw-r--r-- 43901 TcBinds.lhs
-rw-r--r-- 27074 TcClassDcl.lhs
-rw-r--r-- 2412 TcDefaults.lhs
-rw-r--r-- 35818 TcDeriv.lhs
-rw-r--r-- 21749 TcEnv.lhs
-rw-r--r-- 520 TcExpr.hi-boot-6
-rw-r--r-- 38950 TcExpr.lhs
-rw-r--r-- 545 TcExpr.lhs-boot
-rw-r--r-- 11617 TcForeign.lhs
-rw-r--r-- 18855 TcGadt.lhs
-rw-r--r-- 49349 TcGenDeriv.lhs
-rw-r--r-- 33323 TcHsSyn.lhs
-rw-r--r-- 27768 TcHsType.lhs
-rw-r--r-- 31760 TcInstDcls.lhs
-rw-r--r-- 41284 TcMType.lhs
-rw-r--r-- 316 TcMatches.hi-boot-6
-rw-r--r-- 18406 TcMatches.lhs
-rw-r--r-- 362 TcMatches.lhs-boot
-rw-r--r-- 35262 TcPat.lhs
-rw-r--r-- 45384 TcRnDriver.lhs
-rw-r--r-- 32390 TcRnMonad.lhs
-rw-r--r-- 28110 TcRnTypes.lhs
-rw-r--r-- 3844 TcRules.lhs
-rw-r--r-- 90983 TcSimplify.lhs
-rw-r--r-- 459 TcSplice.hi-boot-6
-rw-r--r-- 22545 TcSplice.lhs
-rw-r--r-- 501 TcSplice.lhs-boot
-rw-r--r-- 46124 TcTyClsDecls.lhs
-rw-r--r-- 11972 TcTyDecls.lhs
-rw-r--r-- 97 TcType.hi-boot-6
-rw-r--r-- 42383 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 241 TcUnify.hi-boot-6
-rw-r--r-- 68849 TcUnify.lhs
-rw-r--r-- 289 TcUnify.lhs-boot