summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Cleanup of dynflags override in export renamingBartłomiej Cieślar2023-05-122-56/+49
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-122-20/+30
* linear types: Don't add external names to the usage envKrzysztof Gogolewski2023-05-041-2/+2
* Don't forget to check the parent in an export listsheaf2023-05-031-26/+23
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-181-1/+1
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-151-1/+1
* Improve partial signaturesSimon Peyton Jones2023-04-142-62/+73
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-011-3/+2
* Handle records in the renamersheaf2023-03-295-779/+654
* Allow WARNING pragmas to be controlled with custom categoriesAdam Gundry2023-03-241-1/+1
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-4/+3
* Be more careful about quantificationSimon Peyton Jones2023-03-222-9/+44
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-1/+1
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-1/+2
* Check for platform support for JavaScript foreign importsLuite Stegeman2023-03-021-1/+2
* Fix ParallelListComp out of scope suggestionAaron Allen2023-02-241-7/+30
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-201-0/+2
* 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
View Lorry Controller Status