Embrace -XTypeInType, add -XStarIsType
[ghc.git] / compiler / typecheck / TcHsType.hs
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-03  Alanas PlascinskastcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv
2018-06-03  Ryan ScottFix #13777 by improving the underdetermined CUSK error...
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-18  Simon Peyton JonesDebug tracing only
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
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.
2018-03-05  Simon Peyton JonesRespect Note [The tcType invariant]
2018-02-18  HE, TaoImprove error message for UNPACK/strictness annotations.
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
next