summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors.hs
Commit message (Expand)AuthorAgeFilesLines
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-241-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-12/+10
* Rename unsafeOverlap_matches -> unsafeOverlap_match in UnsafeOverlapsheaf2022-10-191-3/+1
* More precise types for fields of OverlappingInstances and UnsafeOverlap in Tc...Bodigrim2022-10-191-26/+15
* Allow configuration of error message printingMatthew Pickering2022-10-181-2/+5
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-1/+1
* Add diagnostic codessheaf2022-09-131-126/+167
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-2/+2
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-90/+147
* Relax "suppressing errors" assert in reportWantedssheaf2022-04-221-4/+9
* Correctly report SrcLoc of redundant constraintssheaf2022-04-081-7/+12
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-1/+1
* gitlab-ci: Use the linters image in hlint jobBen Gamari2022-03-111-1/+0
* Introduce ConcreteTv metavariablessheaf2022-03-021-26/+46
* Suggestions due to hlintMatthew Pickering2022-02-241-4/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-375/+478
* Use diagnostics for "missing signature" errorssheaf2022-02-201-62/+108
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-2/+2
* Add a missing restoreLclEnvSimon Peyton Jones2022-02-041-2/+2
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-3/+3
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-34/+70
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1564/+386
* Include "not more specific" info in overlap msgsheaf2021-11-201-45/+151
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-5/+5
* Show family TyCons in mk_dict_error in the case of a single matchZiyang Liu2021-10-291-2/+26
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-10/+71
* Add defaulting plugins.Andrei Barbu2021-10-081-6/+13
* Improve overlap error for polykinded constraintssheaf2021-10-061-19/+6
* Detect TypeError when checking for insolubilitysheaf2021-08-151-1/+1
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-041-1/+30
* Fix type check error message grammar (fixes #20122)CarrieMY2021-07-281-2/+2
* Don't panic on 'no skolem info' and add failing testswip/no-skolem-panicZubin Duggal2021-07-131-3/+13
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-31/+36
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-11/+19
* Fixes around incomplete guards (#20023, #20024)Krzysztof Gogolewski2021-06-241-2/+2
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-21/+33
* Introduce Strict.Maybe, Strict.Pair (#19156)Vladislav Zavialov2021-05-231-2/+3
* Only suggest names that make sense (#19843)Jakob Brünker2021-05-211-7/+59
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-7/+8
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-13/+12
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-1/+2
* Avoid repeated zonking and tidying of types in `relevant_bindings`Matthew Pickering2021-04-091-41/+81
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-65/+48
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-011-190/+170
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-199/+232
* Short-circuit warning generation for partial type signaturesSimon Peyton Jones2021-03-221-2/+28
View Lorry Controller Status