Add location to the extra-constraints wildcard
[ghc.git] / compiler / typecheck / TcHsType.hs
2019-03-16  Simon Peyton JonesAdd location to the extra-constraints wildcard
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-09  Simon Peyton JonesStop inferring over-polymorphic kinds
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-22  Simon Peyton JonesRemove tcTyConUserTyVars
2019-02-18  Simon Peyton JonesGet rid of tcm_smart from TyCoMapper
2019-02-14  Simon Peyton JonesFail fast in solveLocalEqualities
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-08  Alan ZimmermanAPI Annotations: AnnAt disconnected for TYPEAPP
2019-01-28  Richard EisenbergSome refactoring in tcInferApps
2019-01-08  Ryan ScottBe pickier about unsaturated synonyms in :kind
2019-01-03  mynguyenVisible kind application
2018-12-20  Simon Peyton JonesAdd solveLocalEqualities to tcHsPatSigType
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-11-01  Richard EisenbergActually fail in failIfEmitsConstraints
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-28  Ningning XieFix `:k` command: add validity checking
2018-10-25  Simon Peyton JonesRemove a zonkTcTyVarToTyVar
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-01  Ryan ScottQuantify class variables first in associated families...
2018-09-15  ningningCoercion Quantification
2018-08-31  Simon Peyton JonesRemove knot-tying bug in TcHsSyn.zonkTyVarOcc
2018-08-31  Richard EisenbergMinor improvements to comments [skip ci]
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-21  Simon Peyton JonesAdd a solveEqualities to tcClassDecl1
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Vladislav ZavialovFix #15415 and simplify tcWildCardBinders
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-17  Sasa BogicevicFix a typo in related trac ticket number
2018-07-15  Richard EisenbergDon't mkNakedCastTy on something unsaturated
2018-07-13  Simon Peyton JonesImprove comments about CUSKs
2018-07-11  Richard EisenbergRemove bad debugging output.
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-07-10  Richard EisenbergExpand and implement Note [The tcType invariant]
2018-07-10  Richard EisenbergKind-check CUSK associated types separately
2018-07-10  Simon Peyton JonesAdd nakedSubstTy and use it in TcHsType.tcInferApps
2018-07-10  Simon Peyton JonesMore tc-tracing
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-06-25  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-21  Ryan ScottDrop redundant Note
2018-06-20  Ryan ScottRemove HsEqTy and XEqTy
2018-06-19  Richard EisenbergDocument and simplify tcInstTyBinders
2018-06-18  Richard EisenbergFix typo in comment only
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
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
next