diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T14584.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T14584.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.stderr b/testsuite/tests/partial-sigs/should_fail/T14584.stderr index bfa69b1636..67ccd9d0da 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584.stderr @@ -1,5 +1,5 @@ -T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:41: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] • Could not deduce ‘SingI a’ arising from a use of ‘sing’ from the context: (Action act, Monoid a, Good m1) bound by the instance declaration at T14584.hs:55:10-89 @@ -10,7 +10,7 @@ T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] In the expression: act @_ @_ @act (fromSing @m (sing @m @a :: Sing _)) -T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:41: warning: [GHC-06200] [-Wdeferred-type-errors (in -Wdefault)] • Cannot use equality for substitution: a0 ~ a Doing so would be ill-kinded. • In the second argument of ‘fromSing’, namely @@ -22,7 +22,7 @@ T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] • Relevant bindings include monHom :: a -> a (bound at T14584.hs:57:3) -T14584.hs:57:50: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:50: warning: [GHC-25897] [-Wdeferred-type-errors (in -Wdefault)] • Could not deduce ‘m1 ~ *’ from the context: (Action act, Monoid a, Good m1) bound by the instance declaration at T14584.hs:55:10-89 @@ -35,7 +35,7 @@ T14584.hs:57:50: warning: [-Wdeferred-type-errors (in -Wdefault)] In the fourth argument of ‘act’, namely ‘(fromSing @m (sing @m @a :: Sing _))’ -T14584.hs:57:60: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14584.hs:57:60: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a0 :: m’ Where: ‘a0’ is an ambiguous type variable ‘m’ is a rigid type variable bound by |