rw.stderr 725 Bytes
Newer Older
simonpj's avatar
simonpj committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

rw.hs:14:32:
    Couldn't match expected type `a' against inferred type `Int'
      `a' is a rigid type variable bound by
          the type signature for `writeInt' at rw.hs:12:13
    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:36:
    Couldn't match expected type `a' against inferred type `Bool'
      `a' is a rigid type variable bound by
          the type signature for `readBool' at rw.hs:16:13
    In the second argument of `(.)', namely `not'
    In the second argument of `(>>=)', namely `(print . not)'
    In the expression: readIORef ref >>= (print . not)