Update Trac ticket URLs to point to GitLab
[ghc.git] / compiler / typecheck / TcUnify.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
2018-07-25  Simon Peyton JonesBuild more implications
2018-07-24  Krzysztof GogolewskiRemove dead code in TcUnify
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-07-17  Sasa BogicevicCorrect spelling errors
2018-07-10  Richard EisenbergUnwrap casts before checking vars in eager unifier
2018-07-10  ningningRefactor coercion rule
2018-06-29  Gabor GreifA few typofixes in comments
2018-06-26  Simon Peyton JonesA bit more tc-tracking in TcUnify.uUnfilledVar
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-02  Ben Gamarivectorise: Put it out of its misery
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-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-02-01  Simon Peyton JonesExperiment with eliminating the younger tyvar
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-03  Simon Peyton JonesTiny refactor around fillInferResult
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-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-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-15  Arnaud SpiwackRemove dead function TcUnify.wrapFunResCoercion
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-24  Simon Peyton JonesFix defer-out-of-scope-variables
2017-08-22  Ryan ScottRevise function arity mismatch errors involving TypeApp...
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-25  Simon Peyton JonesPattern synonyms and higher rank types
2017-04-28  Simon Peyton JonesA bit more tcTrace
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-27  Simon Peyton JonesTypechecker comments and debug tracing only
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-14  Ben GamariTcUnify: Assert precondition of matchExpectedTyConApp
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-11-25  Simon Peyton JonesA tiny bit more tc tracing
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-04-28  Simon Peyton JonesRemove unused unifyType_
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-15  Richard EisenbergAllow eager unification with type families.
2016-03-15  Richard EisenbergFix #11407.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-08  Simon Peyton JonesRemove unused export from TcUnify
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-15  Richard EisenbergTiny refactoring in TcUnify
2015-12-30  Richard EisenbergFix #11305.
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-10-27  Simon Peyton JonesZonk properly when checkig pattern synonyms
2015-10-05  Gabor GreifA few typos in comments
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-03-04  Simon Peyton JonesCheck for equality before deferring
2015-02-12  Simon Peyton JonesComments and white space; plus structurally avoiding...
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-02-11  Richard EisenbergFix egregious typo in checkTauTvUpdate.
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-10  Yuras Shumovichfix misleading error message regarding function arity
next