blob: b9d7d60a97e13aec27f9a6ca738942a2947f0a86 (
plain)
1
2
3
4
5
6
7
|
T12845.hs:18:70: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘() :: Constraint’
• In the type signature:
broken :: forall r r' rngs.
('(r, r') ~ Head rngs, Bar r r' ~ 'True, _) =>
Foo r -> Proxy rngs -> ()
|
