summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors
Commit message (Expand)AuthorAgeFilesLines
* Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115)Andrei Borzenkov2022-11-242-0/+250
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-113-73/+138
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-092-0/+143
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-5/+6
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)Vladislav Zavialov2022-10-262-5/+9
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-262-14/+21
* Cleanup String/FastString conversionsKrzysztof Gogolewski2022-10-251-4/+4
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-242-0/+497
* Rename unsafeOverlap_matches -> unsafeOverlap_match in UnsafeOverlapsheaf2022-10-192-3/+3
* More precise types for fields of OverlappingInstances and UnsafeOverlap in Tc...Bodigrim2022-10-192-8/+8
* 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-182-8/+11
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-132-1/+79
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-272-0/+56
* Minor refactor around OutputableKrzysztof Gogolewski2022-09-221-2/+1
* Clean up some. In particular:M Farkas-Dyck2022-09-171-1/+1
* Fix typosEric Lindblad2022-09-142-9/+9
* Add diagnostic codessheaf2022-09-132-446/+569
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-292-3/+139
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* tc: warn about lazy annotations on unlifted arguments (fixes #21951)Zachary Wood2022-08-192-0/+18
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-1/+2
* TTG for ForeignImport/Exportromes2022-07-061-6/+6
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-031-3/+4
* TTG: Move HsModule to L.H.Sromes2022-07-031-1/+0
* Fix TcRnPragmaWarning meaninguhbif192022-06-092-20/+20
* Remove TcRnUnknownMessage usage from GHC.Rename.Env #20115uhbif192022-06-092-0/+102
* Diagnostics conversions, part 6 (#20116)Aaron Allen2022-06-062-0/+182
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-3/+4
* Change `Backend` type and remove direct dependencieswip/backend-as-recordNorman Ramsey2022-05-212-13/+19
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+1
* Fix several note references, part 2Krzysztof Gogolewski2022-05-052-3/+2
* Improve error reporting in generated codeSimon Peyton Jones2022-05-041-23/+46
* Convert More Diagnostics (#20116)Ben Gamari2022-04-302-2/+458
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-282-48/+51
* Ensure that Any is Boxed in FFI imports/exportssheaf2022-04-271-0/+3
* Correctly report SrcLoc of redundant constraintssheaf2022-04-081-1/+8
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-012-17/+0
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-012-11/+23
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-7/+8
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-233-20/+41
* Suggest FFI extensions as hints (#20116)Aaron Allen2022-03-162-5/+5
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-162-1/+236
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-152-0/+58
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-2/+37
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-1/+2
* gitlab-ci: Use the linters image in hlint jobBen Gamari2022-03-111-1/+0
* Fix reporting constraints in pprTcSolverReportMsgKrzysztof Gogolewski2022-03-071-17/+23