diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3406.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T3406.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3406.stderr b/testsuite/tests/typecheck/should_fail/T3406.stderr new file mode 100644 index 0000000000..ceba706f87 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T3406.stderr @@ -0,0 +1,10 @@ + +T3406.hs:11:6: + The type variables `a, b' + should be bound by the pattern signature `ItemColID a b' + but are actually discarded by a type synonym + To fix this, expand the type synonym + [Note: I hope to lift this restriction in due course] + In the pattern: x :: ItemColID a b + In an equation for `get': + get (x :: ItemColID a b) = x :: ItemColID a b |