summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* CorePrep: Eliminate EmptyCase and unsafeEqualityProof in CoreToStg insteadSebastian Graf2023-05-172-2/+0
* Add -Wmissing-role-annotationsOleg Grenrus2023-05-163-3/+59
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-1510-801/+1219
* Split up tyThingToIfaceDecl from GHC.Iface.Makesheaf2023-05-151-3/+3
* Split DynFlags structure into own moduleOleg Grenrus2023-05-152-2/+2
* Improve "ambiguous occurrence" error messagessheaf2023-05-153-17/+48
* Cleanup of dynflags override in export renamingBartłomiej Cieślar2023-05-123-58/+51
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-1221-948/+1324
* Don't panic in mkNewTyConRhssheaf2023-05-122-25/+42
* 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
View Lorry Controller Status