Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7525.stderr
1
2 T7525.hs:5:30: error:
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