summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/NestedNamedExtraConstraintsWildcard.stderr
blob: 07e5839fdec039e8db6db789436d4c85779d1ea9 (plain)
1
2
3
4
5

NestedNamedExtraConstraintsWildcard.hs:4:23:
    Invalid partial type: Bool -> (Eq a, _a) => a
    An extra-constraints wild card cannot be named
    In the type signature for ‘foo’