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

T7525.hs:5:30: error: [GHC-91416]
    • Could not deduce ‘?b::Bool’
        arising from a use of implicit parameter ‘?b’
      from the context: ?a::Bool
        bound by the implicit-parameter binding 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