summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/NamedWildcardInDataFamilyInstanceLHS.stderr
blob: e07751d2f49816c5d74f54b6e5393b737b6522f3 (plain)
1
2
3
4

NamedWildcardInDataFamilyInstanceLHS.hs:8:21: error:
    Wildcard ‘_a’ not allowed
      in a type pattern of family instance for ‘Sing’