diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/FD3.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/FD3.stderr | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr index d7ac728b6c..85728da0a6 100644 --- a/testsuite/tests/typecheck/should_compile/FD3.stderr +++ b/testsuite/tests/typecheck/should_compile/FD3.stderr @@ -1,13 +1,9 @@ FD3.hs:15:15: error: - • Couldn't match type ‘a’ with ‘(String, a)’ + • Occurs check: cannot construct the infinite type: a ~ (String, a) arising from a functional dependency between: constraint ‘MkA (String, a) a’ arising from a use of ‘mkA’ instance ‘MkA a1 a1’ at FD3.hs:12:10-16 - ‘a’ is a rigid type variable bound by - the type signature for: - translate :: forall a. (String, a) -> A a - at FD3.hs:14:1-31 • In the expression: mkA a In an equation for ‘translate’: translate a = mkA a • Relevant bindings include |