Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / IPFail.stderr
1
2 IPFail.hs:6:18: error:
3     • Could not deduce (Num Bool) arising from the literal ‘5’
4       from the context: (?x::Int)
5         bound by the type signature for:
6                    f0 :: (?x::Int) => () -> Bool
7         at IPFail.hs:5:1-31
8     • In the expression: 5
9       In the expression: let ?x = 5 in ?x
10       In an equation for ‘f0’: f0 () = let ?x = 5 in ?x