summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcErrors.hs
Commit message (Expand)AuthorAgeFilesLines
* Tc-tracing, and order of arguments onlySimon Peyton Jones2018-11-261-13/+16
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-3/+5
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-28/+50
* Fix for Trac #15611: Scope errors lie about what modules are imported.roland2018-11-041-1/+3
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Report a Wanted error even if there are Given onesSimon Peyton Jones2018-10-241-1/+1
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-2/+2
* Coercion Quantificationningning2018-09-151-2/+2
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-241-18/+24
* Accommodate API change in transSuperClassesSimon Peyton Jones2018-08-231-3/+3
* Initialise cec_suppress properlySimon Peyton Jones2018-08-201-1/+6
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-5/+5
* Suppress redundant givens during error reportingRyan Scott2018-08-121-2/+42
* Fix and document cloneWCSimon Peyton Jones2018-07-251-1/+1
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-4/+2
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-241-14/+19
* typecheck: Don't warn about "redundant" TypeError constraintsBen Gamari2018-06-071-3/+8
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-2/+2
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-021-1/+1
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-457/+32
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-3/+2
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-2/+6
* Tidy up error suppressionSimon Peyton Jones2018-05-151-23/+33
* Make out-of-scope errors more prominentSimon Peyton Jones2018-04-271-3/+15
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-34/+84
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-5/+10
* Add valid refinement substitution suggestions for typed holesMatthías Páll Gissurarson2018-02-181-69/+221
* Fix isDroppableCt (Trac #14763)Simon Peyton Jones2018-02-081-1/+1
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-49/+117
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-3/+4
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-109/+162
* No deferred type errors under a forallSimon Peyton Jones2018-01-031-10/+19
* Refactor coercion holesSimon Peyton Jones2017-12-211-3/+3
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-2/+2
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-4/+1
* Fix #14369 by making injectivity warnings finer-grainedRyan Scott2017-10-191-1/+2
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-7/+6
* Typos in comments onlySimon Peyton Jones2017-10-111-2/+2
* Improve type-error reportingSimon Peyton Jones2017-09-251-31/+55
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-93/+110
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix #13909 by tweaking an error message.Richard Eisenberg2017-09-141-1/+6
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-141-6/+12
* Canonicalise Monoid instances in GHCHerbert Valerio Riedel2017-09-091-2/+1
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-121-1/+2
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-4/+0
* Track visibility in TypeEqOriginRichard Eisenberg2017-07-271-16/+13
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-12/+8
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-19/+56
View Lorry Controller Status