Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / Inst.hs
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-26  Richard EisenbergFix #14618 by applying a subst in deeplyInstantiate
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-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-29  Simon Peyton JonesUse a well-kinded substitution to instantiate
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-07-03  Gabor Greifrename tcInstBinder(s)X to tcInstBinder(s)
2017-06-29  Gabor Greifremove dead function 'tcInstBinders'
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-12-02  John LeoMaintain in-scope set in deeply_instantiate (fixes...
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-06-25  Richard EisenbergRefactor tcInferArgs and add comments.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesGet in-scope set right in top_instantiate
2016-04-22  Simon Peyton JonesImprove the behaviour of warnIf
2016-03-29  Bartosz NitkaBuild correct substitution in instDFunType
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-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  Richard EisenbergRemove redundant imports
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-06  Simon Peyton JonesComments only
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Edward Z. YangRemove redundant tcg_visible_orphan_mods, it is recorde...
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
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-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesGet rid of TcMType.newWantedEvVar(s)
2014-12-03  Austin Seippcompiler: de-lhs typecheck/