diff options
Diffstat (limited to 'testsuite/tests/ghci')
-rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stderr | 9 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/ghci050.stderr | 1 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/ghci052.stderr | 3 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/ghci053.stderr | 2 |
4 files changed, 2 insertions, 13 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index b1fb11ecc5..53a58f83e6 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -51,14 +51,12 @@ x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3) In the expression: x In the expression: (x, 'c') - In an equation for ‛h’: h x = (x, 'c') ../../typecheck/should_run/Defer01.hs:39:17: Warning: Couldn't match expected type ‛Bool’ with actual type ‛T a’ Relevant bindings include i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1) a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3) - In the return type of a call of ‛K’ In the first argument of ‛not’, namely ‛(K a)’ In the expression: (not (K a)) @@ -105,9 +103,9 @@ ../../typecheck/should_run/Defer01.hs:49:5: Warning: Couldn't match expected type ‛IO a0’ with actual type ‛Char -> IO ()’ + Probable cause: ‛putChar’ is applied to too few arguments In the first argument of ‛(>>)’, namely ‛putChar’ In the expression: putChar >> putChar 'p' - In an equation for ‛l’: l = putChar >> putChar 'p' *** Exception: ../../typecheck/should_run/Defer01.hs:11:40: Couldn't match type ‛Char’ with ‛[Char]’ Expected type: String @@ -131,7 +129,6 @@ Couldn't match type ‛Bool’ with ‛Int’ Expected type: C Int Actual type: C Bool - In the return type of a call of ‛C2’ In the first argument of ‛c’, namely ‛(C2 True)’ In the first argument of ‛print’, namely ‛(c (C2 True))’ *** Exception: ../../typecheck/should_run/Defer01.hs:28:5: @@ -159,14 +156,12 @@ x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3) In the expression: x In the expression: (x, 'c') - In an equation for ‛h’: h x = (x, 'c') (deferred type error) *** Exception: ../../typecheck/should_run/Defer01.hs:39:17: Couldn't match expected type ‛Bool’ with actual type ‛T a’ Relevant bindings include i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1) a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3) - In the return type of a call of ‛K’ In the first argument of ‛not’, namely ‛(K a)’ In the expression: (not (K a)) (deferred type error) @@ -184,7 +179,7 @@ *** Exception: ../../typecheck/should_run/Defer01.hs:49:5: Couldn't match expected type ‛IO a0’ with actual type ‛Char -> IO ()’ + Probable cause: ‛putChar’ is applied to too few arguments In the first argument of ‛(>>)’, namely ‛putChar’ In the expression: putChar >> putChar 'p' - In an equation for ‛l’: l = putChar >> putChar 'p' (deferred type error) diff --git a/testsuite/tests/ghci/scripts/ghci050.stderr b/testsuite/tests/ghci/scripts/ghci050.stderr index 77c552575a..440547707c 100644 --- a/testsuite/tests/ghci/scripts/ghci050.stderr +++ b/testsuite/tests/ghci/scripts/ghci050.stderr @@ -11,4 +11,3 @@ b :: a (bound at <interactive>:6:43) In the expression: a In the expression: [a, b] - In an equation for ‛asList’: asList (a, b) = [a, b] diff --git a/testsuite/tests/ghci/scripts/ghci052.stderr b/testsuite/tests/ghci/scripts/ghci052.stderr index 2efada5344..089785b27f 100644 --- a/testsuite/tests/ghci/scripts/ghci052.stderr +++ b/testsuite/tests/ghci/scripts/ghci052.stderr @@ -4,21 +4,18 @@ with actual type ‛Planet’ In the first argument of ‛pn’, namely ‛Mercury’ In the expression: pn Mercury - In an equation for ‛it’: it = pn Mercury <interactive>:8:4: Couldn't match expected type ‛main::Interactive.Planet’ with actual type ‛Planet’ In the first argument of ‛pn’, namely ‛Venus’ In the expression: pn Venus - In an equation for ‛it’: it = pn Venus <interactive>:9:4: Couldn't match expected type ‛main::Interactive.Planet’ with actual type ‛Planet’ In the first argument of ‛pn’, namely ‛Mars’ In the expression: pn Mars - In an equation for ‛it’: it = pn Mars <interactive>:11:44: Couldn't match expected type ‛Planet’ diff --git a/testsuite/tests/ghci/scripts/ghci053.stderr b/testsuite/tests/ghci/scripts/ghci053.stderr index f97df8f63c..5f9b598574 100644 --- a/testsuite/tests/ghci/scripts/ghci053.stderr +++ b/testsuite/tests/ghci/scripts/ghci053.stderr @@ -4,11 +4,9 @@ with actual type ‛Planet’ In the second argument of ‛(==)’, namely ‛Mercury’ In the expression: mercury == Mercury - In an equation for ‛it’: it = mercury == Mercury <interactive>:10:10: Couldn't match expected type ‛Planet’ with actual type ‛main::Interactive.Planet’ In the second argument of ‛(==)’, namely ‛Earth’ In the expression: Venus == Earth - In an equation for ‛it’: it = Venus == Earth |