blob: 758924dd41fb7fd088be13239086fd3b35b34883 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T14880-2.hs:13:12: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘Proxy (Foo arg)’
Where: ‘arg’ is a rigid type variable bound by
the type signature for:
quux :: forall arg. Proxy (Foo arg) -> ()
at T14880-2.hs:12:1-41
• In a pattern type signature: _
In the pattern: _ :: _
In an equation for ‘quux’: quux (_ :: _) = ()
• Relevant bindings include
quux :: Proxy (Foo arg) -> () (bound at T14880-2.hs:13:1)
|
