Treat isConstraintKind more consistently
[ghc.git] / compiler / types / Unify.hs
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-19  Sasa BogicevicSmall spelling fixes for Unify.hs
2018-07-10  ningningRefactor coercion rule
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 JonesFix an infinite loop in niFixTCvSubst
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-01  Richard EisenbergApply the interim fix for #14119 to liftCoMatch
2018-03-21  Simon Peyton JonesFix two obscure bugs in rule matching
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
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-09-27  Gabor GreifTypofixes
2017-09-26  Gabor GreifA bunch of typofixes
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-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-05-16  Simon Peyton JonesFix the pure unifier
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  Simon Peyton JonesAdd VarSet.anyDVarSet, allDVarSet
2017-02-28  Simon Peyton JonesMake Specialise work with casts
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-01-25  Gabor GreifTypos in comments [ci skip]
2016-09-23  Richard EisenbergFix #12442.
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-03-30  Simon Peyton JonesComments only in Unify.hs
2016-03-26  Richard EisenbergClarify Note [Kind coercions in Unify]
2016-03-21  Richard EisenbergAdd two small optimizations. (#11196)
2016-03-21  Richard EisenbergFix exponential algorithm in pure unifier.
2016-02-17  Richard EisenbergAdd missing kind cast to pure unifier.
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-01  Herbert Valerio... Canonicalise `MonadPlus` instances
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-10-30  Ben GamariUnify: Add Outputable instance for UnifyResultM
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-09-03  Jan StolarekInjective type families
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-06-16  Richard EisenbergReimplement Unify.typesCantMatch in terms of apartness.
2015-06-16  Richard EisenbergFix #10493.
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-04  Edward Z. YangComments on TrieMap and unifier.
2014-12-01  Herbert Valerio... unlit compiler/types/ modules