Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcRnDriver.hs
2018-01-15  Matthew PickeringAdd flag -fno-it
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-18  Gabor GreifTypos in comments
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-11-02  Ben GamariTcRnDriver: Bracket family instance consistency output...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Richard EisenbergFix #13963.
2017-09-13  Alan ZimmermanOption "-ddump-rn-ast" dumps imports and exports too
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-29  David FeuerMake parsed AST dump output lazily
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-25  Eugene AkentyevFix import error with -XPackageImports when the module...
2017-07-11  Patrick DoughertyMake ':info Coercible' display an arbitrary string...
2017-06-12  Douglas WilsonImprove getNameToInstancesIndex
2017-06-08  Douglas WilsonAdd tcRnGetNameToInstancesIndex
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-31  Bartosz NitkaFaster checkFamInstConsistency
2017-05-15  Bartosz NitkaRevert "Use a deterministic map for imp_dep_mods"
2017-05-15  Bartosz NitkaRevert "Stress test for nested module hierarchies"
2017-05-15  Bartosz NitkaStress test for nested module hierarchies
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-05-04  Simon Peyton JonesDeal with exceptions in dsWhenNoErrs
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
next