diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T13482.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T13482.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T13482.stderr b/testsuite/tests/partial-sigs/should_compile/T13482.stderr index 85cd1115dc..2444742120 100644 --- a/testsuite/tests/partial-sigs/should_compile/T13482.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T13482.stderr @@ -1,5 +1,5 @@ -T13482.hs:10:32: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:10:32: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘(Eq m, Monoid m)’ Where: ‘m’ is a rigid type variable bound by the inferred type of @@ -8,21 +8,21 @@ T13482.hs:10:32: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type signature: minimal1_noksig :: forall m. _ => Int -> Bool -T13482.hs:13:33: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:13:33: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘(Eq m, Monoid m)’ Where: ‘m’ is a rigid type variable bound by the inferred type of minimal1 :: (Eq m, Monoid m) => Bool at T13482.hs:13:21 • In the type signature: minimal1 :: forall (m :: Type). _ => Bool -T13482.hs:16:30: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:16:30: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Monoid m’ Where: ‘m’ is a rigid type variable bound by the inferred type of minimal2 :: (Eq m, Monoid m) => Bool at T13482.hs:16:20 • In the type signature: minimal2 :: forall m. (Eq m, _) => Bool -T13482.hs:19:34: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:19:34: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Eq m’ Where: ‘m’ is a rigid type variable bound by the inferred type of minimal3 :: (Monoid m, Eq m) => Bool |