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

T7525.hs:5:30:
    Could not deduce (?b::Bool)
      arising from a use of implicit parameter ‛?b’
    from the context (?a::Bool)
      bound by the implicit-parameter bindings for ?a at T7525.hs:5:7-31
    In the second argument of ‛(&&)’, namely ‛?b’
    In the expression: ?a && ?b
    In the expression: let ?a = True in ?a && ?b