Fail fast on pattern synonyms
[ghc.git] / compiler / types /
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-09-23  Ryan ScottAdd a recursivity check in nonVoid
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-31  Richard EisenbergMinor improvements to comments [skip ci]
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-24  Simon Peyton JonesAdd comments about pretty-printing via IfaceSyn
2018-08-23  Simon Peyton JonesComments only
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-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-29  Ningning XieFix #15453: bug in ForAllCo case in opt_trans_rule
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-24  Simon Peyton JonesFix a nasty bug in piResultTys
2018-07-23  Richard EisenbergFix some casts.
2018-07-19  Sasa BogicevicSmall spelling fixes for Unify.hs
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
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-07-08  Ryan ScottDefine an Outputable MCoercion instance
2018-06-29  Gabor GreifA few typofixes in comments
2018-06-26  Simon Peyton JonesAdd commnent about binder order
2018-06-26  Gabor GreifTypofixes in comments and whitespace only [ci skip]
2018-06-19  Simon Peyton JonesAdjust comments (Trac #14164)
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-18  Simon Peyton JonesFix an infinite loop in niFixTCvSubst
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  Ben GamariOptCoercion: Ensure we use new UnivCo provenance to...
2018-06-07  Matthew PickeringRename dataConRepNameUnique to dataConTyRepNameUnique
2018-06-07  Ben GamariDon't use unsafeGlobalDynFlags in optCoercion
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-04  Simon Peyton JonesExpand type synonyms when Linting a forall
2018-05-30  ningningDefine MCoercion type
2018-05-25  Simon Peyton JonesComments about the substition invariant
2018-05-24  Ryan ScottClean up the conflicting data family instances error...
2018-05-23  Simon Peyton JonesAdd missing check to isReflCoVar_maybe
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
2018-04-23  Simon Peyton Jonescoercion: Improve debugging output
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-13  Matthew PickeringRemove unused function: mkFunCos
2018-04-07  Simon JakobiDocument SumTyCon
2018-04-01  Richard EisenbergApply Note [EtaAppCo] in OptCoercion to another case
2018-04-01  Richard EisenbergApply the interim fix for #14119 to liftCoMatch
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-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
next