diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail043.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail043.stderr | 80 |
1 files changed, 40 insertions, 40 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail043.stderr b/testsuite/tests/typecheck/should_fail/tcfail043.stderr index ef4e999996..9be218f040 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail043.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail043.stderr @@ -1,40 +1,40 @@ -
-tcfail043.hs:38:17:
- No instance for (Ord_ a0) arising from a use of `gt'
- The type variable `a0' is ambiguous
- Relevant bindings include
- search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1)
- a :: a0 (bound at tcfail043.hs:38:6)
- bs :: [a0] (bound at tcfail043.hs:38:8)
- Note: there is a potential instance available:
- instance Ord_ Int -- Defined at tcfail043.hs:34:10
- In the expression: gt (hd bs) a
- In the expression:
- if gt (hd bs) a then
- False
- else
- if eq a (hd bs) then True else search a (tl bs)
- In the expression:
- \ a bs
- -> if gt (hd bs) a then
- False
- else
- if eq a (hd bs) then True else search a (tl bs)
-
-tcfail043.hs:40:25:
- No instance for (Eq_ a0) arising from a use of `eq'
- The type variable `a0' is ambiguous
- Relevant bindings include
- search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1)
- a :: a0 (bound at tcfail043.hs:38:6)
- bs :: [a0] (bound at tcfail043.hs:38:8)
- Note: there are several potential instances:
- instance Eq_ a => Eq_ [a] -- Defined at tcfail043.hs:23:10
- instance Eq_ Int -- Defined at tcfail043.hs:20:10
- In the expression: eq a (hd bs)
- In the expression: if eq a (hd bs) then True else search a (tl bs)
- In the expression:
- if gt (hd bs) a then
- False
- else
- if eq a (hd bs) then True else search a (tl bs)
+ +tcfail043.hs:38:17: + No instance for (Ord_ a0) arising from a use of ‛gt’ + The type variable ‛a0’ is ambiguous + Relevant bindings include + search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + a :: a0 (bound at tcfail043.hs:38:6) + bs :: [a0] (bound at tcfail043.hs:38:8) + Note: there is a potential instance available: + instance Ord_ Int -- Defined at tcfail043.hs:34:10 + In the expression: gt (hd bs) a + In the expression: + if gt (hd bs) a then + False + else + if eq a (hd bs) then True else search a (tl bs) + In the expression: + \ a bs + -> if gt (hd bs) a then + False + else + if eq a (hd bs) then True else search a (tl bs) + +tcfail043.hs:40:25: + No instance for (Eq_ a0) arising from a use of ‛eq’ + The type variable ‛a0’ is ambiguous + Relevant bindings include + search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + a :: a0 (bound at tcfail043.hs:38:6) + bs :: [a0] (bound at tcfail043.hs:38:8) + Note: there are several potential instances: + instance Eq_ a => Eq_ [a] -- Defined at tcfail043.hs:23:10 + instance Eq_ Int -- Defined at tcfail043.hs:20:10 + In the expression: eq a (hd bs) + In the expression: if eq a (hd bs) then True else search a (tl bs) + In the expression: + if gt (hd bs) a then + False + else + if eq a (hd bs) then True else search a (tl bs) |