summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/Defer02.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/Defer02.stdout')
-rw-r--r--testsuite/tests/ghci/scripts/Defer02.stdout11
1 files changed, 3 insertions, 8 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stdout b/testsuite/tests/ghci/scripts/Defer02.stdout
index e845c09d4b..32e51d6d65 100644
--- a/testsuite/tests/ghci/scripts/Defer02.stdout
+++ b/testsuite/tests/ghci/scripts/Defer02.stdout
@@ -12,15 +12,13 @@ Hello World*** Exception: ../../typecheck/should_run/Defer01.hs:11:40:
In an equation for `a': a = 'p'
(deferred type error)
*** Exception: ../../typecheck/should_run/Defer01.hs:18:9:
- No instance for (Eq B)
- arising from a use of `=='
+ No instance for (Eq B) arising from a use of `=='
Possible fix: add an instance declaration for (Eq B)
In the expression: x == x
In an equation for `b': b x = x == x
(deferred type error)
*** Exception: ../../typecheck/should_run/Defer01.hs:28:5:
- No instance for (Num (a -> a))
- arising from the literal `1'
+ No instance for (Num (a -> a)) arising from the literal `1'
Possible fix: add an instance declaration for (Num (a -> a))
In the expression: 1
In an equation for `d': d = 1
@@ -48,10 +46,7 @@ Hello World*** Exception: ../../typecheck/should_run/Defer01.hs:11:40:
In the expression: (not (K a))
(deferred type error)
"*** Exception: ../../typecheck/should_run/Defer01.hs:43:5:
- No instance for (MyClass a1)
- arising from a use of `myOp'
- The type variable `a1' is ambiguous
- Possible fix: add a type signature that fixes these type variable(s)
+ No instance for (MyClass a1) arising from a use of `myOp'
In the expression: myOp 23
In an equation for `j': j = myOp 23
(deferred type error)