diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/FD1.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/FD1.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD1.stderr b/testsuite/tests/typecheck/should_compile/FD1.stderr index 5fa16fdf15..98ed785956 100644 --- a/testsuite/tests/typecheck/should_compile/FD1.stderr +++ b/testsuite/tests/typecheck/should_compile/FD1.stderr @@ -5,9 +5,9 @@ FD1.hs:16:1: bound by the type signature for plus :: E a (Int -> Int) => Int -> a at FD1.hs:15:9-38 - ‛a’ is a rigid type variable bound by + ‘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 + The equation(s) for ‘plus’ have two arguments, + but its type ‘Int -> a’ has only one |