Commit d00b006a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update output

parent 7aa2a86c
tcfail168.hs:8:10:
Couldn't match expected type `(->) Char' against inferred type `IO'
Probable cause: `putChar' is applied to too many arguments
In the expression: putChar 'a'
In a 'do' expression: putChar 'a'
tcfail168.hs:8:10:
Couldn't match expected type `Char -> b'
against inferred type `IO b1'
In a 'do' expression: putChar 'a'
In the expression:
do putChar
putChar 'a'
putChar 'a'
putChar 'a'
....
In the definition of `foo':
foo = do putChar
putChar 'a'
putChar 'a'
....
tcfail178.hs:15:6:
Couldn't match expected type `[a]' against inferred type `()'
Expected type: Bool -> [a]
Inferred type: Bool -> ()
In the first argument of `a', namely `y'
In the expression: a y
tcfail178.hs:18:6:
Couldn't match expected type `Bool -> [a]'
against inferred type `()'
In the first argument of `a', namely `()'
In the expression: a ()
In the definition of `d': d = a ()
tcfail178.hs:15:6:
Couldn't match expected type `[a]' against inferred type `()'
In the first argument of `a', namely `y'
In the expression: a y
In the definition of `c': c = a y
tcfail178.hs:18:6:
Couldn't match expected type `Bool -> [a]'
against inferred type `()'
In the first argument of `a', namely `()'
In the expression: a ()
In the definition of `d': d = a ()
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