Support builtin classes like KnownNat in backpack
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 27216 ClsInst.hs
-rw-r--r-- 40969 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 27023 FunDeps.hs
-rw-r--r-- 35922 Inst.hs
-rw-r--r-- 2711 TcAnnotations.hs
-rw-r--r-- 16969 TcArrows.hs
-rw-r--r-- 46205 TcBackpack.hs
-rw-r--r-- 74363 TcBinds.hs
-rw-r--r-- 102432 TcCanonical.hs
-rw-r--r-- 21614 TcClassDcl.hs
-rw-r--r-- 4132 TcDefaults.hs
-rw-r--r-- 95405 TcDeriv.hs
-rw-r--r-- 41526 TcDerivInfer.hs
-rw-r--r-- 42404 TcDerivUtils.hs
-rw-r--r-- 46631 TcEnv.hs
-rw-r--r-- 257 TcEnv.hs-boot
-rw-r--r-- 130118 TcErrors.hs
-rw-r--r-- 2324 TcEvTerm.hs
-rw-r--r-- 37184 TcEvidence.hs
-rw-r--r-- 120917 TcExpr.hs
-rw-r--r-- 1190 TcExpr.hs-boot
-rw-r--r-- 85362 TcFlatten.hs
-rw-r--r-- 23496 TcForeign.hs
-rw-r--r-- 93394 TcGenDeriv.hs
-rw-r--r-- 51979 TcGenFunctor.hs
-rw-r--r-- 43146 TcGenGenerics.hs
-rw-r--r-- 46530 TcHoleErrors.hs
-rw-r--r-- 423 TcHoleErrors.hs-boot
-rw-r--r-- 77075 TcHsSyn.hs
-rw-r--r-- 123222 TcHsType.hs
-rw-r--r-- 81510 TcInstDcls.hs
-rw-r--r-- 425 TcInstDcls.hs-boot
-rw-r--r-- 103882 TcInteract.hs
-rw-r--r-- 72230 TcMType.hs
-rw-r--r-- 49503 TcMatches.hs
-rw-r--r-- 562 TcMatches.hs-boot
-rw-r--r-- 50511 TcPat.hs
-rw-r--r-- 49362 TcPatSyn.hs
-rw-r--r-- 475 TcPatSyn.hs-boot
-rw-r--r-- 5667 TcPluginM.hs
-rw-r--r-- 121118 TcRnDriver.hs
-rw-r--r-- 401 TcRnDriver.hs-boot
-rw-r--r-- 30172 TcRnExports.hs
-rw-r--r-- 72412 TcRnMonad.hs
-rw-r--r-- 158049 TcRnTypes.hs
-rw-r--r-- 16940 TcRules.hs
-rw-r--r-- 132110 TcSMonad.hs
-rw-r--r-- 30233 TcSigs.hs
-rw-r--r-- 114511 TcSimplify.hs
-rw-r--r-- 85492 TcSplice.hs
-rw-r--r-- 1380 TcSplice.hs-boot
-rw-r--r-- 162385 TcTyClsDecls.hs
-rw-r--r-- 41559 TcTyDecls.hs
-rw-r--r-- 108751 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 31803 TcTypeNats.hs
-rw-r--r-- 72 TcTypeNats.hs-boot
-rw-r--r-- 29947 TcTypeable.hs
-rw-r--r-- 89959 TcUnify.hs
-rw-r--r-- 468 TcUnify.hs-boot
-rw-r--r-- 89962 TcValidity.hs