summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* compiler: Default and warn ExceptionContext constraintsBen Gamari2023-05-143-34/+78
* compiler: Drop redundant importBen Gamari2023-05-111-1/+1
* compiler/tc: Use toException instead of SomeExceptionBen Gamari2023-05-111-1/+1
* compiler/tc: Small optimisation of evCallStackBen Gamari2023-05-111-6/+4
* Add a test for #17284Krzysztof Gogolewski2023-05-111-1/+1
* Look both ways when looking for quantified equalitiesSimon Peyton Jones2023-05-114-51/+69
* Add structured error messages for GHC.Rename.ModuleTorsten Schmits2023-05-052-0/+132
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-053-3/+327
* Fix type variable substitution in gen_Newtype_fam_instsRyan Scott2023-05-042-9/+69
* 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
* Add structured error messages for GHC.Rename.NamesTorsten Schmits2023-04-302-78/+373
* Add the Unsatisfiable classsheaf2023-04-2913-68/+453
* 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
View Lorry Controller Status