Fix interaction of record pattern synonyms and record wildcards
[ghc.git] / compiler / rename /
2016-10-02  Matthew PickeringFix interaction of record pattern synonyms and record...
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-26  Simon Peyton JonesPrint foralls in user format
2016-09-11  Matthew PickeringRemove uses of mkMatchGroupName
2016-09-05  Facundo DomínguezDon't ignore addTopDecls in module finalizers.
2016-08-31  Ben GamariRnExpr: Fix ApplicativeDo desugaring with RebindableSyntax
2016-08-26  Simon Peyton JonesFix scoping of type variables in instances
2016-08-12  Simon Peyton JonesImprove missing-sig warning
2016-07-26  Edward Z. YangCompute boot-defined TyCon names from ModIface.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-20  Ömer Sinan AğacanSupport SCC pragmas in declaration context
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-07-07  AdityaCorrect the message displayed for syntax error (#12146)
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-07-04  Seraphime KirkovskiTreat duplicate pattern synonym signatures as an error
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-24  Simon Peyton JonesFix renamer panic
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-23  Simon Peyton JonesNarrow the use of record wildcards slightly
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-20  Simon MarlowApplicativeDo: allow "return $ e"
2016-06-18  Adam GundryAvoid find_tycon panic if datacon is not in scope
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-10  Simon Peyton JonesComments only
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-06-06  Bartosz NitkaDesugar ApplicativeDo and RecDo deterministically
2016-06-02  Bartosz NitkaKill nameSetElems in rnCmdTop
2016-06-02  Bartosz NitkaKill nameSetElems in findImportUsage
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-05-10  Matthew PickeringForbid variables to be parents in import lists.
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Simon Peyton JonesRefactor RecordPatSynField, FieldLabel
2016-04-28  Simon Peyton JonesComments only
2016-04-22  Simon Peyton JonesImprove the behaviour of warnIf
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-12  Richard EisenbergFix #11811.
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-10  Dominik BollmannFix Template Haskell bug reported in #11809.
2016-04-05  Herbert Valerio... Fix misattribution of `-Wunused-local-binds` warnings
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-29  Ben Gamarirename: Disallow type signatures in patterns in plain...
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-03-11  Simon MarlowAdd -foptimal-applicative-do
2016-03-11  Owen StephensAdd Note [Running splices in the Renamer]
2016-03-11  Edward Z. YangFix #11624, cannot declare hs-boot if already one in...
2016-03-05  Adam GundryDrop module qualifier from punned record fields (#11662)
2016-02-29  Rik SteenkampRefactor `warnMissingSignatures` in `RnNames.hs`
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Matthew PickeringImprove accuracy of suggestion to use TypeApplications
2016-02-25  Manav RathiMake warning names more consistent
2016-02-25  Ben GamariApplicativeDo: Handle terminal `pure` statements
2016-02-20  Simon MarlowFix a bug in ApplicativeDo (#11612)
2016-02-20  Simon MarlowRefactoring only: use ExprLStmt
2016-02-17  Richard EisenbergFix #11241.
2016-02-16  Ulya TrofimovichImproved error message about exported type operators.
2016-02-14  Alan Zimmermanrenamer discards name location for HsRecField
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-24  Herbert Valerio... Implement `-Wnoncanonical-monadfail-instances` warning
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-16  Rik SteenkampFix some typos
2016-01-15  Richard EisenbergFix #11404
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-07  Gabor GreifTypos in docs and comments
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-29  Adam GundryFix panic when using pattern synonyms with Disambiguate...
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesComments only
2015-12-23  Simon Peyton JonesTidy up and comment wildcards in family instances
2015-12-22  Simon Peyton JonesRefactor named wildcards (again)
2015-12-22  Alan ZimmermanMake HsAppsType contents Located
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-21  Alan ZimmermanAdd Location to RdrName in FieldOcc
2015-12-16  David LuposchainskyAdd `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Ben GamariDynFlags Remove -fwarn-context-quantification flag
2015-12-14  Richard EisenbergSuggest import Data.Kinds when * is out of scope
2015-12-12  Matthew PickeringImplement -fwarn-missing-pat-syn-sigs
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-11  Adam GundryFix infix record field fixity (#11167 and #11173).
2015-12-11  David KraeutmannImproved data family export documentation
2015-12-07  Eric SeidelMove checking for missing signatures to RnNames.reportU...
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-07  David KraeutmannRe-export data family when exporting a data instance...
2015-12-06  Herbert Valerio... Implement new `-fwarn-noncanonical-monoid-instances`
2015-12-02  Simon Peyton JonesComments only (isIrrefutablePat)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  Matthew PickeringRemove deprecated quasiquoter syntax.
next