Prefer #if defined to #ifdef
[ghc.git] / compiler / typecheck / TcRnDriver.hs
2017-04-29  Ben GamariPrefer #if defined to #ifdef
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-05  Gabor GreifTypos in comments [ci skip]
2017-03-17  Richard EisenbergFix #13202 by failing more eagerly in tcRnStmt
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-03-02  Edward Z. YangDisallow non-nullary constraint synonyms on class.
2017-03-02  Edward Z. YangMore comments on role subtyping, unsoundness fix.
2017-03-02  David FeuerEliminate ListSetOps from imp_trust_pkgs
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-21  Simon Peyton JonesGather constraints locally in checkMain
2017-02-18  Ben GamariType-indexed Typeable
2017-02-16  Simon Peyton JonesUse the correct origin in SectionL and Section R
2017-02-14  Reid BartonCheck local type family instances against all imported...
2017-02-08  Alan ZimmermanAdd dump flags for the renamed and typechecked hsSyn...
2017-02-03  Sylvain HenryDitch static flags
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
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-21  Simon Peyton JonesTest Trac #12968, plus some comments
2016-12-20  Shea LevyAllow use of the external interpreter in stage1.
2016-12-19  Tamar ChristinaRevert "Allow use of the external interpreter in stage1."
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-18  Shea LevyAllow use of the external interpreter in stage1.
2016-11-17  Facundo DomínguezHave reify work for local variables with functional...
2016-11-17  Richard EisenbergCorrect name of Note in comment
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-20  Edward Z. YangFix Mac OS X build by removing space after ASSERT.
2016-10-20  Edward Z. YangSupport constraint synonym implementations of abstract...
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-09-13  Simon Peyton JonesComments and white space only
2016-09-05  Facundo DomínguezDon't ignore addTopDecls in module finalizers.
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-07-05  Bartosz NitkaKill varEnvElts in zonkEnvIds
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Richard EisenbergFix #10963 and #11975 by adding new cmds to GHCi.
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-09  Edward Z. YangFix #12064 by making IfaceClass typechecking more lazy.
2016-06-07  Bartosz NitkaUse a deterministic map for imp_dep_mods
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-06-03  Ryan ScottDerive instances in Data.Data
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-12  Edward Z. YangRemove stale comment.
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-05  Simon Peyton JonesUse exprCtOrigin in tcRnExpr
2016-04-04  Simon Peyton JonesDeeply instantiate in :type
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Ben GamariUnwire Typeable representation types
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-19  Gabor GreifTypos in comments
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2015-12-30  Gabor GreifFix some typos
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Eric SeidelMove checking for missing signatures to RnNames.reportU...
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  David LuposchainskyImplement warnings for Semigroups as parent of Monoid
2015-11-29  Thomas MiedemaGHCi should not defer typed holes
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
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  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-12  Simon Peyton JonesReinstate monomorphism-restriction warnings
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Edward Z. YangRevert "Revert "Revert "Change loadSrcInterface to...
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
next