summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Improve GHC.Tc.Gen.App.tcInstFunwip/T22908Simon Peyton Jones2023-02-201-16/+12
* Minor refactorKrzysztof Gogolewski2023-02-041-2/+1
* Fix CallerCC potentially shadowing other cost centres.Andreas Klebinger2023-02-031-2/+2
* Improve treatment of type applications in patternswip/T19847Simon Peyton Jones2023-02-011-105/+222
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-3/+3
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-1/+1
* Fix two bugs in TypeData TH reificationRyan Scott2023-01-301-6/+22
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-131-2/+3
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-1/+3
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-064-59/+22
* HsToken in TypeArg (#19623)Vladislav Zavialov2023-01-052-9/+9
* Misc cleanupKrzysztof Gogolewski2023-01-051-1/+1
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-20/+14
* Handle type data declarations in Template Haskell quotations and splices (fix...Ross Paterson2022-12-031-1/+1
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-1/+1
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-301-3/+12
* Add Javascript backendSylvain Henry2022-11-291-0/+4
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-232-4/+0
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-191-1/+2
* Misc cleanupKrzysztof Gogolewski2022-11-161-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1113-223/+264
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-082-9/+10
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+2
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-0/+2
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-261-1/+1
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-241-77/+39
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-192-14/+15
* Allow configuration of error message printingMatthew Pickering2022-10-182-4/+4
* Avoid Data.List.group; prefer Data.List.NonEmpty.groupBodigrim2022-09-281-2/+3
* Clean up some. In particular:M Farkas-Dyck2022-09-172-4/+4
* Fix typosKrzysztof Gogolewski2022-09-144-7/+7
* Fix typosEric Lindblad2022-09-149-22/+22
* Add diagnostic codessheaf2022-09-134-26/+30
* Minor SDoc cleanupKrzysztof Gogolewski2022-09-071-7/+0
* Be more careful in chooseInferredQuantifiersSimon Peyton Jones2022-08-181-24/+45
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-113-7/+14
* Fix TH + defer-type-errors interaction (#21920)Krzysztof Gogolewski2022-08-041-6/+0
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-042-16/+14
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-2/+2
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-251-6/+20
* Implement DeepSubsumptionSimon Peyton Jones2022-07-255-14/+22
* Remove many GHC dependencies from L.H.Sromes2022-07-061-1/+1
* TTG for ForeignImport/Exportromes2022-07-063-25/+24
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-8/+7
* Prune L.H.S modules of GHC dependenciesromes2022-07-063-5/+5
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-031-9/+9
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-203-19/+22
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-203-77/+119
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-093-340/+401
View Lorry Controller Status