Type families: new algorithm to solve equalities
[ghc-hetmet.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 7851 FamInst.lhs
-rw-r--r-- 37930 Inst.lhs
-rw-r--r-- 10910 TcArrows.lhs
-rw-r--r-- 52820 TcBinds.lhs
-rw-r--r-- 19663 TcClassDcl.lhs
-rw-r--r-- 3316 TcDefaults.lhs
-rw-r--r-- 46365 TcDeriv.lhs
-rw-r--r-- 25132 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 43814 TcExpr.lhs
-rw-r--r-- 560 TcExpr.lhs-boot
-rw-r--r-- 12560 TcForeign.lhs
-rw-r--r-- 53765 TcGenDeriv.lhs
-rw-r--r-- 38822 TcHsSyn.lhs
-rw-r--r-- 29083 TcHsType.lhs
-rw-r--r-- 42081 TcInstDcls.lhs
-rw-r--r-- 64288 TcMType.lhs
-rw-r--r-- 22612 TcMatches.lhs
-rw-r--r-- 370 TcMatches.lhs-boot
-rw-r--r-- 39766 TcPat.lhs
-rw-r--r-- 53477 TcRnDriver.lhs
-rw-r--r-- 33417 TcRnMonad.lhs
-rw-r--r-- 33291 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 3790 TcRules.lhs
-rw-r--r-- 111235 TcSimplify.lhs
-rw-r--r-- 32447 TcSplice.lhs
-rw-r--r-- 594 TcSplice.lhs-boot
-rw-r--r-- 52423 TcTyClsDecls.lhs
-rw-r--r-- 13303 TcTyDecls.lhs
-rw-r--r-- 77455 TcTyFuns.lhs
-rw-r--r-- 46179 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 89777 TcUnify.lhs
-rw-r--r-- 385 TcUnify.lhs-boot