Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 37991 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 26608 FunDeps.hs
-rw-r--r-- 31928 Inst.hs
-rw-r--r-- 1711 TcAnnotations.hs
-rw-r--r-- 16419 TcArrows.hs
-rw-r--r-- 40465 TcBackpack.hs
-rw-r--r-- 72022 TcBinds.hs
-rw-r--r-- 80648 TcCanonical.hs
-rw-r--r-- 20648 TcClassDcl.hs
-rw-r--r-- 3901 TcDefaults.hs
-rw-r--r-- 79016 TcDeriv.hs
-rw-r--r-- 36493 TcDerivInfer.hs
-rw-r--r-- 28513 TcDerivUtils.hs
-rw-r--r-- 40506 TcEnv.hs
-rw-r--r-- 89 TcEnv.hs-boot
-rw-r--r-- 116646 TcErrors.hs
-rw-r--r-- 36496 TcEvidence.hs
-rw-r--r-- 112742 TcExpr.hs
-rw-r--r-- 1144 TcExpr.hs-boot
-rw-r--r-- 58388 TcFlatten.hs
-rw-r--r-- 23382 TcForeign.hs
-rw-r--r-- 86092 TcGenDeriv.hs
-rw-r--r-- 42307 TcGenFunctor.hs
-rw-r--r-- 42203 TcGenGenerics.hs
-rw-r--r-- 70315 TcHsSyn.hs
-rw-r--r-- 90514 TcHsType.hs
-rw-r--r-- 77474 TcInstDcls.hs
-rw-r--r-- 393 TcInstDcls.hs-boot
-rw-r--r-- 109636 TcInteract.hs
-rw-r--r-- 67280 TcMType.hs
-rw-r--r-- 49126 TcMatches.hs
-rw-r--r-- 514 TcMatches.hs-boot
-rw-r--r-- 49977 TcPat.hs
-rw-r--r-- 35927 TcPatSyn.hs
-rw-r--r-- 557 TcPatSyn.hs-boot
-rw-r--r-- 5507 TcPluginM.hs
-rw-r--r-- 112339 TcRnDriver.hs
-rw-r--r-- 383 TcRnDriver.hs-boot
-rw-r--r-- 34757 TcRnExports.hs
-rw-r--r-- 68500 TcRnMonad.hs
-rw-r--r-- 137115 TcRnTypes.hs
-rw-r--r-- 14361 TcRules.hs
-rw-r--r-- 117027 TcSMonad.hs
-rw-r--r-- 30002 TcSigs.hs
-rw-r--r-- 93121 TcSimplify.hs
-rw-r--r-- 81194 TcSplice.hs
-rw-r--r-- 1268 TcSplice.hs-boot
-rw-r--r-- 132345 TcTyClsDecls.hs
-rw-r--r-- 40402 TcTyDecls.hs
-rw-r--r-- 101443 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-- 29392 TcTypeable.hs
-rw-r--r-- 87082 TcUnify.hs
-rw-r--r-- 485 TcUnify.hs-boot
-rw-r--r-- 81314 TcValidity.hs