summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TcCoercibleFail3.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-5/+5
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-8/+2
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-1/+1
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-3/+8
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-4/+4
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-021-1/+1
* Test case for undersaturated newtype in CoercionsJoachim Breitner2013-11-191-0/+7