diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T15039c.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T15039c.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T15039c.stderr b/testsuite/tests/partial-sigs/should_compile/T15039c.stderr index c7ad5e861b..658c30c2b7 100644 --- a/testsuite/tests/partial-sigs/should_compile/T15039c.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T15039c.stderr @@ -48,7 +48,7 @@ T15039c.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] ex6 :: Dict (Coercible a b) -> () (bound at T15039c.hs:33:1) T15039c.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)] - • Found type wildcard ‘_’ standing for ‘Coercible a b’ + • Found extra-constraints wildcard standing for ‘Coercible a b’ Where: ‘a’, ‘b’ are rigid type variables bound by the inferred type of ex7 :: Coercible a b => Coercion a b at T15039c.hs:35:1-44 |