Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / TcCanonical.hs
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-12  Richard EisenbergFix #16188
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-22  David EichmannFix unused-import warnings
2018-10-24  Simon Peyton JonesDon't print out undefined coercions
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-09-13  Simon Peyton JonesDelete duplicated comment line
2018-09-03  Simon Peyton JonescanCFunEqCan: use isTcReflexiveCo (not isTcReflCo)
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-07-23  Simon Peyton JonesStop marking soluble ~R# constraints as insoluble
2018-07-10  ningningRefactor coercion rule
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-05-23  Simon Peyton JonesUse dischargeFunEq consistently
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-02-01  Simon Peyton JonesExperiment with eliminating the younger tyvar
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
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  Gabor GreifCatch a few more typos in comments
2017-10-30  Simon Peyton JonesA bit more tc-tracing
2017-10-20  Simon Peyton JonesComments and white space
2017-10-18  Simon Peyton JonesBetter solving for representational equalities
2017-10-18  Simon Peyton JonesDon't deeply expand insolubles
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-28  Simon Peyton JonesFix ASSERT failure in tc269
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-20  Gabor GreifSpelling fixes
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-25  Simon Peyton JonesComments only
2017-05-19  Simon Peyton JonesEnsure that insolubles are fully rewritten
2017-05-09  Simon Peyton JonesReset cc_pend_sc flag in dropDerivedCt
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-13  Gabor GreifTypos in notes and comments [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-09  Simon Peyton JonesFix zonk_eq_types in TcCanonical
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-25  Simon Peyton JonesFix a bug in mk_superclasses_of
2016-10-21  Simon Peyton JonesImprove TcCanonical.unifyWanted and unifyDerived
2016-10-21  Simon Peyton JonesDefine emitNewWantedEq, and use it
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-22  Simon Peyton JonesExpand given superclasses more eagerly
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-04-22  Simon Peyton JonesA little more debug tracing
2016-04-15  Simon Peyton JonesImprove TcFlatten.flattenTyVar
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-17  Richard EisenbergFix #11716.
2016-03-01  Simon Peyton JonesComments only
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-08  Simon Peyton JonesDocument and improve superclass expansion
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
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... Drop pre-AMP compatibility CPP conditionals
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-09-03  Jan StolarekInjective type families
2015-08-07  Simon Peyton JonesComments only
2015-07-21  Simon Peyton JonesRefactor newSCWorkFromFlavoured
2015-07-21  Simon Peyton JonesComments only (superclasses and improvement)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-18  Simon Peyton JonesComments plus tiny refactoring
2015-06-18  Simon Peyton JonesComments only
2015-06-16  Richard EisenbergClarify some comments around injectivity.
2015-06-16  Richard EisenbergFix typo in comment
2015-06-16  Richard EisenbergTreat funTyCon like any other TyCon in can_eq_nc.
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard Eisenberg(mostly) Comments only
2015-06-16  Richard EisenbergDecompose wanted repr. eqs. when no matchable givens.
next