Update Trac ticket URLs to point to GitLab
[ghc.git] / compiler / iface / TcIface.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-15  Simon Peyton JonesSmarter HsType pretty-print for promoted datacons
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  ningningRefactor coercion rule
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-03-19  Ryan ScottFix #14934 by including axSub0R in typeNatCoAxiomRules
2018-03-19  Simon Peyton JonesComments and tiny refactor
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
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-09  Ben GamariMerge initial Hadrian snapshot
2017-11-09  Joachim BreitnerInvoke lintUnfolding only on top-level unfoldings ...
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-07-28  Edward Z. YangFix hs-boot knot-tying with record wild cards.
2017-07-27  Richard EisenbergPreserve CoVar uniques during pretty printing
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-07-20  Edward Z. YangMake IfaceAxiom typechecking lazier.
2017-03-09  Gabor GreifComments only [ci skip]
2017-03-06  Ben GamariRead COMPLETE sets from external packages
2017-03-03  Ben GamariRevert "Read COMPLETE sets from external packages"
2017-03-03  Ryan ScottRead COMPLETE sets from external packages
2017-03-02  Edward Z. YangFix roles merging to apply only to non-rep-injective...
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-27  Edward Z. YangSubtyping for roles in signatures.
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-24  Edward Z. YangRecord full FieldLabel in ifConFields.
2017-02-17  Edward Z. YangFix a Backpack recompilation avoidance bug when signatu...
2017-02-02  Matthew PickeringMake interface loading for COMPLETE pragmas lazy
2017-02-01  Luke MaurerJoin points
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-22  Edward Z. YangRewrite Backpack comments on never-exported TyThings.
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-12  Gabor GreifTypos in manual, comments and tests
2017-01-11  Edward Z. YangImprove coment in typecheckIfacesForMerging.
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2017-01-11  Edward Z. YangRevamp Backpack/hs-boot handling of type class signatures.
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-20  Edward Z. YangSupport constraint synonym implementations of abstract...
2016-10-14  Ben GamariImprove find_lbl panic message
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-08-22  Edward Z. YangExtra comments, as per SPJ in #12035.
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-08-03  Matthew PickeringRemove `setUnfoldingInfoLazily`
2016-07-26  Edward Z. YangCompute boot-defined TyCon names from ModIface.
2016-07-20  Ben GamariInstEnv: Ensure that instance visibility check is lazy
2016-07-05  Bartosz NitkaUse DVarEnv for vectInfoVar
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-09  Edward Z. YangFix #12064 by making IfaceClass typechecking more lazy.
2016-06-07  Bartosz NitkaMake vectInfoParallelVars a DVarSet
2016-06-06  Bartosz NitkaUse UniqDFM for HomePackageTable
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-12  Edward Z. YangDon't prematurely force TyThing thunks with -ddump...
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-23  Ben GamariSupport multiple debug output levels
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-10-29  Matthew PickeringRecord pattern synonyms
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-11  Jan StolarekRemove redundant language extensions
2015-09-03  Jan StolarekInjective type families
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-07-27  Simon Peyton JonesImprove warnings for rules that might not fire
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-22  Edward Z. YangUse lookupIfaceTop for loading IfaceDecls.
next