Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 39868 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 26612 FunDeps.hs
-rw-r--r-- 33498 Inst.hs
-rw-r--r-- 2649 TcAnnotations.hs
-rw-r--r-- 16570 TcArrows.hs
-rw-r--r-- 46205 TcBackpack.hs
-rw-r--r-- 75807 TcBinds.hs
-rw-r--r-- 85332 TcCanonical.hs
-rw-r--r-- 21179 TcClassDcl.hs
-rw-r--r-- 3941 TcDefaults.hs
-rw-r--r-- 83770 TcDeriv.hs
-rw-r--r-- 39316 TcDerivInfer.hs
-rw-r--r-- 36389 TcDerivUtils.hs
-rw-r--r-- 42808 TcEnv.hs
-rw-r--r-- 257 TcEnv.hs-boot
-rw-r--r-- 144525 TcErrors.hs
-rw-r--r-- 2311 TcEvTerm.hs
-rw-r--r-- 35044 TcEvidence.hs
-rw-r--r-- 119926 TcExpr.hs
-rw-r--r-- 1190 TcExpr.hs-boot
-rw-r--r-- 63681 TcFlatten.hs
-rw-r--r-- 23492 TcForeign.hs
-rw-r--r-- 87178 TcGenDeriv.hs
-rw-r--r-- 51803 TcGenFunctor.hs
-rw-r--r-- 41908 TcGenGenerics.hs
-rw-r--r-- 70449 TcHsSyn.hs
-rw-r--r-- 106940 TcHsType.hs
-rw-r--r-- 78550 TcInstDcls.hs
-rw-r--r-- 425 TcInstDcls.hs-boot
-rw-r--r-- 120820 TcInteract.hs
-rw-r--r-- 68760 TcMType.hs
-rw-r--r-- 49391 TcMatches.hs
-rw-r--r-- 562 TcMatches.hs-boot
-rw-r--r-- 50379 TcPat.hs
-rw-r--r-- 48645 TcPatSyn.hs
-rw-r--r-- 558 TcPatSyn.hs-boot
-rw-r--r-- 5646 TcPluginM.hs
-rw-r--r-- 114823 TcRnDriver.hs
-rw-r--r-- 401 TcRnDriver.hs-boot
-rw-r--r-- 29466 TcRnExports.hs
-rw-r--r-- 69492 TcRnMonad.hs
-rw-r--r-- 152177 TcRnTypes.hs
-rw-r--r-- 16266 TcRules.hs
-rw-r--r-- 120657 TcSMonad.hs
-rw-r--r-- 29049 TcSigs.hs
-rw-r--r-- 111123 TcSimplify.hs
-rw-r--r-- 318 TcSimplify.hs-boot
-rw-r--r-- 84211 TcSplice.hs
-rw-r--r-- 1380 TcSplice.hs-boot
-rw-r--r-- 150220 TcTyClsDecls.hs
-rw-r--r-- 40959 TcTyDecls.hs
-rw-r--r-- 107005 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 28362 TcTypeNats.hs
-rw-r--r-- 72 TcTypeNats.hs-boot
-rw-r--r-- 29937 TcTypeable.hs
-rw-r--r-- 90866 TcUnify.hs
-rw-r--r-- 468 TcUnify.hs-boot
-rw-r--r-- 82573 TcValidity.hs