diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-21 16:53:40 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-06 17:28:53 +0100 |
| commit | 8b5a2b4345ee9ba74f1274e7ed06e504240676c3 (patch) | |
| tree | d60ad79bdf457d326947e310e9616a76487612a7 /testsuite/tests/typecheck/should_fail/tcfail209.stderr | |
| parent | 84cf6cdbe209d429f80c7362f06191b953f9dddc (diff) | |
| download | haskell-8b5a2b4345ee9ba74f1274e7ed06e504240676c3.tar.gz | |
Test the ConstraintKind extension and related changes
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail209.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail209.stderr | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail209.stderr b/testsuite/tests/typecheck/should_fail/tcfail209.stderr new file mode 100644 index 0000000000..964a10e125 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail209.stderr @@ -0,0 +1,11 @@ + +tcfail209.hs:5:1: + Illegal irreducible constraint Showish a + (Use -XConstraintKind to permit this) + In the type signature for `f': f :: Showish a => a -> a + +tcfail209.hs:8:8: + Predicate `Show a' used as a type + Expected kind `*', but `Show a' has kind `Constraint' + In the type signature for `g': + g :: ((Show a, Num a), Eq a) => a -> a |