summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-2012-367/+442
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-174-158/+347
* Implement mapTyCo like foldTyCoSimon Peyton Jones2020-03-173-28/+23
* Modules: Core (#13009)Sylvain Henry2020-03-1651-378/+379
* Remove some dead codeBrian Foley2020-03-151-13/+1
* Remove unused field var_inline (#17915)Krzysztof Gogolewski2020-03-141-3/+2
* Remove second tcLookupTcTyCon in tcDataDefnVladislav Zavialov2020-03-142-14/+14
* Refactoring in TcSMonadSimon Peyton Jones2020-03-143-89/+78
* Wrap an implication around class-sig kind errorsSimon Peyton Jones2020-03-144-17/+15
* Make DeriveFunctor-generated code require fewer beta reductionsRyan Scott2020-03-113-124/+271
* Refactor interpreterDynamic and interpreterProfiledSylvain Henry2020-03-111-8/+8
* Re-quantify when generalising over rewrite rule typesRyan Scott2020-03-112-14/+51
* Split GHC.Iface.Utils moduleSylvain Henry2020-03-112-4/+4
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-105-7/+7
* Misc cleanupKrzysztof Gogolewski2020-03-104-14/+7
* anyRewritableTyVar now looks in RuntimeRepsRichard Eisenberg2020-03-101-1/+8
* Use InstanceSigs in GND/DerivingVia-generated code (#17899)Ryan Scott2020-03-093-43/+80
* Refactor runtime interpreter codeSylvain Henry2020-02-292-47/+61
* Monotonic locations (#17632)Vladislav Zavialov2020-02-294-7/+7
* Improve error handling for VTA + deferred type errorsSimon Peyton Jones2020-02-281-21/+19
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-4/+4
* Modules: Core (#13009)Sylvain Henry2020-02-2620-31/+31
* Remove dead codeKrzysztof Gogolewski2020-02-262-33/+14
* Comments, small refactorKrzysztof Gogolewski2020-02-241-1/+0
* Remove Ord SrcLoc, Ord SrcSpanVladislav Zavialov2020-02-243-8/+14
* Modules: Driver (#13009)Sylvain Henry2020-02-2140-81/+81
* Use TTG for HsSplicedT constructorKrzysztof Gogolewski2020-02-203-4/+3
* Fix #17832: Weird handling of exports named main in 8.10-rc1Roland Senn2020-02-201-5/+10
* Use concatMap(M) instead of `concat . map` and the monadic variantÖmer Sinan Ağacan2020-02-204-5/+5
* Disentangle DynFlags and SDocSylvain Henry2020-02-206-38/+35
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-205-41/+44
* De-duplicate overlapping NotesSimon Peyton Jones2020-02-142-44/+26
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-1410-19/+19
* Module hierarchy: ByteCode and Runtime (cf #13009)Sylvain Henry2020-02-123-3/+3
* Notes only: telescopesSimon Peyton Jones2020-02-114-37/+18
* Do not create nested quantified constraintsRichard Eisenberg2020-02-115-32/+120
* Fix #14628: Panic (No skolem Info) in GHCiRoland Senn2020-02-092-11/+16
* compiler: Qualify imports of Data.ListBen Gamari2020-02-084-4/+4
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-0812-88/+83
* Use foldTyCo for exactTyCoVarsOfTypeSimon Peyton Jones2020-02-061-0/+36
* Fix docs for FrontendResultJohn Ericson2020-02-031-5/+3
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-014-286/+529
* Improve skolemisationSimon Peyton Jones2020-02-011-11/+32
* Disable two warnings for files that trigger themTom Ellis2020-01-2730-0/+64
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-273-3/+3
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-254-0/+8
* Add missing Note [Improvement from Ground Wanteds]Ben Gamari2020-01-201-0/+13
* Comments in TcHsTypeSimon Peyton Jones2020-01-121-2/+2
* Minor refactor around quantified constraintsSimon Peyton Jones2020-01-122-13/+41
View Lorry Controller Status