diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/FD1.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/FD1.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD1.stderr b/testsuite/tests/typecheck/should_compile/FD1.stderr index 2b0ac1733a..661bbcd9aa 100644 --- a/testsuite/tests/typecheck/should_compile/FD1.stderr +++ b/testsuite/tests/typecheck/should_compile/FD1.stderr @@ -4,6 +4,6 @@ FD1.hs:16:1: ‘a’ is a rigid type variable bound by
the type signature for: plus :: E a (Int -> Int) => Int -> a
at FD1.hs:15:9
- Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1)
The equation(s) for ‘plus’ have two arguments,
but its type ‘Int -> a’ has only one
+ Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1)
|