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

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:1-31
    • In the expression: 5
      In the expression: let ?x = 5 in ?x
      In an equation for ‘f0’: f0 () = let ?x = 5 in ?x