Improve isReflexiveCo performance
[ghc.git] / compiler / types /
2018-04-15  Tobias DammersImprove isReflexiveCo performance
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-03-21  Simon Peyton JonesFix two obscure bugs in rule matching
2018-03-21  Ryan ScottFix #14869 by being more mindful of Type vs. Constraint
2018-03-19  Simon Peyton JonesComments and tiny refactor
2018-02-27  Simon Peyton JonesComments only
2018-02-27  Simon Peyton JonesFix a nasty bug in the pure unifier
2018-02-22  Richard EisenbergComments in Unify, fixing #12442
2018-02-07  Simon Peyton JonesComments only
2018-02-01  Tobias DammersOptimize coercionKind (Trac #11735)
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-25  Simon Peyton JonesRemove dead code: mkNthCoRole
2018-01-25  Simon Peyton JonesComments about CoercionHoles
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
2018-01-04  Bartosz NitkaCache the number of data cons in DataTyCon and SumTyCon
2018-01-03  Simon Peyton JonesFix OptCoercion
2018-01-03  Simon Peyton JonesWhite space only
2018-01-03  Simon Peyton JonesSmall refactoring in Coercion
2018-01-03  Simon Peyton JonesComments about join point types
2017-12-21  Richard EisenbergComments only [skip ci]
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
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-30  Michal TerepetaAllow packing constructor fields
2017-10-27  Bartosz NitkaMake tagForCon non-linear
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-27  Gabor GreifTypofixes
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
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 JonesInterim fix for a nasty type-matching bug
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-14  Simon Peyton JonesMore refinements to debugPprType
2017-09-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-29  Simon Peyton JonesAdd HasDebugStack for typeKind
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-29  Simon Peyton JonesBetter debug-printing for Outputable TyConBinder
2017-08-24  Simon Peyton JonesRemove typeKind from Type.hs-boot
2017-08-22  Ryan ScottFix #14125 by normalizing data family instances more...
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-08-12  Ryan ScottExpand type synonyms during role inference
2017-08-12  Ryan ScottChange isClosedAlgType to be TYPE-aware, and rename...
2017-08-02  Ryan ScottRemove unneeded uses of ImplicitParams
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-08-01  Ryan ScottAllow bundling pattern synonyms with exported data...
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-31  Richard EisenbergClarify comment about data family arities
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 EisenbergDon't tidy vars when dumping a type
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
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-16  Simon Peyton JonesFix the pure unifier
2017-05-12  Gabor GreifTypos [ci skip]
2017-05-09  Simon Peyton JonesUse mkSymCo in OptCoercion.wrapSym
2017-05-08  Ben GamariOptCoercion: Ensure that TyConApps match in arity
2017-05-04  Simon Peyton JonesComments only, about Typeable/TypeRep/KindRep
2017-05-04  Simon Peyton JonesTeach optCoecion about FunCo
2017-05-03  Richard EisenbergUse mkCastTy in subst_ty.
2017-05-03  Richard EisenbergShave the hair off mkCastTy.
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
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-29  Simon Peyton JonesAdd a couple of HasDebugCallStack contexts
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-02  Edward Z. YangPrevent users from defining instances for abstract...
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-03-02  Edward Z. YangInjective type families imply nominal injectivity,...
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-03-01  Simon Peyton JonesAdd VarSet.anyDVarSet, allDVarSet
2017-02-28  Simon Peyton JonesMake Specialise work with casts
2017-02-27  Edward Z. YangSubtyping for roles in signatures.
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
next