Tests for the Coercible class
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 13 Sep 2013 16:43:56 +0000 (18:43 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 13 Sep 2013 19:59:08 +0000 (21:59 +0200)
commit5dd3e990b53532d9275eb4b2aa54c8b5c856de3a
tree6b95441711480384f52cfb92c06dab2a3fe8aaa6
parent7e76e921bd814f6b560c60bae9709395837aaf98
Tests for the Coercible class

Also see http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers
12 files changed:
testsuite/tests/typecheck/should_compile/TcCoercibleCompile.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T
testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/TcCoercibleFail2.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/TcCoercibleFailSafe.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/TcCoercibleFailSafe.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T
testsuite/tests/typecheck/should_run/TcCoercible.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_run/TcCoercible.stdout [new file with mode: 0644]
testsuite/tests/typecheck/should_run/all.T