Commit 7aa2a86c authored by simonpj's avatar simonpj
Browse files

Update test output

This is actually *slightly* worse than before, because of the
error-message refactoring in TcUnify. The previous message 
reported a mis-match between
    (a->Bool) and (Bool -> Bool)
whereas the new one only complains of mismatch between
    a   and   Bool
Trouble is, the old one was vulnerable to the problem
described in the comments on tcSubExp. 

So I'm accepting this regression for now; let's see if
anyone notices!
parent 3658339a
rw.hs:14:32: rw.hs:14:32:
Couldn't match expected type `a' against inferred type `Int' Couldn't match expected type `a' against inferred type `Int'
`a' is a rigid type variable bound by `a' is a rigid type variable bound by
the type signature for `writeInt' at rw.hs:12:13 the type signature for `writeInt' at rw.hs:12:13
In the second argument of `writeIORef', namely `(1 :: Int)' In the second argument of `writeIORef', namely `(1 :: Int)'
In the expression: writeIORef ref (1 :: Int) In the expression: writeIORef ref (1 :: Int)
In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int) In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
rw.hs:19:36: rw.hs:19:36:
Couldn't match expected type `a' against inferred type `Bool' Couldn't match expected type `a' against inferred type `Bool'
`a' is a rigid type variable bound by `a' is a rigid type variable bound by
the type signature for `readBool' at rw.hs:16:13 the type signature for `readBool' at rw.hs:16:13
Expected type: a -> Bool In the second argument of `(.)', namely `not'
Inferred type: Bool -> Bool In the second argument of `(>>=)', namely `(print . not)'
In the second argument of `(.)', namely `not' In the expression: readIORef ref >>= (print . not)
In the second argument of `(>>=)', namely `(print . not)'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment