Visible dependent quantification
[ghc.git] / compiler / types / TyCoRep.hs
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-20  Simon Peyton JonesTiny refactor in isUnliftedRuntimeRep
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-06  Ryan ScottFix #14579 by defining tyConAppNeedsKindSig, and using it
2019-01-28  Richard EisenbergSome refactoring in tcInferApps
2019-01-06  Adam Sandberg ErikssonRemove OPTIONS_HADDOCK hide in favour for not-home
2019-01-03  mynguyenVisible kind application
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-15  Simon Peyton JonesComments adding to the fix for Trac #15859
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-26  Simon Peyton JonesFix nasty bug in the type free-var finder, at last
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-19  Ningning XieAdding almost devoid check for covar in ForAllCo
2018-10-15  Tobias DammersUse an accumulator version of tyCoVarsOfType
2018-09-15  ningningCoercion Quantification
2018-08-24  Simon Peyton JonesAdd comments about pretty-printing via IfaceSyn
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  ningningRefactor coercion rule
2018-07-08  Ryan ScottDefine an Outputable MCoercion instance
2018-06-26  Simon Peyton JonesAdd commnent about binder order
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-05-30  ningningDefine MCoercion type
2018-05-25  Simon Peyton JonesComments about the substition invariant
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-21  Ryan ScottFix #14869 by being more mindful of Type vs. Constraint
2018-03-19  Simon Peyton JonesComments and tiny refactor
2018-01-25  Simon Peyton JonesComments about CoercionHoles
2018-01-03  Simon Peyton JonesWhite space only
2017-12-21  Richard EisenbergComments only [skip ci]
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-19  Ryan ScottExport injectiveVarsOf{Binder,Type} from TyCoRep
2017-10-11  Simon Peyton JonesDelete two unused functions
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-25  Simon Peyton JonesComments only
2017-09-21  Ryan ScottTypofixes (visiblity -> visibility)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesMore refinements to debugPprType
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-24  Simon Peyton JonesRemove typeKind from Type.hs-boot
2017-08-02  Ryan ScottRemove unneeded uses of ImplicitParams
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-27  Richard EisenbergRefactor tcInferApps.
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-07-27  Richard EisenbergDon't tidy vars when dumping a type
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-06-29  Ryan ScottTypos in comments
2017-06-18  Ryan ScottFix out-of-date comments in TyCoRep
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-03  Richard EisenbergUse mkCastTy in subst_ty.
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-01-26  Gabor GreifPrune unneeded Derive* language pragmas
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-16  Simon Peyton JonesComments about TyBinders (only)
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-12-13  John Leoprint * in unicode correctly (fixes #12550)
2016-11-28  Gabor GreifTypos in comments only [ci skip]
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536)
2016-10-21  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesFix comment typo
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-09-30  Gabor GreifCorrect spelling in note references
2016-09-30  Simon Peyton JonesComments only
2016-09-26  Simon Peyton JonesPrint foralls in user format
2016-09-15  Simon Peyton JonesComments only
2016-09-15  Ben GamariUnify CallStack handling in ghc
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-07-13  Joachim BreitnertidyType: Rename variables of nested forall at once
2016-07-05  Bartosz NitkaKill some varEnvElts
2016-06-25  Richard EisenbergRefactor tcInferArgs and add comments.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-24  Simon Peyton JonesRemove bogus comment on ForAllTy
2016-06-24  Simon Peyton JonesComments around invisibility
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
next