Commit 83623c66 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-12-09 19:17:57 by simonpj]

add output file
parent b218900c
tcfail153.hs:6:6:
Couldn't match the rigid variable `a' against `Bool'
`a' is bound by the type signature for `f'
Expected type: [a]
Inferred type: [Bool]
In the application `g x'
In the definition of `f':
f x = g x
where
g y = if y then [] else [y]
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