summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-094-361/+454
* Core.Lint: Reduce `DynFlags` and `HscEnv`wip/no-state-core-lintJohn Ericson2022-06-071-1/+3
* Diagnostics conversions, part 6 (#20116)Aaron Allen2022-06-065-71/+217
* TTG: Rework and improve splicesromes2022-06-0111-384/+608
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-272-2/+180
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-266-71/+102
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-264-17/+14
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-255-404/+571
View Lorry Controller Status