summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnMonad.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Types (#13009)Sylvain Henry2020-03-291-13/+13
* Modules: Core (#13009)Sylvain Henry2020-03-161-3/+3
* Monotonic locations (#17632)Vladislav Zavialov2020-02-291-3/+3
* Modules: Driver (#13009)Sylvain Henry2020-02-211-2/+2
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-5/+5
* Add GHC-API logging hooksSylvain Henry2019-12-181-49/+39
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-2/+2
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-17/+14
* Optimize MonadUnique instances based on IO (#16843)nineonine2019-11-191-31/+12
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-1/+3
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-25/+6
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-5/+2
* Add -Winferred-safe-imports warningOleg Grenrus2019-06-251-2/+2
* Add HoleFitPlugins and RawHoleFitswip/D5373Matthías Páll Gissurarson2019-06-211-0/+1
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-4/+13
* Remove dead codeKrzysztof Gogolewski2019-06-151-12/+0
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-156/+220
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-3/+3
* Use captureTopConstraints in TcRnDriver callsSimon Peyton Jones2019-03-081-1/+1
* Support generating HIE filesAlec Theriault2018-12-111-0/+2
* Fix #15953 by consistently using dumpIfSet_dyn to print debug outputChaitanya Koparkar2018-11-291-6/+26
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-2/+4
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-14/+25
* Refactor TcRnMonad.mapAndRecoverMSimon Jakobi2018-11-221-1/+1
* Don't reverse explicit export lists during renamingSimon Jakobi2018-11-221-1/+1
* Support builtin classes like KnownNat in backpackPiyush P Kurur2018-10-111-1/+4
* Make TcRnMonad independent of TcSplice (#14391)Krzysztof Gogolewski2018-10-041-3/+1
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-041-1/+11
* Better comments and debug-print onlySimon Peyton Jones2018-10-041-2/+6
* Fix and document cloneWCSimon Peyton Jones2018-07-251-6/+18
* Fix space leaksSimon Marlow2018-07-161-4/+5
* Serialize docstrings to ifaces, display them with new GHCi :doc commandSimon Jakobi2018-06-041-0/+6
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+0
* Tiny refactorSimon Peyton Jones2018-05-181-2/+2
* Less Tc inside simplCore (Phase 1 for #14391)Artem Pelenitsyn2018-05-151-14/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-4/+34
* Make cost centre symbol names deterministic.Shea Levy2018-03-021-1/+28
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-1/+5
* Make use of boot TyThings during typechecking.Edward Z. Yang2017-11-301-1/+0
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-0/+11
* TypofixesGabor Greif2017-09-271-1/+1
* Implement TH addCorePlugin.Facundo Domínguez2017-09-211-0/+2
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-141-15/+3
* Option "-ddump-rn-ast" dumps imports and exports tooAlan Zimmerman2017-09-131-2/+3
* Add TcRnMonad.unlessXOptMSimon Peyton Jones2017-08-291-1/+6
* Mention which -Werror promoted a warning to an errorÖmer Sinan Ağacan2017-07-111-8/+11
View Lorry Controller Status