diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/Defer02.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stdout | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stdout b/testsuite/tests/ghci/scripts/Defer02.stdout index 85d447abc1..e845c09d4b 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stdout +++ b/testsuite/tests/ghci/scripts/Defer02.stdout @@ -36,7 +36,7 @@ Hello World*** Exception: ../../typecheck/should_run/Defer01.hs:11:40: Couldn't match expected type `a' with actual type `Char' `a' is a rigid type variable bound by the type signature for h :: a -> (Char, Char) - at ../../typecheck/should_run/Defer01.hs:34:1 + at ../../typecheck/should_run/Defer01.hs:33:6 In the expression: x In the expression: (x, 'c') In an equation for `h': h x = (x, 'c') @@ -45,7 +45,7 @@ Hello World*** Exception: ../../typecheck/should_run/Defer01.hs:11:40: Couldn't match expected type `Bool' with actual type `T a' In the return type of a call of `K' In the first argument of `not', namely `(K a)' - In the first argument of `seq', namely `(not (K a))' + In the expression: (not (K a)) (deferred type error) "*** Exception: ../../typecheck/should_run/Defer01.hs:43:5: No instance for (MyClass a1) |