Add Defer02.stdout
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 16 Jan 2012 13:13:28 +0000 (13:13 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 16 Jan 2012 13:13:28 +0000 (13:13 +0000)
testsuite/tests/ghci/scripts/Defer02.stdout [new file with mode: 0644]

diff --git a/testsuite/tests/ghci/scripts/Defer02.stdout b/testsuite/tests/ghci/scripts/Defer02.stdout
new file mode 100644 (file)
index 0000000..85d447a
--- /dev/null
@@ -0,0 +1,64 @@
+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:34:1
+    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 first argument of `seq', namely `(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)
+    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)