summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make withDict opaque to the specialisersheaf2022-07-211-34/+60
* hie-files: Record location of filled in default method bindingsZubin Duggal2022-07-131-5/+6
* Remove many GHC dependencies from L.H.Sromes2022-07-062-2/+2
* TTG for ForeignImport/Exportromes2022-07-064-31/+30
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-063-17/+16
* Prune L.H.S modules of GHC dependenciesromes2022-07-067-10/+10
* Refactor ModuleName to L.H.S.Module.Nameromes2022-07-031-2/+2
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-034-23/+19
* TTG: Move HsModule to L.H.Sromes2022-07-033-4/+7
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-1/+1
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-208-29/+32
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-204-80/+122
* Fix TcRnPragmaWarning meaninguhbif192022-06-092-20/+20
* Remove TcRnUnknownMessage usage from GHC.Rename.Env #20115uhbif192022-06-092-0/+102
View Lorry Controller Status