diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail206.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail206.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail206.stderr b/testsuite/tests/typecheck/should_fail/tcfail206.stderr index 5a30f93e81..4fe402982a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail206.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail206.stderr @@ -1,50 +1,50 @@ tcfail206.hs:5:5:
- Couldn't match type ‛Bool’ with ‛Int’
+ Couldn't match type ‘Bool’ with ‘Int’
Expected type: Bool -> (Int, Bool)
Actual type: Bool -> (Bool, Bool)
In the expression: (, True)
- In an equation for ‛a’: a = (, True)
+ In an equation for ‘a’: a = (, True)
tcfail206.hs:8:5:
- Couldn't match type ‛(t0, Int)’ with ‛Bool -> (Int, Bool)’
+ Couldn't match type ‘(t0, Int)’ with ‘Bool -> (Int, Bool)’
Expected type: Int -> Bool -> (Int, Bool)
Actual type: Int -> (t0, Int)
In the expression: (1,)
- In an equation for ‛b’: b = (1,)
+ In an equation for ‘b’: b = (1,)
tcfail206.hs:11:5:
- Couldn't match type ‛a’ with ‛Bool’
- ‛a’ is a rigid type variable bound by
+ Couldn't match type ‘a’ with ‘Bool’
+ ‘a’ is a rigid type variable bound by
the type signature for c :: a -> (a, Bool) at tcfail206.hs:10:6
Expected type: a -> (a, Bool)
Actual type: a -> (a, a)
Relevant bindings include
c :: a -> (a, Bool) (bound at tcfail206.hs:11:1)
In the expression: (True || False,)
- In an equation for ‛c’: c = (True || False,)
+ In an equation for ‘c’: c = (True || False,)
tcfail206.hs:14:5:
- Couldn't match type ‛Bool’ with ‛Int’
+ Couldn't match type ‘Bool’ with ‘Int’
Expected type: Bool -> (# Int, Bool #)
Actual type: Bool -> (# Bool, Bool #)
In the expression: (# , True #)
- In an equation for ‛d’: d = (# , True #)
+ In an equation for ‘d’: d = (# , True #)
tcfail206.hs:17:5:
- Couldn't match type ‛(# a0, Int #)’ with ‛Bool -> (# Int, Bool #)’
+ Couldn't match type ‘(# a0, Int #)’ with ‘Bool -> (# Int, Bool #)’
Expected type: Int -> Bool -> (# Int, Bool #)
Actual type: Int -> (# a0, Int #)
In the expression: (# 1, #)
- In an equation for ‛e’: e = (# 1, #)
+ In an equation for ‘e’: e = (# 1, #)
tcfail206.hs:20:5:
- Couldn't match type ‛a’ with ‛Bool’
- ‛a’ is a rigid type variable bound by
+ Couldn't match type ‘a’ with ‘Bool’
+ ‘a’ is a rigid type variable bound by
the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:19:6
Expected type: a -> (# a, Bool #)
Actual type: a -> (# a, a #)
Relevant bindings include
f :: a -> (# a, Bool #) (bound at tcfail206.hs:20:1)
In the expression: (# True || False, #)
- In an equation for ‛f’: f = (# True || False, #)
+ In an equation for ‘f’: f = (# True || False, #)
|