Fix missing unboxed tuple RuntimeReps (#16565)
[ghc.git] / compiler / deSugar / Check.hs
2019-05-29  Krzysztof GogolewskiFix missing unboxed tuple RuntimeReps (#16565)
2019-04-22  Vladislav ZavialovStop misusing EWildPat in pattern match coverage checking
2019-04-08  Sebastian GrafMake `singleConstructor` cope with pattern synonyms
2019-04-03  Sebastian GrafFix Uncovered set of literal patterns
2019-03-27  Chaitanya KoparkarFix a few broken Trac links [skip ci]
2019-03-25  Takenobu TaniUpdate Wiki URLs to point to GitLab
2019-03-21  Simon JakobiCheck.hs: Fix a few typos
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-28  Ryan ScottNormalise EmptyCase types using the constraint solver
2018-09-23  Ryan ScottAdd a recursivity check in nonVoid
2018-08-27  Ryan ScottTake strict fields into account in coverage checking
2018-08-01  Ryan ScottFix #15450 by refactoring checkEmptyCase'
2018-07-30  Ryan ScottFix #15385 by using addDictsDs in matchGuards
2018-06-04  HE, TaoFix broken test T14547.
2018-06-03  HE, TaoImprove exhaustiveness checking for literal values...
2018-06-03  Ryan ScottFix a bad interaction between GADTs and COMPLETE sets
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-21  Simon Peyton JonesRemove TcType.toTcType
2018-05-08  HE, TaoNormalize the element type of ListPat, fix #14547
2018-05-08  Ben GamariRevert "Normalize the element type of ListPat, fix...
2018-05-08  Ben GamariNormalize the element type of ListPat, fix #14547
2018-05-08  Ben GamariRevert "Normalize the element type of ListPat, fix...
2018-05-05  HE, TaoNormalize the element type of ListPat, fix #14547
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-03-02  Ryan ScottFix the coverage checker's treatment of existential...
2018-03-02  HE, TaoImprove exhaustive checking for guards in pattern bindi...
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
next