Taming the Kind Inference Monster
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 28990 ClsInst.hs
-rw-r--r-- 41530 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 27006 FunDeps.hs
-rw-r--r-- 36502 Inst.hs
-rw-r--r-- 2741 TcAnnotations.hs
-rw-r--r-- 16969 TcArrows.hs
-rw-r--r-- 46196 TcBackpack.hs
-rw-r--r-- 73463 TcBinds.hs
-rw-r--r-- 101879 TcCanonical.hs
-rw-r--r-- 21396 TcClassDcl.hs
-rw-r--r-- 4132 TcDefaults.hs
-rw-r--r-- 96158 TcDeriv.hs
-rw-r--r-- 41526 TcDerivInfer.hs
-rw-r--r-- 42404 TcDerivUtils.hs
-rw-r--r-- 46190 TcEnv.hs
-rw-r--r-- 257 TcEnv.hs-boot
-rw-r--r-- 131215 TcErrors.hs
-rw-r--r-- 2326 TcEvTerm.hs
-rw-r--r-- 37391 TcEvidence.hs
-rw-r--r-- 121791 TcExpr.hs
-rw-r--r-- 1190 TcExpr.hs-boot
-rw-r--r-- 85493 TcFlatten.hs
-rw-r--r-- 23496 TcForeign.hs
-rw-r--r-- 96613 TcGenDeriv.hs
-rw-r--r-- 51979 TcGenFunctor.hs
-rw-r--r-- 43141 TcGenGenerics.hs
-rw-r--r-- 47712 TcHoleErrors.hs
-rw-r--r-- 423 TcHoleErrors.hs-boot
-rw-r--r-- 78594 TcHsSyn.hs
-rw-r--r-- 117994 TcHsType.hs
-rw-r--r-- 89969 TcInstDcls.hs
-rw-r--r-- 396 TcInstDcls.hs-boot
-rw-r--r-- 104792 TcInteract.hs
-rw-r--r-- 89163 TcMType.hs
-rw-r--r-- 49503 TcMatches.hs
-rw-r--r-- 562 TcMatches.hs-boot
-rw-r--r-- 50709 TcPat.hs
-rw-r--r-- 50801 TcPatSyn.hs
-rw-r--r-- 475 TcPatSyn.hs-boot
-rw-r--r-- 5667 TcPluginM.hs
-rw-r--r-- 123192 TcRnDriver.hs
-rw-r--r-- 401 TcRnDriver.hs-boot
-rw-r--r-- 30686 TcRnExports.hs
-rw-r--r-- 73058 TcRnMonad.hs
-rw-r--r-- 159887 TcRnTypes.hs
-rw-r--r-- 18617 TcRules.hs
-rw-r--r-- 131864 TcSMonad.hs
-rw-r--r-- 30881 TcSigs.hs
-rw-r--r-- 114895 TcSimplify.hs
-rw-r--r-- 86159 TcSplice.hs
-rw-r--r-- 1380 TcSplice.hs-boot
-rw-r--r-- 165310 TcTyClsDecls.hs
-rw-r--r-- 41675 TcTyDecls.hs
-rw-r--r-- 105887 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 31803 TcTypeNats.hs
-rw-r--r-- 29920 TcTypeable.hs
-rw-r--r-- 90196 TcUnify.hs
-rw-r--r-- 468 TcUnify.hs-boot
-rw-r--r-- 92258 TcValidity.hs