Midstream changes to deal with spontaneous solving and flatten skolem equivalence...
[ghc-hetmet.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 7550 FamInst.lhs
-rw-r--r-- 18258 Inst.lhs
-rw-r--r-- 1606 TcAnnotations.lhs
-rw-r--r-- 10701 TcArrows.lhs
-rw-r--r-- 48408 TcBinds.lhs
-rw-r--r-- 31250 TcCanonical.lhs
-rw-r--r-- 21374 TcClassDcl.lhs
-rw-r--r-- 3319 TcDefaults.lhs
-rw-r--r-- 59348 TcDeriv.lhs
-rw-r--r-- 26276 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 32423 TcErrors.lhs
-rw-r--r-- 50304 TcExpr.lhs
-rw-r--r-- 611 TcExpr.lhs-boot
-rw-r--r-- 12288 TcForeign.lhs
-rw-r--r-- 72298 TcGenDeriv.lhs
-rw-r--r-- 41774 TcHsSyn.lhs
-rw-r--r-- 36831 TcHsType.lhs
-rw-r--r-- 49290 TcInstDcls.lhs
-rw-r--r-- 94590 TcInteract.lhs
-rw-r--r-- 57581 TcMType.lhs
-rw-r--r-- 25731 TcMatches.lhs
-rw-r--r-- 364 TcMatches.lhs-boot
-rw-r--r-- 41194 TcPat.lhs
-rw-r--r-- 57688 TcRnDriver.lhs
-rw-r--r-- 37344 TcRnMonad.lhs
-rw-r--r-- 33857 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 4276 TcRules.lhs
-rw-r--r-- 33833 TcSMonad.lhs
-rw-r--r-- 40986 TcSimplify.lhs
-rw-r--r-- 118456 TcSimplify.lhs-old
-rw-r--r-- 46047 TcSplice.lhs
-rw-r--r-- 1066 TcSplice.lhs-boot
-rw-r--r-- 64071 TcTyClsDecls.lhs
-rw-r--r-- 13673 TcTyDecls.lhs
-rw-r--r-- 52044 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 52998 TcUnify.lhs
-rw-r--r-- 261 TcUnify.lhs-boot