Update Trac ticket URLs to point to GitLab
[ghc.git] / compiler / types / Type.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-07  Ryan ScottFix #16391 by using occCheckExpand in TcValidity
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-18  Simon Peyton JonesGet rid of tcm_smart from TyCoMapper
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-12  Ryan ScottFix #16293 by cleaning up Proxy# infelicities
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-01-11  Richard EisenbergMore minor comment improvements
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-12-03  Ryan ScottFix #15954 by rejigging check_type's order
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-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-24  Ryan ScottFix #15792 by not reifying invisible arguments in AppTys
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-09-15  ningningCoercion Quantification
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-31  Simon Peyton JonesComments only
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-22  Simon Peyton JonesTurn infinite loop into a panic
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-06  Piyush P KururSupport typechecking of type literals in backpack
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-24  Simon Peyton JonesFix a nasty bug in piResultTys
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-10  ningningRefactor coercion rule
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-04  Simon Peyton JonesExpand type synonyms when Linting a forall
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-27  Simon Peyton JonesAvoid quadratic complexity in typeKind
2018-03-26  Alexander ViethFix performance of flattener patch (#12919)
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-02-07  Simon Peyton JonesComments only
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-03  Simon Peyton JonesComments about join point types
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-15  Simon Peyton JonesFix tcDataKindSig
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-11  Simon Peyton JonesDelete two unused functions
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-29  Simon Peyton JonesAdd HasDebugStack for typeKind
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-24  Simon Peyton JonesRemove typeKind from Type.hs-boot
2017-08-12  Ryan ScottChange isClosedAlgType to be TYPE-aware, and rename...
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-07-28  Simon Peyton JonesAdd DebugCallStack to piResultTy
2017-07-27  Richard EisenbergRefactor tcInferApps.
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
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-05-03  Richard EisenbergShave the hair off mkCastTy.
2017-04-13  Simon Peyton JonesComments only in Type.isPredTy
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-18  Ben GamariType-indexed Typeable
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-15  Gabor GreifTypos [ci skip]
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
2017-02-01  Luke MaurerJoin points
2017-01-28  Ryan ScottConvert pprTrace in isPredTy to a WARN
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
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 JonesComments around invisibility
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
next