Fix typos
[ghc.git] / compiler / typecheck / TcBinds.hs
2019-03-20  Krzysztof GogolewskiFix typos
2019-03-16  Simon Peyton JonesImprove error recovery in the typechecker
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-08  Simon Peyton JonesComments only
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-06-25  Simon Peyton JonesFix error recovery for pattern synonyms
2018-06-22  Alan ZimmermanTTG for IPBind had wrong extension name
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-15  Simon Peyton JonesFix the bind-recovery type
2018-06-03  Alanas PlascinskastcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-07  Alan ZimmermanRemove HasSourceText and SourceTextX classes
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-02  Shea LevyMake cost centre symbol names deterministic.
2017-12-21  Simon Peyton JonesCheck for bogus quantified tyvars in partial type sigs
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-11-27  Simon Peyton JonesCheck quantification for partial type signatues
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-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-04-28  Simon Peyton JonesComments and tiny refactoring
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-06  Simon Peyton JonesComments and eta expand only
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-14  Richard EisenbergFix #13337.
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-10  Simon Peyton JonesImprove error messages for skolems
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-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-24  Alan ZimmermanMake SCCFunSig tag Located for ghc-exactprint
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-12-05  Simon Peyton JonesFix used-variable calculation (Trac #12548)
2016-11-25  Simon Peyton JonesFix inference of partial signatures
2016-11-21  Gabor GreifA few typos in comments
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-08-21  Edward Z. YangWhen a value Id comes from hi-boot, insert noinline...
2016-07-20  Ömer Sinan AğacanSupport SCC pragmas in declaration context
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Richard EisenbergFix #10963 and #11975 by adding new cmds to GHCi.
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-21  Gabor GreifTypos in comments
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Simon Peyton JonesAdjust error message slightly
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-05-10  Simon Peyton JonesWhite space only
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Simon Peyton JonesAdd missing solveEqualities
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-04  Eric SeidelDon't infer CallStacks
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesMinor refactoring in mkExport
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Manav RathiMake warning names more consistent
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
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-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
next