diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr b/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr index 60a334232e..893ec8ae12 100644 --- a/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr +++ b/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr @@ -1,14 +1,14 @@ FDsFromGivens.hs:21:15: - Couldn't match type `Char' with `[a]' + Couldn't match type ‛Char’ with ‛[a]’ Relevant bindings include bar :: KCC -> a -> a (bound at FDsFromGivens.hs:21:1) When using functional dependencies to combine C Char Char, arising from a pattern with constructor KCC :: C Char Char => () -> KCC, - in an equation for `bar' + in an equation for ‛bar’ at FDsFromGivens.hs:21:6-10 - C Char [a], arising from a use of `f' at FDsFromGivens.hs:21:15 + C Char [a], arising from a use of ‛f’ at FDsFromGivens.hs:21:15 In the expression: f - In an equation for `bar': bar (KCC _) = f + In an equation for ‛bar’: bar (KCC _) = f |