Tighten checking for associated type instances
[ghc.git] / compiler / types / OptCoercion.hs
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