Comments about -Wredundant-constraints
[ghc.git] / compiler / hsSyn /
2016-10-06  Joachim BreitnerRemove dead code “mkHsConApp”
2016-10-02  Matthew PickeringDon't warn about name shadowing when renaming the patte...
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-26  Joachim BreitnerRemove #ifdef with never fulfilled condition
2016-09-13  Simon Peyton JonesComments and white space only
2016-09-11  Ryan ScottFix derived Ix instances for one-constructor GADTs
2016-09-11  Matthew PickeringRemove uses of mkMatchGroupName
2016-09-11  Matthew PickeringGeneralise type of mkMatchGroup to unify with mkMatchGr...
2016-08-29  Ryan ScottTemplate Haskell support for TypeApplications
2016-08-26  Simon Peyton JonesFix scoping of type variables in instances
2016-08-23  Ryan ScottTemplate Haskell support for unboxed sums
2016-08-22  Ryan ScottSplice singleton unboxed tuples correctly with Template...
2016-08-05  Ben GamariExpanded abbreviations in Haddock documentation
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-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-23  Simon Peyton JonesRemove unused import
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-21  Andrew FarmerFix deriving Ord when RebindableSyntax is enabled
2016-05-12  Dominik BollmannAdd TH support for pattern synonyms (fixes #8761)
2016-05-06  Matthew PickeringFix pretty printing of IEThingWith
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-28  Simon Peyton JonesRefactor RecordPatSynField, FieldLabel
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-20  Simon Peyton JonesReduce use of instances in hs-boot files
2016-04-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-12  Richard EisenbergFix #11811.
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-06  Joachim BreitnerCore pretty printer: Omit wild case binders
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-24  Ben GamariShow: Restore redundant parentheses around records
2016-03-17  Richard EisenbergFix #11711.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-03-05  Rik SteenkampFix printing of an `IfacePatSyn`
2016-02-25  Matthew PickeringReconstruct record expression in bidir pattern synonym
2016-02-16  Rik SteenkampFix typos
2016-02-12  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
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-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-16  Rik SteenkampFix some typos
2016-01-15  Richard EisenbergFix #11405.
2016-01-09  Yuri de Witfix -ddump-splices to parenthesize ((\x -> x) a) correctly
2016-01-06  Jan StolarekChange Template Haskell representation of GADTs.
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-29  Ben GamariUpdate a few references to GHC 7.12
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesTidy up and comment wildcards in family instances
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
2015-12-23  Simon Peyton JonesComments and white space
2015-12-23  Simon Peyton JonesRevert "Allow as-patterns in pattern synonym declarations."
2015-12-22  Simon Peyton JonesRefactor named wildcards (again)
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-22  RyanGlScottRework Template Haskell's handling of strictness
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-20  Matthew PickeringAllow as-patterns in pattern synonym declarations.
2015-12-17  Eugene AkentyevAdd -fprint-typechecker-elaboration flag (fixes #10662)
2015-12-16  Ben GamariUpdate haddock submodule
2015-12-14  Ben GamariUse Cxt for deriving clauses in TH (#10819)
2015-12-12  John LeoRefactor type families in Template Haskell
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-09  Gabor GreifMore typos in comments/docs
2015-12-08  Gabor GreifAn assortment of typos
2015-12-08  Simon Peyton JonesComments about polymorphic recursion
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-02  Simon Peyton JonesComments only (isIrrefutablePat)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  David LuposchainskyImplement warnings for Semigroups as parent of Monoid
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-23  Alan ZimmermanAdd the rest of the notes for Located RdrName
2015-11-23  Alan ZimmermanAdd a note explaining why every RdrName is Located
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-18  Simon Peyton JonesRefactor HsExpr.RecordCon, RecordUpd
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-11-11  Jan StolarekRemove unused field in ConDecl
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-11-01  Alan ZimmermanApiAnnotations: BooleanFormula is not properly Located
2015-10-30  Ben GamariGenerate Typeable info at definition sites
next