diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/FD3.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/FD3.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr new file mode 100644 index 0000000000..5e8a4ee164 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/FD3.stderr @@ -0,0 +1,13 @@ + +FD3.hs:15:15: + Couldn't match type `a' with `(String, a)' + `a' is a rigid type variable bound by + the type signature for translate :: (String, a) -> A a + at FD3.hs:15:1 + When using functional dependencies to combine + MkA a a, + arising from the dependency `a -> b' + in the instance declaration at FD3.hs:12:10 + MkA (String, a) a, arising from a use of `mkA' at FD3.hs:15:15-17 + In the expression: mkA a + In an equation for `translate': translate a = mkA a |