diff options
Diffstat (limited to 'testsuite/tests/partial-sigs')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T14584.hs | 1 | ||||
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T14584.stderr | 12 |
2 files changed, 7 insertions, 6 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.hs b/testsuite/tests/partial-sigs/should_fail/T14584.hs index 1615b26205..077c80c490 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584.hs +++ b/testsuite/tests/partial-sigs/should_fail/T14584.hs @@ -25,6 +25,7 @@ module T14584 where import Data.Monoid import Data.Kind +import Data.Type.Equality data family Sing (a::k) diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.stderr b/testsuite/tests/partial-sigs/should_fail/T14584.stderr index 7a47f25967..2cc457e635 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584.stderr @@ -1,25 +1,25 @@ -T14584.hs:56:50: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:50: warning: [-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:54:10-89 + bound by the instance declaration at T14584.hs:55:10-89 ‘m1’ is a rigid type variable bound by the instance declaration - at T14584.hs:54:10-89 + at T14584.hs:55:10-89 • In the type ‘a’ In the second argument of ‘fromSing’, namely ‘(sing @m @a :: Sing _)’ In the fourth argument of ‘act’, namely ‘(fromSing @m (sing @m @a :: Sing _))’ -T14584.hs:56:60: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14584.hs:57:60: warning: [-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 the instance declaration - at T14584.hs:54:10-89 + at T14584.hs:55:10-89 • In the first argument of ‘Sing’, namely ‘_’ In the type ‘Sing _’ In an expression type signature: Sing _ • Relevant bindings include - monHom :: a -> a (bound at T14584.hs:56:3) + monHom :: a -> a (bound at T14584.hs:57:3) |