Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 29146 ClsInst.hs
-rw-r--r-- 41909 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 26961 FunDeps.hs
-rw-r--r-- 32565 Inst.hs
-rw-r--r-- 2765 TcAnnotations.hs
-rw-r--r-- 16975 TcArrows.hs
-rw-r--r-- 46196 TcBackpack.hs
-rw-r--r-- 73595 TcBinds.hs
-rw-r--r-- 102424 TcCanonical.hs
-rw-r--r-- 21396 TcClassDcl.hs
-rw-r--r-- 4132 TcDefaults.hs
-rw-r--r-- 96514 TcDeriv.hs
-rw-r--r-- 41525 TcDerivInfer.hs
-rw-r--r-- 42506 TcDerivUtils.hs
-rw-r--r-- 46454 TcEnv.hs
-rw-r--r-- 257 TcEnv.hs-boot
-rw-r--r-- 131560 TcErrors.hs
-rw-r--r-- 2311 TcEvTerm.hs
-rw-r--r-- 38206 TcEvidence.hs
-rw-r--r-- 121110 TcExpr.hs
-rw-r--r-- 1190 TcExpr.hs-boot
-rw-r--r-- 73133 TcFlatten.hs
-rw-r--r-- 23569 TcForeign.hs
-rw-r--r-- 94682 TcGenDeriv.hs
-rw-r--r-- 51999 TcGenFunctor.hs
-rw-r--r-- 43143 TcGenGenerics.hs
-rw-r--r-- 48285 TcHoleErrors.hs
-rw-r--r-- 423 TcHoleErrors.hs-boot
-rw-r--r-- 79881 TcHsSyn.hs
-rw-r--r-- 125207 TcHsType.hs
-rw-r--r-- 93236 TcInstDcls.hs
-rw-r--r-- 396 TcInstDcls.hs-boot
-rw-r--r-- 104701 TcInteract.hs
-rw-r--r-- 92037 TcMType.hs
-rw-r--r-- 47961 TcMatches.hs
-rw-r--r-- 566 TcMatches.hs-boot
-rw-r--r-- 50708 TcPat.hs
-rw-r--r-- 48614 TcPatSyn.hs
-rw-r--r-- 475 TcPatSyn.hs-boot
-rw-r--r-- 5691 TcPluginM.hs
-rw-r--r-- 124630 TcRnDriver.hs
-rw-r--r-- 401 TcRnDriver.hs-boot
-rw-r--r-- 33556 TcRnExports.hs
-rw-r--r-- 76848 TcRnMonad.hs
-rw-r--r-- 159443 TcRnTypes.hs
-rw-r--r-- 75 TcRnTypes.hs-boot
-rw-r--r-- 18607 TcRules.hs
-rw-r--r-- 132277 TcSMonad.hs
-rw-r--r-- 33186 TcSigs.hs
-rw-r--r-- 118411 TcSimplify.hs
-rw-r--r-- 85149 TcSplice.hs
-rw-r--r-- 1455 TcSplice.hs-boot
-rw-r--r-- 182489 TcTyClsDecls.hs
-rw-r--r-- 41565 TcTyDecls.hs
-rw-r--r-- 102252 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 31807 TcTypeNats.hs
-rw-r--r-- 28852 TcTypeable.hs
-rw-r--r-- 1751 TcTypeableValidity.hs
-rw-r--r-- 90885 TcUnify.hs
-rw-r--r-- 468 TcUnify.hs-boot
-rw-r--r-- 115045 TcValidity.hs