Coercion Quantification
[ghc.git] / compiler / types / OptCoercion.hs
2018-09-15  ningningCoercion Quantification
2018-07-29  Ningning XieFix #15453: bug in ForAllCo case in opt_trans_rule
2018-07-10  ningningRefactor coercion rule
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-14  Ben GamariOptCoercion: Ensure we use new UnivCo provenance to...
2018-06-07  Ben GamariDon't use unsafeGlobalDynFlags in optCoercion
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-01  Richard EisenbergApply Note [EtaAppCo] in OptCoercion to another case
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-01-03  Simon Peyton JonesFix OptCoercion
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-09  Simon Peyton JonesUse mkSymCo in OptCoercion.wrapSym
2017-05-08  Ben GamariOptCoercion: Ensure that TyConApps match in arity
2017-05-04  Simon Peyton JonesTeach optCoecion about FunCo
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-03  Sylvain HenryDitch static flags
2017-01-06  Simon Peyton JonesFix the implementation of the "push rules"
2016-04-10  Herbert Valerio... Reduce default for -fmax-pmcheck-iterations from 1e7...
2016-03-26  Richard EisenbergFix #11754 by adding an additional check.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-08  Simon Peyton JonesDefine tyConRolesRepresentational and use it
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-20  Bartosz NitkasubstTy to substTyUnchecked to fix Travis build
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-05  George KarachaliasRemove -Wtoo-many-guards from default flags (fixes...
2015-12-27  George KarachaliasAdding flags: -ffull-guard-reasoning and too-many-guards
2015-12-17  Richard EisenbergFix #11232.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-09-03  Jan StolarekInjective type families
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-01  Herbert Valerio... unlit compiler/types/ modules