Add GHCi :instances command
[ghc.git] / compiler / typecheck / TcRnDriver.hs
2019-06-04  Xavier DenisAdd GHCi :instances command
2019-05-08  Shayne FletcherImplement ImportQualifiedPost
2019-03-25  Takenobu TaniUpdate Wiki URLs to point to GitLab
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-08  Simon Peyton JonesUse captureTopConstraints in TcRnDriver calls
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-04  Zejun WuAdd `-fplugin-trustworthy` to avoid marking modules...
2019-01-11  Matthew PickeringRun typed splices in the zonker
2019-01-08  Ryan ScottBe pickier about unsaturated synonyms in :kind
2018-12-21  Ben GamariTcRnDriver: Fix haddock-like comment
2018-12-21  Simon Peyton JonesFix treatment of hi-boot files and dfuns
2018-12-11  Daniel GröberSupport registering Plugins through the GHC API
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Chaitanya KoparkarFix #15953 by consistently using dumpIfSet_dyn to print...
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-11-17  Roland SennFix #12906: GHC fails to typecheck Main module without...
2018-11-11  rolandGHCi does not need a main function
2018-10-29  Richard EisenbergRevert "Remove kind generalisation from tcRnType"
2018-10-29  Richard EisenbergRemove kind generalisation from tcRnType
2018-10-28  Ben GamariPlugins: Add documentation and missing exports
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...
next