Turn EvTerm (almost) into CoreExpr (#14691)
[ghc.git] / compiler / typecheck / TcEvidence.hs
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
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-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-19  Simon Peyton JonesFix unused-given-constraint bug
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-18  Ben GamariType-indexed Typeable
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-10-27  Simon Peyton JonesCollect coercion variables, not type variables
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-08-14  Gabor GreifMisspellings in comments [skip ci]
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-04-04  Eric SeidelDon't infer CallStacks
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-12  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-02-01  Eric SeidelHide the CallStack implicit parameter
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-17  Adam GundryImplement OverloadedLabels
2015-10-30  Bartosz NitkaMake type-class dictionary let binds deterministic
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-09-03  Jan StolarekInjective type families
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Gabor GreifDemonstrate that inferring Typeable for type literals...
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-07  Herbert Valerio... Re-export `<$>` from Prelude (#10113)
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesAdd a couple of missing cases to isTcReflCo and isTcRef...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/