summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12921.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-3/+3
* Include "not more specific" info in overlap msgsheaf2021-11-201-7/+5
* Improve overlap error for polykinded constraintssheaf2021-10-061-3/+3
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-6/+6
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-271-1/+1
* Update testsuiteSylvain Henry2020-06-171-1/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+1
* base: Add missing instances for Data.Ord.DownBen Gamari2018-06-191-1/+1
* base: Introduce Data.Monoid.Apchessai2018-05-271-1/+1
* Make IntPtr and WordPtr as instance of Data.Data typeclass, fix #13115HE, Tao2017-09-131-1/+1
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-1/+1
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-1/+1
* Add instances for (:~~:) mirroring those for (:~:)Ryan Scott2017-02-231-1/+1
* Introduce GHC.TypeNats module, change KnownNat evidence to be NaturalOleg Grenrus2017-02-011-1/+1
* Fix top-level constraint handling (Trac #12921)Simon Peyton Jones2017-01-121-0/+32