summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+3
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-10/+7
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-011-29/+31
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-011-24/+24
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-26/+26
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-23/+24
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-221-18/+25
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-4/+5
View Lorry Controller Status