summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors.hs
Commit message (Expand)AuthorAgeFilesLines
* 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