COMPLETE pragmas for enhanced pattern exhaustiveness checking
[ghc.git] / compiler / deSugar / Check.hs
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2016-11-29  Matthew PickeringRefactor Pattern Match Checker to use ListT
2016-11-06  Matthew PickeringAdd tracing infrastructure to pattern match checker
2016-09-29  Ömer Sinan AğacanCheck.hs: Use actual import lists instead of comments
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-04-17  David LuposchainskyAdd flag to control number of missing patterns in warnings
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-04  Ben GamariFix a few loose ends from D1795
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-04  George KarachaliasAvoid generating guards for CoPats if possible (Address...
2015-12-30  George KarachaliasAddress #11245: Ensure the non-matched list is always...
2015-12-29  George KarachaliasIntroduce negative patterns for literals (addresses...
2015-12-27  George KarachaliasAdding flags: -ffull-guard-reasoning and too-many-guards
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-05  George Karachaliaspmcheck: Comments about undecidability of literal equality
2015-12-05  George Karachaliaspmcheck: Comments about term equality representation
2015-12-04  Ben GamariCheck: More Clang/CPP wibbles
2015-12-04  George KarachaliasImprove performance for PM check on literals (Fixes...
2015-12-03  Ben GamariFix haddock syntax
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-08-18  DivamComments reformating/corrections
2015-08-18  Matthew PickeringAdd selectors for common fields (DataCon/PatSyn) to...
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2014-12-03  Austin Seippcompiler: de-lhs deSugar/