Fix `:k` command: add validity checking
[ghc.git] / compiler / typecheck / TcRnDriver.hs
2018-10-28  Ningning XieFix `:k` command: add validity checking
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-25  Simon Peyton JonesA little more wibbling to -ddump-types
2018-10-24  Simon Peyton JonesImprove output from -ddump-types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-05  Krzysztof GogolewskiMake TcRnMonad independent of TcSplice (#14391)
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-10-04  Simon Peyton JonesBetter -ddump-types
2018-08-31  Simon Peyton JonesRemove knot-tying bug in TcHsSyn.zonkTyVarOcc
2018-08-06  Piyush P KururSupport typechecking of type literals in backpack
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Vladislav ZavialovFix #15415 and simplify tcWildCardBinders
2018-07-12  Matthew PickeringRun the renamed source plugin after each HsGroup
2018-06-14  HE, TaoDisable `-fdefer-out-of-scope-variables` in ghci.
2018-06-07  Matthew PickeringRun typeCheckResultAction and renamedResultAction in...
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-30  HE, TaoPut the `ev_binds` of main function inside `runMainIO`
2018-05-17  Simon MarlowFix GHCi space leaks (#15111)
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-02  Matthew PickeringOnly load plugins once
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...
next