blob: d36ce8263de0a42cc1ba83aeaef8388808daad88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T14715.hs:13:53: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints wildcard standing for ‘Reduce z zq’
Where: ‘z’, ‘zq’ are rigid type variables bound by
the inferred type of
bench_mulPublic :: (z ~ LiftOf zq, Reduce z zq) =>
Cyc zp -> Cyc z -> IO (zp, zq)
at T14715.hs:13:27-33
• In the type signature:
bench_mulPublic :: forall z zp zq. (z ~ LiftOf zq, _) =>
Cyc zp -> Cyc z -> IO (zp, zq)
|