Get rid of some stuttering in comments and docs
[ghc.git] / compiler / typecheck / TcFlatten.hs
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-14  Simon Peyton JonesFix an outright bug in the unflattener
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Simon Peyton JonesFix a TyVar bug in the flattener
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-20  Simon Peyton JonesComments and white space
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-03-27  Simon Peyton JonesTypechecker comments and debug tracing only
2017-03-17  Richard EisenbergComment coercion flattening [skip ci]
2016-12-05  Simon Peyton JonesUse isFamFreeTyCon now we have it
2016-12-01  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesRemove redundant kind check
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-09-30  Simon Peyton JonesA bit of tracing about flattening
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-04-22  Simon Peyton JonesA little more debug tracing
2016-04-15  Simon Peyton JonesImprove TcFlatten.flattenTyVar
2016-03-21  Richard EisenbergComments (only) in TcFlatten
2016-03-21  Richard EisenbergComment a suspicious zonk in TcFlatten.
2016-03-17  Richard EisenbergFix #11716.
2016-02-08  Simon Peyton JonesDefine tyConRolesRepresentational and use it
2016-02-08  Simon Peyton JonesComment out some traceFlat calls
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-09-21  Richard EisenbergRun simplifier only when the env is clean.
2015-08-07  Simon Peyton JonesComments only
2015-07-15  Richard EisenbergFix #10642.
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-05-07  Simon Peyton JonesComments only
2015-05-01  Simon Peyton JonesMake Derived NomEq rewrite only Derived NomEq
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-29  Simon Peyton JonesDon't print evidence in TcFlatten
2015-04-22  Simon Peyton JonesComments only
2015-04-14  Simon Peyton JonesComments and white space only
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-20  Simon Peyton JonesComments only
2015-01-09  Simon Peyton JonesA little tidying up in the flattener
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesComments only
2014-12-22  Richard EisenbergExpand notes in TcFlatten
2014-12-20  Richard EisenbergOptimize flattener by trying to reduce a TF before...
2014-12-17  Richard EisenbergPerformance enhancements in TcFlatten.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-11  Simon Peyton JonesWhite space wibble only
2014-12-10  Simon Peyton JonesComments only: move flattening notes to TcFlatten
2014-12-10  Simon Peyton JonesWhen flattening, try reducing type-family applications...
2014-12-10  Simon Peyton JonesReorganise the work list, so that flattening goals...
2014-12-08  Simon Peyton JonesRevise the inert-set invariants again
2014-12-03  Austin Seippcompiler: de-lhs typecheck/