summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/Defer02.stdout
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2012-03-27 14:46:32 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2012-03-27 14:46:32 +0100
commit5f02fd0c71d71e4d212ab68dfd22c2a91c54c393 (patch)
tree30899187dc045d881c69cb9d6fce903fdba000bc /testsuite/tests/ghci/scripts/Defer02.stdout
parent6dc6775590c85371c0d74249bdbcc8c51b9975ce (diff)
downloadhaskell-5f02fd0c71d71e4d212ab68dfd22c2a91c54c393.tar.gz
Slashes and backslashes in filenames
Diffstat (limited to 'testsuite/tests/ghci/scripts/Defer02.stdout')
-rw-r--r--testsuite/tests/ghci/scripts/Defer02.stdout118
1 files changed, 59 insertions, 59 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stdout b/testsuite/tests/ghci/scripts/Defer02.stdout
index 1061a95241..32e51d6d65 100644
--- a/testsuite/tests/ghci/scripts/Defer02.stdout
+++ b/testsuite/tests/ghci/scripts/Defer02.stdout
@@ -1,59 +1,59 @@
-Hello World*** Exception: ..\..\typecheck\should_run\Defer01.hs:11:40:
- Couldn't match type `Char' with `[Char]'
- Expected type: String
- Actual type: Char
- In the first argument of `putStr', namely ','
- In the second argument of `(>>)', namely putStr ','
- In the expression: putStr "Hello World" >> putStr ','
-(deferred type error)
-*** Exception: ..\..\typecheck\should_run\Defer01.hs:14:5:
- Couldn't match expected type `Int' with actual type `Char'
- In the expression: 'p'
- 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 `=='
- 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'
- Possible fix: add an instance declaration for (Num (a -> a))
- In the expression: 1
- In an equation for `d': d = 1
-(deferred type error)
-*** Exception: ..\..\typecheck\should_run\Defer01.hs:31:5:
- Couldn't match expected type `Char -> t' with actual type `Char'
- The function `e' is applied to one argument,
- but its type `Char' has none
- In the expression: e 'q'
- In an equation for `f': f = e 'q'
-(deferred type error)
-(*** Exception: ..\..\typecheck\should_run\Defer01.hs:34:8:
- 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:33:6
- 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'
- 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)
-"*** Exception: ..\..\typecheck\should_run\Defer01.hs:43:5:
- 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)
-*** Exception: ..\..\typecheck\should_run\Defer01.hs:49:5:
- Couldn't match expected type `IO a0'
- with actual type `Char -> IO ()'
- 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)
+Hello World*** Exception: ../../typecheck/should_run/Defer01.hs:11:40:
+ Couldn't match type `Char' with `[Char]'
+ Expected type: String
+ Actual type: Char
+ In the first argument of `putStr', namely ','
+ In the second argument of `(>>)', namely putStr ','
+ In the expression: putStr "Hello World" >> putStr ','
+(deferred type error)
+*** Exception: ../../typecheck/should_run/Defer01.hs:14:5:
+ Couldn't match expected type `Int' with actual type `Char'
+ In the expression: 'p'
+ 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 `=='
+ 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'
+ Possible fix: add an instance declaration for (Num (a -> a))
+ In the expression: 1
+ In an equation for `d': d = 1
+(deferred type error)
+*** Exception: ../../typecheck/should_run/Defer01.hs:31:5:
+ Couldn't match expected type `Char -> t' with actual type `Char'
+ The function `e' is applied to one argument,
+ but its type `Char' has none
+ In the expression: e 'q'
+ In an equation for `f': f = e 'q'
+(deferred type error)
+(*** Exception: ../../typecheck/should_run/Defer01.hs:34:8:
+ 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:33:6
+ 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'
+ 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)
+"*** Exception: ../../typecheck/should_run/Defer01.hs:43:5:
+ 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)
+*** Exception: ../../typecheck/should_run/Defer01.hs:49:5:
+ Couldn't match expected type `IO a0'
+ with actual type `Char -> IO ()'
+ 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)