summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail043.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail043.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail043.stderr80
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)