blob: a8f98d9e62b419d78926f8b45b938a78b6998f81 (
plain)
1
2
3
4
5
6
7
8
|
[1 of 2] Compiling ExtraConstraintsWildcardInTypeSplice ( ExtraConstraintsWildcardInTypeSplice.hs, ExtraConstraintsWildcardInTypeSplice.o )
ExtraConstraintsWildcardInTypeSplice.hs:7:16: 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 a Template-Haskell quoted type
• In the Template Haskell quotation [t| _ => _ |]
|