Major refactoring of CoAxioms
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 11802 FamInst.lhs
-rw-r--r-- 24785 Inst.lhs
-rw-r--r-- 1606 TcAnnotations.lhs
-rw-r--r-- 14586 TcArrows.lhs
-rw-r--r-- 59967 TcBinds.lhs
-rw-r--r-- 65142 TcCanonical.lhs
-rw-r--r-- 15149 TcClassDcl.lhs
-rw-r--r-- 3649 TcDefaults.lhs
-rw-r--r-- 61104 TcDeriv.lhs
-rw-r--r-- 30459 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 39625 TcErrors.lhs
-rw-r--r-- 22130 TcEvidence.lhs
-rw-r--r-- 53277 TcExpr.lhs
-rw-r--r-- 941 TcExpr.lhs-boot
-rw-r--r-- 19941 TcForeign.lhs
-rw-r--r-- 76472 TcGenDeriv.lhs
-rw-r--r-- 22131 TcGenGenerics.lhs
-rw-r--r-- 51755 TcHsSyn.lhs
-rw-r--r-- 54035 TcHsType.lhs
-rw-r--r-- 55599 TcInstDcls.lhs
-rw-r--r-- 80857 TcInteract.lhs
-rw-r--r-- 66529 TcMType.lhs
-rw-r--r-- 35413 TcMatches.lhs
-rw-r--r-- 714 TcMatches.lhs-boot
-rw-r--r-- 40429 TcPat.lhs
-rw-r--r-- 66149 TcRnDriver.lhs
-rw-r--r-- 44722 TcRnMonad.lhs
-rw-r--r-- 54856 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 4873 TcRules.lhs
-rw-r--r-- 58195 TcSMonad.lhs
-rw-r--r-- 59747 TcSimplify.lhs
-rw-r--r-- 118456 TcSimplify.lhs-old
-rw-r--r-- 57070 TcSplice.lhs
-rw-r--r-- 1396 TcSplice.lhs-boot
-rw-r--r-- 73429 TcTyClsDecls.lhs
-rw-r--r-- 20419 TcTyDecls.lhs
-rw-r--r-- 49883 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 53798 TcUnify.lhs
-rw-r--r-- 810 TcUnify.lhs-boot