Collect CCs in CorePrep, including CCs in unfoldings
[ghc.git] / compiler / deSugar / Check.hs
2017-12-14  Carlos ToméFix #14135 by validity checking matches
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Gabor GreifFix typo in accessor name
2017-10-11  Simon Peyton JonesMinor refactoring
2017-09-27  Gabor GreifTypofixes
2017-09-25  Ryan ScottDocument how GHC disambiguates between multiple COMPLET...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-31  Herbert Valerio... Add missing Semigroup instances to compiler
2017-08-12  Ryan ScottChange isClosedAlgType to be TYPE-aware, and rename...
2017-08-05  Ryan ScottDon't warn when empty casing on Type
2017-07-31  Simon Peyton JonesUse field names for all uses of datacon Match
2017-07-31  Simon Peyton JonesRefactoring around FunRhs
2017-07-28  Simon Peyton JonesFix instantiation of pattern synonyms
2017-06-27  Ben GamariTreat banged bindings as FunBinds
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-12  Ben GamariRevert "Treat banged bindings as FunBinds"
2017-05-11  Ben GamaripmCheck: Don't generate PmId OccNames from Uniques
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-03-06  Ben GamariRead COMPLETE sets from external packages
2017-03-03  Ben GamariRevert "Read COMPLETE sets from external packages"
2017-03-03  Ryan ScottRead COMPLETE sets from external packages
2017-02-08  Simon Peyton JonesKill inaccessible-branch complaints in record update
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-06  Matthew PickeringDon't return empty initial uncovered set for an unsat...
2017-02-02  Matthew PickeringRemove INLINE pragma on loopbreaker
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
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/