Visible dependent quantification
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 29153 ClsInst.hs
-rw-r--r-- 41998 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 27006 FunDeps.hs
-rw-r--r-- 32411 Inst.hs
-rw-r--r-- 2741 TcAnnotations.hs
-rw-r--r-- 16975 TcArrows.hs
-rw-r--r-- 46196 TcBackpack.hs
-rw-r--r-- 73474 TcBinds.hs
-rw-r--r-- 102654 TcCanonical.hs
-rw-r--r-- 21396 TcClassDcl.hs
-rw-r--r-- 4132 TcDefaults.hs
-rw-r--r-- 96513 TcDeriv.hs
-rw-r--r-- 41535 TcDerivInfer.hs
-rw-r--r-- 42401 TcDerivUtils.hs
-rw-r--r-- 46494 TcEnv.hs
-rw-r--r-- 257 TcEnv.hs-boot
-rw-r--r-- 131118 TcErrors.hs
-rw-r--r-- 2311 TcEvTerm.hs
-rw-r--r-- 37394 TcEvidence.hs
-rw-r--r-- 121048 TcExpr.hs
-rw-r--r-- 1190 TcExpr.hs-boot
-rw-r--r-- 73172 TcFlatten.hs
-rw-r--r-- 23502 TcForeign.hs
-rw-r--r-- 96625 TcGenDeriv.hs
-rw-r--r-- 52010 TcGenFunctor.hs
-rw-r--r-- 43141 TcGenGenerics.hs
-rw-r--r-- 47715 TcHoleErrors.hs
-rw-r--r-- 423 TcHoleErrors.hs-boot
-rw-r--r-- 78691 TcHsSyn.hs
-rw-r--r-- 123965 TcHsType.hs
-rw-r--r-- 90405 TcInstDcls.hs
-rw-r--r-- 396 TcInstDcls.hs-boot
-rw-r--r-- 104796 TcInteract.hs
-rw-r--r-- 90265 TcMType.hs
-rw-r--r-- 49549 TcMatches.hs
-rw-r--r-- 562 TcMatches.hs-boot
-rw-r--r-- 50723 TcPat.hs
-rw-r--r-- 48684 TcPatSyn.hs
-rw-r--r-- 475 TcPatSyn.hs-boot
-rw-r--r-- 5667 TcPluginM.hs
-rw-r--r-- 124481 TcRnDriver.hs
-rw-r--r-- 401 TcRnDriver.hs-boot
-rw-r--r-- 32247 TcRnExports.hs
-rw-r--r-- 74112 TcRnMonad.hs
-rw-r--r-- 159516 TcRnTypes.hs
-rw-r--r-- 75 TcRnTypes.hs-boot
-rw-r--r-- 18617 TcRules.hs
-rw-r--r-- 131797 TcSMonad.hs
-rw-r--r-- 32761 TcSigs.hs
-rw-r--r-- 115970 TcSimplify.hs
-rw-r--r-- 85015 TcSplice.hs
-rw-r--r-- 1455 TcSplice.hs-boot
-rw-r--r-- 164372 TcTyClsDecls.hs
-rw-r--r-- 41596 TcTyDecls.hs
-rw-r--r-- 101704 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 31803 TcTypeNats.hs
-rw-r--r-- 30195 TcTypeable.hs
-rw-r--r-- 90337 TcUnify.hs
-rw-r--r-- 468 TcUnify.hs-boot
-rw-r--r-- 110642 TcValidity.hs