summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-3/+3
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-3/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+3
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-5/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-11/+20
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-2/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-3/+8
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-28/+44
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* Enhance UnitId useSylvain Henry2020-06-131-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-292/+275
* Refactor hole constraints.Richard Eisenberg2020-05-061-106/+145
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-2/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-3/+6
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2981
View Lorry Controller Status