Re-engineer Given flatten-skolems
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 37991 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 26607 FunDeps.hs
-rw-r--r-- 32375 Inst.hs
-rw-r--r-- 2590 TcAnnotations.hs
-rw-r--r-- 16419 TcArrows.hs
-rw-r--r-- 46146 TcBackpack.hs
-rw-r--r-- 72105 TcBinds.hs
-rw-r--r-- 77943 TcCanonical.hs
-rw-r--r-- 20648 TcClassDcl.hs
-rw-r--r-- 3901 TcDefaults.hs
-rw-r--r-- 79055 TcDeriv.hs
-rw-r--r-- 36481 TcDerivInfer.hs
-rw-r--r-- 28513 TcDerivUtils.hs
-rw-r--r-- 40852 TcEnv.hs
-rw-r--r-- 89 TcEnv.hs-boot
-rw-r--r-- 124844 TcErrors.hs
-rw-r--r-- 36494 TcEvidence.hs
-rw-r--r-- 112930 TcExpr.hs
-rw-r--r-- 1144 TcExpr.hs-boot
-rw-r--r-- 63018 TcFlatten.hs
-rw-r--r-- 23362 TcForeign.hs
-rw-r--r-- 86893 TcGenDeriv.hs
-rw-r--r-- 51890 TcGenFunctor.hs
-rw-r--r-- 41862 TcGenGenerics.hs
-rw-r--r-- 70224 TcHsSyn.hs
-rw-r--r-- 91375 TcHsType.hs
-rw-r--r-- 77475 TcInstDcls.hs
-rw-r--r-- 393 TcInstDcls.hs-boot
-rw-r--r-- 110254 TcInteract.hs
-rw-r--r-- 68008 TcMType.hs
-rw-r--r-- 49091 TcMatches.hs
-rw-r--r-- 514 TcMatches.hs-boot
-rw-r--r-- 49977 TcPat.hs
-rw-r--r-- 37000 TcPatSyn.hs
-rw-r--r-- 557 TcPatSyn.hs-boot
-rw-r--r-- 5519 TcPluginM.hs
-rw-r--r-- 112582 TcRnDriver.hs
-rw-r--r-- 383 TcRnDriver.hs-boot
-rw-r--r-- 29051 TcRnExports.hs
-rw-r--r-- 68851 TcRnMonad.hs
-rw-r--r-- 143083 TcRnTypes.hs
-rw-r--r-- 14355 TcRules.hs
-rw-r--r-- 119697 TcSMonad.hs
-rw-r--r-- 30002 TcSigs.hs
-rw-r--r-- 96953 TcSimplify.hs
-rw-r--r-- 81078 TcSplice.hs
-rw-r--r-- 1268 TcSplice.hs-boot
-rw-r--r-- 133748 TcTyClsDecls.hs
-rw-r--r-- 40289 TcTyDecls.hs
-rw-r--r-- 100381 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 24130 TcTypeNats.hs
-rw-r--r-- 72 TcTypeNats.hs-boot
-rw-r--r-- 29691 TcTypeable.hs
-rw-r--r-- 87968 TcUnify.hs
-rw-r--r-- 485 TcUnify.hs-boot
-rw-r--r-- 82229 TcValidity.hs