Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcHsType.hs
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2018-01-09  Simon Peyton JonesSmall local refactoring
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-12-14  Simon Peyton JonesBetter tc-trace messages
2017-12-13  Simon Peyton JonesFurther improvements to well-kinded types
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-12-11  Simon Peyton JonesBuild only well-kinded types in type checker
2017-12-08  Simon Peyton JonesRefactor kcHsTyVarBndrs
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
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-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-14  Simon Peyton JonesA bit more tc-tracing
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-16  Edward Z. YangLevity polymorphic Backpack.
2017-09-27  Gabor GreifTypofixes
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-21  Ryan ScottTypofixes (visiblity -> visibility)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Richard EisenbergFix #13963.
2017-09-14  Simon Peyton JonesRefactor tcInferApps
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-29  Simon Peyton JonesA bit more -ddump-tc tracing
2017-08-29  Simon Peyton JonesComments only
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-27  Richard EisenbergRefactor tcInferApps.
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
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-07-06  Gabor GreifTypos in comments [ci skip]
2017-07-03  Gabor Greifrename tcInstBinder(s)X to tcInstBinder(s)
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-28  Gabor GreifRemove unneeded import
2017-06-28  Gabor GreifMore typos in comments [ci skip]
2017-06-28  Simon Peyton JonesDo zonking in tcLHsKindSig
2017-06-28  Simon Peyton JonesFix the in-scope set in TcHsType.instantiateTyN
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-27  Simon Peyton JonesSimplify the logic for tc_hs_sig_type
2017-03-24  Gabor GreifTypos in comments (notes too) [ci skip]
2017-03-17  Richard EisenbergRemove solveSomeEqualities
2017-03-14  Richard EisenbergFix #13337.
2017-03-06  Gabor GreifTypos in comments and manual
2017-02-13  Gabor GreifTypos in notes and comments [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-10  Alan ZimmermanMake HsIParamTy have a Located HsIPName
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-04  Simon Peyton JonesRemove a debug trace
2016-11-02  Simon Peyton JonesSimplify the API for TcHsType.kcHsTyVarBndrs
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-10  Simon Peyton JonesDelete orphan where clause
2016-09-05  mniipLess scary arity mismatch error message when deriving
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-30  Alexander ViethTrac #11554 fix loopy GADTs
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 JonesRemove some traceTc calls
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-26  Simon Peyton JonesReduce special-casing for nullary unboxed tuple
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Csongor Kisstypechecker: fix trac issue #11708
2016-03-15  Richard EisenbergFix #11648.
2016-03-01  Simon Peyton JonesA bit more tracing in TcHsType.tcTyVar
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergFix #11246.
2016-02-16  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
next