summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix typosBrian Wignall2021-02-061-1/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Add comments to TcCoercibleFailSimon Peyton Jones2016-02-081-0/+7
* 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