summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Do eager instantation in termsSimon Peyton Jones2020-04-221-4/+8
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-221-2/+1
* Add comments to TcCoercibleFailSimon Peyton Jones2016-02-081-3/+3
* Visible type applicationRichard Eisenberg2015-12-241-8/+4
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-1/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-48/+52
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-13/+7
* Another major improvement of "improvement"Simon Peyton Jones2015-06-111-10/+9
* More error message wibblesSimon Peyton Jones2015-04-071-2/+1
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-11/+16
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-32/+33
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-1/+2
* Increase -fcontext-stack=N default to 100Simon Peyton Jones2014-09-191-7/+13
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-24/+24
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-021-5/+5
* Add test cases for Coercing recursive newtypes (#8503)Joachim Breitner2013-11-221-5/+21
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-171-6/+6
* Tests for the Coercible classJoachim Breitner2013-09-131-0/+43
View Lorry Controller Status