Improve error recovery in the typechecker
[ghc.git] / compiler / typecheck / TcRnMonad.hs
2019-03-16  Simon Peyton JonesImprove error recovery in the typechecker
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-08  Simon Peyton JonesUse captureTopConstraints in TcRnDriver calls
2018-12-11  Alec TheriaultSupport generating HIE files
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-22  Simon JakobiRefactor TcRnMonad.mapAndRecoverM
2018-11-22  Simon JakobiDon't reverse explicit export lists during renaming
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-11  Piyush P KururSupport builtin classes like KnownNat in backpack
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 comments and debug-print only
2018-07-25  Simon Peyton JonesFix and document cloneWC
2018-07-16  Simon MarlowFix space leaks
2018-06-04  Simon JakobiSerialize docstrings to ifaces, display them with new...
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-18  Simon Peyton JonesTiny refactor
2018-05-15  Artem PelenitsynLess Tc inside simplCore (Phase 1 for #14391)
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-02  Shea LevyMake cost centre symbol names deterministic.
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-09-27  Gabor GreifTypofixes
2017-09-22  Facundo DomínguezImplement TH addCorePlugin.
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-13  Alan ZimmermanOption "-ddump-rn-ast" dumps imports and exports too
2017-08-29  Simon Peyton JonesAdd TcRnMonad.unlessXOptM
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-05-11  Matthew PickeringRnEnv refactoring
2017-05-04  Simon Peyton JonesDeal with exceptions in dsWhenNoErrs
2017-03-27  Simon Peyton JonesFix 'unsolved constraints' in GHCi
2017-03-15  Ben GamariIntroduce putLogMsg
2017-03-09  Francesco MazzoliAllow compilation of C/C++/ObjC/ObjC++ files with modul...
2017-03-07  Ben GamariDesugar: Refactor initDs
2017-02-09  Facundo DomínguezImplement addCStub in template-haskell.
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-03  Sylvain HenryDitch static flags
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
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.
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-06  Matthew PickeringStop -dno-debug-output suppressing -ddump-tc-trace
2016-10-31  Gabor GreifTypos in comments
2016-10-26  Matthew PickeringRemove -dtrace-level
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-15  Ryan ScottAdd a forward reference for a Note
2016-10-15  Ryan ScottFix Show derivation in the presence of RebindableSyntax...
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
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-21  Edward Z. YangAnnotate initIfaceCheck with usage information.
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-22  Simon MarlowHopefully fix all the rebase-induced breakage
2016-06-22  Simon MarlowFix build breakage due to rebase
2016-06-22  Simon MarlowSecond attempt to fix sizeExpr
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-04-22  Simon Peyton JonesImprove the behaviour of warnIf
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-24  Thomas MiedemaRemove `replaceDynFlags` from `ContainsDynFlags`
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-08  Simon MarlowSupport for qRecover in TH with -fexternal-interpreter
2015-12-24  Richard EisenbergVisible type application
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-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
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-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-03  Jan StolarekInjective type families
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
next