Add nakedSubstTy and use it in TcHsType.tcInferApps
[ghc.git] / compiler / typecheck / TcPat.hs
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-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
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-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
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-21  Adam GundryIdentify fields by selector when type-checking (fixes...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-29  Simon Peyton JonesUse a well-kinded substitution to instantiate
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-03-14  Gabor GreifTypos in manual and comments
2017-02-16  Simon Peyton JonesUse the correct origin in SectionL and Section R
2017-01-23  Gabor GreifTypos and grammar in manual/comments
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-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-10-17  Simon Peyton JonesFix wrapping order in matchExpectedConTy
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-21  Gabor GreifTypos in comments
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-10  Simon Peyton JonesFix partial sigs and pattern bindings interaction
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-22  Richard EisenbergAvoid running afoul of the zipTvSubst check.
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Richard EisenbergFix #11711.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-10  Bartosz NitkaReplace mkTvSubstPrs (a `zip` b) with zipTvSubst a b
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
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-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-21  Alan ZimmermanAdd Location to RdrName in FieldOcc
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-28  Simon Peyton JonesPattern synonyms: swap provided/required
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-08-18  Matthew PickeringAdd selectors for common fields (DataCon/PatSyn) to...
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-21  Simon Peyton JonesAdd NOINLINE for hs-boot functions
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-02  Gabor GreifTypofixes
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-02-19  Simon Peyton JonesComments only
2015-02-19  Thomas WinantFix #10045
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-03  Austin Seippcompiler: de-lhs typecheck/