summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Modules (#13009)Sylvain Henry2020-04-181-992/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-0766-82236/+2
* Enable ImpredicativeTypes internally when typechecking selector bindingsRyan Scott2020-04-041-0/+28
* Fix two ASSERT buglets in reifyDataConRyan Scott2020-04-021-2/+2
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-013-7/+10
* Require GHC 8.8 as the minimum compiler for bootstrappingRyan Scott2020-03-312-10/+2
* Minor cleanupKrzysztof Gogolewski2020-03-294-5/+4
* Run checkNewDataCon before constraint-solving newtype constructorsRyan Scott2020-03-291-4/+8
* Store ComponentId detailsSylvain Henry2020-03-291-6/+16
* Modules: Types (#13009)Sylvain Henry2020-03-2960-413/+413
* DynFlags refactoring IIISylvain Henry2020-03-254-20/+22
* Use export list of Main module in function TcRnDriver.hs:check_main (Fix #16453)Roland Senn2020-03-252-45/+164
* 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
View Lorry Controller Status