diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T14715.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T14715.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T14715.stderr b/testsuite/tests/partial-sigs/should_compile/T14715.stderr index 4d3a668241..286ca25671 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14715.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14715.stderr @@ -3,7 +3,7 @@ T14715.hs:13:53: warning: [-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) => + bench_mulPublic :: (LiftOf zq ~ z, Reduce z zq) => Cyc zp -> Cyc z -> IO (zp, zq) at T14715.hs:13:27-33 • In the type signature: |