summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr
blob: c695321da79bda716a3075edd62b132f2f116f8f (plain)
1
2
3
4
5
6

UnnamedConstraintWildcard2.hs:4:8: error:
    Wildcard ‘_’ not allowed in a constraint
      except as the last top-level constraint of a type signature
        e.g  f :: (Eq a, _) => blah
      in the type signature for ‘foo’