summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Buglet in GHC.Tc.Module.checkBootTyConSimon Peyton Jones2022-11-201-2/+6
* 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-1150-1371/+1237
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-093-48/+151
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-083-3/+5
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-085-21/+24
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-056-11/+14
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-033-3/+0
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-014-62/+74
* Minor SDoc-related cleanupKrzysztof Gogolewski2022-10-282-21/+18
* Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)Vladislav Zavialov2022-10-263-9/+19
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-263-15/+22
* Cleanup String/FastString conversionsKrzysztof Gogolewski2022-10-251-4/+4
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-245-79/+538
* TyEq:N assertion: only for saturated applicationssheaf2022-10-192-6/+17
* Rename unsafeOverlap_matches -> unsafeOverlap_match in UnsafeOverlapsheaf2022-10-193-6/+4
* More precise types for fields of OverlappingInstances and UnsafeOverlap in Tc...Bodigrim2022-10-193-34/+23
* Enforce invariant of `ListBag` constructor.M Farkas-Dyck2022-10-191-2/+2
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-196-26/+29
* Add -fsuppress-error-contexts to disable printing error contexts in errorswip/diagnostics-configMatthew Pickering2022-10-181-5/+16
* Allow configuration of error message printingMatthew Pickering2022-10-186-22/+34
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-133-41/+97
* Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85Ryan Scott2022-10-061-4/+4
* Scrub various partiality involving empty lists.M Farkas-Dyck2022-09-301-16/+17
* Avoid Data.List.group; prefer Data.List.NonEmpty.groupBodigrim2022-09-281-2/+3
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-2/+2
* matchLocalInst: do domination analysissheaf2022-09-284-90/+219
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-274-6/+79
* Minor refactor around OutputableKrzysztof Gogolewski2022-09-221-2/+1
* Scrub partiality about `NewOrData`.M Farkas-Dyck2022-09-192-72/+64
* DeriveFunctor: Check for last type variables using dataConUnivTyVarsRyan Scott2022-09-183-22/+82
* Clean up some. In particular:M Farkas-Dyck2022-09-177-20/+21
* Fix typosKrzysztof Gogolewski2022-09-1414-21/+21
* Fix typosEric Lindblad2022-09-1439-101/+101
* Add diagnostic codessheaf2022-09-1318-693/+867
* Remove Outputable Char instanceKrzysztof Gogolewski2022-09-071-1/+1
* Minor SDoc cleanupKrzysztof Gogolewski2022-09-071-7/+0
* Minor cleanupKrzysztof Gogolewski2022-09-011-4/+3
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-294-48/+155
* 19217 Implicitly quantify type variables in :kind commandSasha Bogicevic2022-08-191-6/+13
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* tc: warn about lazy annotations on unlifted arguments (fixes #21951)Zachary Wood2022-08-193-0/+24
* Be more careful in chooseInferredQuantifiersSimon Peyton Jones2022-08-181-24/+45
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-1111-18/+42
* Fix TH + defer-type-errors interaction (#21920)Krzysztof Gogolewski2022-08-041-6/+0
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-0418-121/+113
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-257-87/+109
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-252-8/+40
* Implement DeepSubsumptionSimon Peyton Jones2022-07-2510-173/+595
View Lorry Controller Status