Typos in comments only [ci skip]
[ghc.git] / compiler / typecheck / TcHsSyn.hs
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-29  Simon Peyton JonesZonk the free tvs of a RULE lhs to TyVars
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-10  Simon Peyton JonesRename a parameter; trivial refactor
2016-10-06  Joachim BreitnerRemove dead code “mkHsConApp”
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-05  Bartosz NitkaKill varEnvElts in zonkEnvIds
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-22  Bartosz NitkaFix typos: alpah -> alpha
2016-04-22  Simon Peyton JonesRefactor free tyvars on LHS of rules
2016-04-22  Simon Peyton JonesSimplify defaultKindVar and friends
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-10  Conal ElliottExport zonkEvBinds from TcHsSyn.
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-02  Ben GamariTcMType: Add some elementary notes
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  Richard EisenbergFix #11405.
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Eric SeidelMove checking for missing signatures to RnNames.reportU...
2015-12-02  Eric SeidelAvoid panic due to partial ieName
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-18  Simon Peyton JonesRefactor HsExpr.RecordCon, RecordUpd
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-17  Simon MarlowApplicativeDo transformation
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
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-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-17  Simon Peyton JonesRefactor the extra-deps stuff for hs-boot
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs typecheck/