diff options
Diffstat (limited to 'testsuite/tests/gadt/rw.stderr')
| -rw-r--r-- | testsuite/tests/gadt/rw.stderr | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr new file mode 100644 index 0000000000..dbac243ab6 --- /dev/null +++ b/testsuite/tests/gadt/rw.stderr @@ -0,0 +1,19 @@ + +rw.hs:14:47: + Couldn't match type `a' with `Int' + `a' is a rigid type variable bound by + the type signature for writeInt :: T a -> IORef a -> IO () + 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) + +rw.hs:19:51: + Couldn't match type `a' with `Bool' + `a' is a rigid type variable bound by + the type signature for readBool :: T a -> IORef a -> IO () + at rw.hs:17:1 + Expected type: a -> Bool + Actual type: Bool -> Bool + In the second argument of `(.)', namely `not' + In the second argument of `(>>=)', namely `(print . not)' |