summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverwip/T23070-unifySimon Peyton Jones2023-05-121-14/+18
* Add the Unsatisfiable classsheaf2023-04-291-6/+138
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-45/+40
* driver: Unit State Data.Map -> GHC.Unique.UniqMapdoyougnu2023-04-011-1/+1
* Handle records in the renamersheaf2023-03-291-19/+8
* Don't suppress *all* WantedsRichard Eisenberg2023-03-021-13/+20
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-2/+2
* Make `GHC.Tc.Errors.Reporter` take `NonEmpty ErrorItem` rather than `[ErrorIt...M Farkas-Dyck2023-01-121-62/+54
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-30/+1
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-241-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-12/+10
* Rename unsafeOverlap_matches -> unsafeOverlap_match in UnsafeOverlapsheaf2022-10-191-3/+1
* More precise types for fields of OverlappingInstances and UnsafeOverlap in Tc...Bodigrim2022-10-191-26/+15
* Allow configuration of error message printingMatthew Pickering2022-10-181-2/+5
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-1/+1
* Add diagnostic codessheaf2022-09-131-126/+167
* 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
View Lorry Controller Status