Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcHsSyn.hs
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
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-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-10-27  Simon MarlowApplicativeDo: handle BodyStmt (#12143)
2017-10-05  Joachim BreitnerRemove m_type from Match (#14313)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-31  Simon Peyton JonesUse field names for all uses of datacon Match
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-02-18  Ben GamariType-indexed Typeable
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-01-19  Richard EisenbergUpdate levity polymorphism
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/