Use lengthIs and friends in more places
[ghc.git] / compiler / types / OptCoercion.hs
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