diff options
Diffstat (limited to 'testsuite/tests/gadt/rw.stderr')
| -rw-r--r-- | testsuite/tests/gadt/rw.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr index fe6ba1edee..c4221368fd 100644 --- a/testsuite/tests/gadt/rw.stderr +++ b/testsuite/tests/gadt/rw.stderr @@ -13,17 +13,17 @@ rw.hs:14:47: error: v :: T a (bound at rw.hs:13:10) writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) -rw.hs:19:43: error: +rw.hs:19:51: error: • Couldn't match type ‘a’ with ‘Bool’ - Expected: a -> IO () - Actual: Bool -> IO () + Expected: a -> Bool + Actual: Bool -> Bool ‘a’ is a rigid type variable bound by the type signature for: readBool :: forall a. T a -> IORef a -> IO () at rw.hs:16:1-34 - • In the second argument of ‘(>>=)’, namely ‘(print . not)’ + • In the second argument of ‘(.)’, namely ‘not’ + In the second argument of ‘(>>=)’, namely ‘(print . not)’ In the expression: readIORef ref >>= (print . not) - In a case alternative: ~(Lb x) -> readIORef ref >>= (print . not) • Relevant bindings include ref :: IORef a (bound at rw.hs:17:12) v :: T a (bound at rw.hs:17:10) |