rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
[ghc.git] / compiler / typecheck /
5 days ago  Simon Peyton JonesFix kind-checking for data/newtypes
5 days ago  Ryan ScottDon't typecheck too much (or too little) in DerivingVia...
7 days ago  Ryan ScottUse an empty data type in TTG extension constructors...
12 days ago  Ryan ScottMore sensible SrcSpans for recursive pattern synonym...
12 days ago  Simon Peyton JonesFix over-eager implication constraint discard
12 days ago  Simon Peyton JonesAdd a missing zonk (fixes #16902)
12 days ago  Vladislav ZavialovProduce all DerivInfo in tcTyAndClassDecls
2019-06-26  Oleg GrenrusAdd -Winferred-safe-imports warning
2019-06-23  Ryan ScottRefactor UnliftedNewtypes-relation kind signature valid...
2019-06-21  Matthías Páll Giss... Add HoleFitPlugins and RawHoleFits wip/D5373
2019-06-20  John EricsonMove 'Platform' to ghc-boot
2019-06-20  Simon Peyton JonesComments and tiny refactor
2019-06-20  Simon Peyton JonesFix typechecking of partial type signatures
2019-06-20  Simon Peyton JonesFix two places that failed the substitution invariant
2019-06-20  Ömer Sinan AğacanProperly trim IdInfos of DFunIds and PatSyns in TidyPgm
2019-06-16  Krzysztof GogolewskiRemove dead code
2019-06-16  Ryan ScottSynchronize ClsInst.doTyConApp with TcTypeable validity...
2019-06-14  Andrew MartinImplement the -XUnliftedNewtypes extension.
2019-06-12  Krzysztof GogolewskiUse DeriveFunctor throughout the codebase (#15654)
2019-06-11  Alp MestanogullariRefine the GHCI macro into HAVE[_{INTERNAL, EXTERNAL...
2019-06-09  Richard EisenbergFix #16517 by bumping the TcLevel for method sigs
2019-06-07  Simon Peyton JonesPreserve ShadowInfo when rewriting evidence
2019-06-07  Sebastian GrafTmOracle: Replace negative term equalities by refutable...
2019-06-04  Xavier DenisAdd GHCi :instances command
2019-06-01  Ryan ScottReject nested foralls in foreign imports (#16702)
2019-05-29  Vladislav ZavialovtcMatchesFun s/rho/sigma #16692
2019-05-29  Krzysztof GogolewskiIn hole fits, don't show VTA for inferred variables...
2019-05-28  Richard EisenbergImprove comments around injectivity checks
2019-05-22  Luite Stegemanfix Template Haskell cross compilation on 64 bit compil...
2019-05-22  Ryan ScottUse HsTyPats in associated type family defaults
2019-05-14  Vladislav ZavialovGuard CUSKs behind a language pragma
2019-05-08  Shayne FletcherImplement ImportQualifiedPost
2019-05-07  Ryan ScottCheck for duplicate variables in associated default...
2019-05-03  Ryan ScottMake equality constraints in kinds invisible
2019-05-03  Ningning XieOnly skip decls with CUSKs with PolyKinds on (fix ...
2019-05-03  Vladislav ZavialovPattern/expression ambiguity resolution
2019-04-19  Alec TheriaultTH: make `Lift` and `TExp` levity-polymorphic
2019-04-14  Krzysztof GogolewskiFix assertion failures reported in #16533
2019-04-04  Ryan ScottTweak error messages for narrowly-kinded assoc default...
2019-04-03  Chris MartinCorrect two misspellings of "separately"
2019-03-25  Takenobu TaniUpdate Wiki URLs to point to GitLab
2019-03-22  Herbert Valerio... base: Remove `Monad(fail)` method and reexport `MonadFa...
2019-03-21  Ryan ScottReject nested predicates in impredicativity checking
2019-03-20  Krzysztof GogolewskiFix typos
2019-03-20  Krzysztof GogolewskiReplace nOfThem by replicate
2019-03-16  Simon Peyton JonesAdd location to the extra-constraints wildcard
2019-03-16  Simon Peyton JonesImprove error recovery in the typechecker
2019-03-15  Simon Peyton JonesReport better suggestion for GADT data constructor
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-12  Simon Peyton JonesUse transSuperClasses in TcErrors
2019-03-11  Krzysztof GogolewskiChange the warning in substTy back to an assertion
2019-03-09  Simon Peyton JonesStop inferring over-polymorphic kinds
2019-03-08  Roland SennFix #13839: GHCi warnings do not respect the default...
2019-03-08  Simon Peyton JonesUse captureTopConstraints in TcRnDriver calls
2019-03-07  Ryan ScottFix #16391 by using occCheckExpand in TcValidity
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-24  Vladislav ZavialovExpression/command ambiguity resolution
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-24  Simon Peyton JonesRemove bogus assertion
2019-02-22  Simon Peyton JonesRemove tcTyConUserTyVars
2019-02-18  Alec TheriaultUphold AvailTC Invariant for associated data fams
2019-02-18  Simon Peyton JonesGet rid of tcm_smart from TyCoMapper
2019-02-14  Simon Peyton JonesFail fast in solveLocalEqualities
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-14  Matthew PickeringImplement -Wredundant-record-wildcards and -Wunused...
2019-02-12  Richard EisenbergFix #16188
2019-02-12  Ryan ScottFix #16293 by cleaning up Proxy# infelicities
2019-02-10  Matthew PickeringCapture and simplify constraints arising from running...
2019-02-09  klebinger.andreas... Replace a few uses of snocView with last/lastMaybe.
2019-02-08  Simon Peyton JonesMinor refactor of CUSK handling
2019-02-08  Simon Peyton JonesComments only
2019-02-08  Alan ZimmermanAPI Annotations: AnnAt disconnected for TYPEAPP
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-02-06  Ryan ScottFix #16287 by checking for more unsaturated synonym...
2019-02-06  Ryan ScottFix #14579 by defining tyConAppNeedsKindSig, and using it
2019-02-04  Zejun WuAdd `-fplugin-trustworthy` to avoid marking modules...
2019-02-02  Ryan ScottReject oversaturated VKAs in type family equations
2019-01-31  Sylvain HenryUse ByteString to represent Cmm string literals (#16198)
2019-01-28  Richard EisenbergSome refactoring in tcInferApps
2019-01-23  Gabor GreifA few typofixes
2019-01-21  Matthew PickeringFix typo in TcRnTypes.hs [skip ci]
2019-01-20  Chaitanya KoparkarMention DerivingStrategies in the warning when DAC...
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2019-01-17  Simon Peyton JonesSmall refactor
2019-01-17  Simon Peyton JonesRemove export of checkValidFamPats, never used
2019-01-15  Ryan Scott@simonpj's suggested refactor
2019-01-15  Ryan ScottControl validity-checking of type synonym applications...
2019-01-11  Matthew PickeringRun typed splices in the zonker
2019-01-08  Ryan ScottBe pickier about unsaturated synonyms in :kind
2019-01-06  Ryan ScottFix #16133 by checking for TypeApplications in rnExpr
2019-01-06  chessaiAdd -Wmissing-deriving-strategies
2019-01-03  mynguyenVisible kind application
2018-12-29  Shayne Fletcherrebindable-clash-warning-fix : correct warning logic
2018-12-21  Ben GamariTcRnDriver: Fix haddock-like comment
2018-12-21  Simon Peyton JonesFix treatment of hi-boot files and dfuns
2018-12-21  Simon Peyton JonesTiny refactor to tcExtendRecEnv
2018-12-21  Simon Peyton JonesMake candidateQTvs contain tyvar with zonked kinds
2018-12-21  Ryan ScottFix #16002 by moving a validity check to the renamer