summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/IPFail.stderr
blob: 963ccd8b54d521e97b4f779c40afb1547cc6f3bc (plain)
1
2
3
4
5
6
7
8
9

IPFail.hs:6:18: error:
    Could not deduce (Num Bool) arising from the literal ‘5’
    from the context: ?x::Int
      bound by the type signature for: f0 :: (?x::Int) => () -> Bool
      at IPFail.hs:5:7-31
    In the expression: 5
    In the expression: let ?x = 5 in ?x
    In an equation for ‘f0’: f0 () = let ?x = 5 in ?x