summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Handle records in the renamersheaf2023-03-2920-1151/+1185
* Allow WARNING pragmas to be controlled with custom categoriesAdam Gundry2023-03-243-6/+31
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-233-57/+133
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-226-60/+126
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-2211-4112/+4249
* Be more careful about quantificationSimon Peyton Jones2023-03-227-160/+215
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-2110-92/+224
* Add structured error messages for GHC.Tc.Utils.BackpackTorsten Schmits2023-03-173-22/+95
* Fixes #19627.Apoorv Ingle2023-03-091-2/+2
* Constraint simplification loop now depends on `ExpansionFuel`Apoorv Ingle2023-03-064-95/+246
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-062-0/+371
* 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
* Don't suppress *all* WantedsRichard Eisenberg2023-03-022-17/+24
* Refine the test for naughty record selectorsSimon Peyton Jones2023-03-011-36/+51
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-278-120/+135
* Fix ParallelListComp out of scope suggestionAaron Allen2023-02-241-7/+30
* Explicit migration timeline for loopy SC solvingsheaf2023-02-231-1/+1
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-215-24/+25
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-203-0/+24
* Improve GHC.Tc.Gen.App.tcInstFunwip/T22908Simon Peyton Jones2023-02-201-16/+12
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-163-165/+152
* Introduce warning for loopy superclass solvesheaf2023-02-147-54/+150
* Minor refactorKrzysztof Gogolewski2023-02-043-8/+5
* 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-313-13/+13
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-1/+1
* Fix two bugs in TypeData TH reificationRyan Scott2023-01-301-6/+22
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-282-0/+281
* Report family instance orphans correctlySimon Peyton Jones2023-01-278-105/+114
* Detect family instance orphans correctlySimon Peyton Jones2023-01-272-3/+3
* Replace errors from badOrigBinding with new one (#22839)Andrei Borzenkov2023-01-272-39/+23
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-265-78/+192
* EPA: Add SourceText to HsOverLabelAlan Zimmerman2023-01-232-2/+2
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-181-1/+1
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-133-48/+55
* Make `GHC.Tc.Errors.Reporter` take `NonEmpty ErrorItem` rather than `[ErrorIt...M Farkas-Dyck2023-01-121-62/+54
* Parse qualified terms in type signaturesHaskellMouse2023-01-112-0/+10
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-1119-684/+984
* Misc cleanupKrzysztof Gogolewski2023-01-111-1/+2
* Added a new warning about compatibility with RequiredTypeArgumentsHaskellMouse2023-01-112-2/+27
* Fix tcPluginRewrite exampleJade Lovelace2023-01-111-1/+1
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-067-66/+25
* HsToken in TypeArg (#19623)Vladislav Zavialov2023-01-053-10/+10
* Misc cleanupKrzysztof Gogolewski2023-01-052-3/+7
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-249-114/+71
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-246-15/+17
* Fix an assertion check in addToEqualCtListSimon Peyton Jones2022-12-211-9/+17
* checkValidInst: Don't expand synonyms when splitting sigma typesRyan Scott2022-12-151-2/+29
View Lorry Controller Status