summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Put BufSpan into RealSrcSpanwip/az/locateda-epa-improve-2023-03-27Alan Zimmerman2023-04-2626-104/+123
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-253-15/+116
* Don't panic in ltPatersonSizesheaf2023-04-181-20/+35
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-186-59/+65
* validDerivPred: Reject exotic constraints in IrredPredsRyan Scott2023-04-172-99/+175
* Add import lists to few GHC.Driver.Session importsOleg Grenrus2023-04-161-1/+1
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-156-31/+53
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-153-0/+22
* Make approximateWC a bit clevererwip/T22194-flagsSimon Peyton Jones2023-04-141-61/+94
* Improve partial signaturesSimon Peyton Jones2023-04-144-104/+137
* Add some documentation about redundant constraintsSimon Peyton Jones2023-04-142-5/+28
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-1411-1096/+1895
* Stop if type constructors have kind errorsSimon Peyton Jones2023-04-141-1/+7
* Add structured error messages for GHC.Tc.TyCl.UtilsTorsten Schmits2023-04-073-15/+38
* Fixes around unsafeCoerce#Krzysztof Gogolewski2023-04-031-10/+16
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-032-1/+277
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-013-3/+8
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-016-297/+728
* driver: Unit State Data.Map -> GHC.Unique.UniqMapdoyougnu2023-04-011-1/+1
* 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
View Lorry Controller Status