Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7525.stderr
1
2 T7525.hs:5:30:
3     Could not deduce: ?b::Bool
4       arising from a use of implicit parameter ‘?b’
5     from the context: ?a::Bool
6       bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31
7     In the second argument of ‘(&&)’, namely ‘?b’
8     In the expression: ?a && ?b
9     In the expression: let ?a = True in ?a && ?b