Merge branch 'master' of http://darcs.haskell.org/testsuite
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 Jul 2012 15:27:14 +0000 (16:27 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 Jul 2012 15:27:14 +0000 (16:27 +0100)
Conflicts:
tests/typecheck/should_fail/tcfail181.stderr

1  2 
testsuite/tests/typecheck/should_fail/all.T
testsuite/tests/typecheck/should_fail/tcfail181.stderr

@@@ -1,16 -1,16 +1,17 @@@
\r
- tcfail181.hs:17:9:\r
-     Could not deduce (Monad m0) arising from a use of `foo'\r
-     from the context (Monad m)\r
-       bound by the inferred type of\r
-                wog :: Monad m => t -> Something (m Bool) e\r
-       at tcfail181.hs:17:1-30\r
-     The type variable `m0' is ambiguous\r
-     Possible fix: add a type signature that fixes these type variable(s)\r
-     Note: there are several potential instances:\r
-       instance Monad ((->) r) -- Defined in `GHC.Base'\r
-       instance Monad IO -- Defined in `GHC.Base'\r
-       instance Monad [] -- Defined in `GHC.Base'\r
-     In the expression: foo\r
-     In the expression: foo {bar = return True}\r
-     In an equation for `wog': wog x = foo {bar = return True}\r
+ tcfail181.hs:17:9:
+     Could not deduce (Monad m0) arising from a use of `foo'
+     from the context (Monad m)
+       bound by the inferred type of
+                wog :: Monad m => t -> Something (m Bool) e
+       at tcfail181.hs:17:1-30
+     The type variable `m0' is ambiguous
+     Possible fix: add a type signature that fixes these type variable(s)
+     Note: there are several potential instances:
+       instance Monad ((->) r) -- Defined in `GHC.Base'
+       instance Monad IO -- Defined in `GHC.Base'
+       instance Monad [] -- Defined in `GHC.Base'
+     In the expression: foo
+     In the expression: foo {bar = return True}
+     In an equation for `wog': wog x = foo {bar = return True}
++