diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap5.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/Overlap5.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr index 329d410fdb..0413002ab5 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr @@ -1,7 +1,7 @@ Overlap5.hs:16:7: - Couldn't match type `x' with `And x 'True' - `x' is a rigid type variable bound by + Couldn't match type ‛x’ with ‛And x 'True’ + ‛x’ is a rigid type variable bound by the type signature for g :: Proxy Bool x -> Proxy Bool (And x 'True) at Overlap5.hs:15:6 @@ -12,11 +12,11 @@ Overlap5.hs:16:7: (bound at Overlap5.hs:16:1) x :: Proxy Bool x (bound at Overlap5.hs:16:3) In the expression: x - In an equation for `g': g x = x + In an equation for ‛g’: g x = x Overlap5.hs:19:7: - Couldn't match type `x' with `And x x' - `x' is a rigid type variable bound by + Couldn't match type ‛x’ with ‛And x x’ + ‛x’ is a rigid type variable bound by the type signature for h :: Proxy Bool x -> Proxy Bool (And x x) at Overlap5.hs:18:6 Expected type: Proxy Bool (And x x) @@ -26,4 +26,4 @@ Overlap5.hs:19:7: (bound at Overlap5.hs:19:1) x :: Proxy Bool x (bound at Overlap5.hs:19:3) In the expression: x - In an equation for `h': h x = x + In an equation for ‛h’: h x = x |