summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcErrors.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-11/+11
* Wrap an implication around class-sig kind errorsSimon Peyton Jones2020-03-141-2/+1
* Monotonic locations (#17632)Vladislav Zavialov2020-02-291-2/+2
* Remove dead codeKrzysztof Gogolewski2020-02-261-25/+14
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-17/+18
* Module hierarchy: ByteCode and Runtime (cf #13009)Sylvain Henry2020-02-121-1/+1
* Fix #14628: Panic (No skolem Info) in GHCiRoland Senn2020-02-091-11/+13
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+3
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-1/+1
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-2/+2
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-10/+13
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-194/+39
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-2/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-9/+13
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-2/+10
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-4/+4
* Fix typosKrzysztof Gogolewski2019-03-191-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-19/+19
* Use transSuperClasses in TcErrorsSimon Peyton Jones2019-03-121-10/+10
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-2/+3
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-6/+5
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-18/+15
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-17/+19
* [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
View Lorry Controller Status