diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T14715.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T14715.stderr | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T14715.stderr b/testsuite/tests/partial-sigs/should_compile/T14715.stderr index e352f0d644..4d3a668241 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14715.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14715.stderr @@ -1,12 +1,11 @@ T14715.hs:13:53: warning: [-Wpartial-type-signatures (in -Wdefault)] - • Found extra-constraints wildcard standing for - ‘Reduce (LiftOf zq) zq’ - Where: ‘zq’ is a rigid type variable bound by + • 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 (LiftOf zq) zq) => + bench_mulPublic :: (z ~ LiftOf zq, Reduce z zq) => Cyc zp -> Cyc z -> IO (zp, zq) - at T14715.hs:13:32-33 + 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) + bench_mulPublic :: forall z zp zq. (z ~ LiftOf zq, _) => + Cyc zp -> Cyc z -> IO (zp, zq) |