summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
Commit message (Expand)AuthorAgeFilesLines
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-4/+2
* Fix validation issue due to Coercible move (#8894)Joachim Breitner2014-03-171-1/+1
* Add test cases for Coercing recursive newtypes (#8503)Joachim Breitner2013-11-221-3/+12
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-171-1/+2
* Tests for the Coercible classJoachim Breitner2013-09-131-0/+26