Revamp Backpack/hs-boot handling of type class signatures.
[ghc.git] / compiler / iface / TcIface.hs
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.
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-06-19  Gabor GreifSpelling in comments
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-04  Adam GundryPermit empty closed type families
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2015-01-11  Simon Peyton JonesMore comments on HsBang
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-16  Peter WortmannStrip source ticks from iface code if DWARF is disabled
2014-12-16  Peter WortmannSource notes (Core support)
2014-12-15  Simon Peyton JonesMake Core Lint check for locally-bound GlobalIds
2014-12-03  Austin Seippcompiler: de-lhs iface/