diff options
Diffstat (limited to 'testsuite/tests/gadt/rw.stderr')
| -rw-r--r-- | testsuite/tests/gadt/rw.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr index 584eebb7a8..9273dbd27a 100644 --- a/testsuite/tests/gadt/rw.stderr +++ b/testsuite/tests/gadt/rw.stderr @@ -5,9 +5,9 @@ rw.hs:14:47: the type signature for writeInt :: T a -> IORef a -> IO () at rw.hs:12:12 Relevant bindings include - writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) - v :: T a (bound at rw.hs:13:10) ref :: IORef a (bound at rw.hs:13:12) + v :: T a (bound at rw.hs:13:10) + writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) In the second argument of ‛writeIORef’, namely ‛(1 :: Int)’ In the expression: writeIORef ref (1 :: Int) In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int) @@ -20,8 +20,8 @@ rw.hs:19:51: Expected type: a -> Bool Actual type: Bool -> Bool Relevant bindings include - readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1) - v :: T a (bound at rw.hs:17:10) ref :: IORef a (bound at rw.hs:17:12) + v :: T a (bound at rw.hs:17:10) + readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1) In the second argument of ‛(.)’, namely ‛not’ In the second argument of ‛(>>=)’, namely ‛(print . not)’ |