summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-232-4/+0
* 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-1113-223/+264
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-082-9/+10
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+2
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-0/+2
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-261-1/+1
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-241-77/+39
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-192-14/+15
* Allow configuration of error message printingMatthew Pickering2022-10-182-4/+4
* Avoid Data.List.group; prefer Data.List.NonEmpty.groupBodigrim2022-09-281-2/+3
* Clean up some. In particular:M Farkas-Dyck2022-09-172-4/+4
* Fix typosKrzysztof Gogolewski2022-09-144-7/+7
* Fix typosEric Lindblad2022-09-149-22/+22
* Add diagnostic codessheaf2022-09-134-26/+30
* Minor SDoc cleanupKrzysztof Gogolewski2022-09-071-7/+0
* Be more careful in chooseInferredQuantifiersSimon Peyton Jones2022-08-181-24/+45
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-113-7/+14
* 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-042-16/+14
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-2/+2
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-251-6/+20
* Implement DeepSubsumptionSimon Peyton Jones2022-07-255-14/+22
* Remove many GHC dependencies from L.H.Sromes2022-07-061-1/+1
* TTG for ForeignImport/Exportromes2022-07-063-25/+24
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-8/+7
* Prune L.H.S modules of GHC dependenciesromes2022-07-063-5/+5
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-031-9/+9
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-203-19/+22
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-203-77/+119
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-093-340/+401
* Diagnostics conversions, part 6 (#20116)Aaron Allen2022-06-063-71/+35
* TTG: Rework and improve splicesromes2022-06-017-371/+599
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-262-7/+7
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-361/+559
* Change `Backend` type and remove direct dependencieswip/backend-as-recordNorman Ramsey2022-05-212-35/+13
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-161-17/+39
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-2/+2
* Comments only: Note [AppCtxt]Simon Peyton Jones2022-05-061-2/+36
* Fix several note references, part 2Krzysztof Gogolewski2022-05-054-11/+7
* Improve error reporting in generated codeSimon Peyton Jones2022-05-042-36/+36
* Fix several note referencesKrzysztof Gogolewski2022-05-023-7/+7
* Convert More Diagnostics (#20116)Ben Gamari2022-04-302-129/+21
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-287-72/+61
* Docs: datacon eta-expansion, rep-poly checkssheaf2022-04-082-17/+37
* Ensure implicit parameters are liftedsheaf2022-04-011-5/+3
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-013-83/+116
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-012-5/+5
View Lorry Controller Status