testsuite/tests/partial-sigs/should_fail/NestedExtraConstraintsWildcard.stderr


1
2
3
4
5
6


NestedExtraConstraintsWildcard.hs:4:23:
    Invalid partial type: Bool -> (Eq a, _) => a
    An extra-constraints wild card is only allowed
    in the top-level context
    In the type signature for ‘foo’