Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T14584.stderr
1
2 T14584.hs:56:41: warning: [-Wdeferred-type-errors (in -Wdefault)]
3     • Could not deduce (SingI a) arising from a use of ‘sing’
4       from the context: (Action act, Monoid a, Good m1)
5         bound by the instance declaration at T14584.hs:54:10-89
6     • In the second argument of ‘fromSing’, namely
7         ‘(sing @m @a :: Sing _)’
8       In the fourth argument of ‘act’, namely
9         ‘(fromSing @m (sing @m @a :: Sing _))’
10       In the expression:
11         act @_ @_ @act (fromSing @m (sing @m @a :: Sing _))
12
13 T14584.hs:56:50: warning: [-Wdeferred-type-errors (in -Wdefault)]
14     • Expected kind ‘m1’, but ‘a’ has kind ‘Type’
15     • In the type ‘a’
16       In the second argument of ‘fromSing’, namely
17         ‘(sing @m @a :: Sing _)’
18       In the fourth argument of ‘act’, namely
19         ‘(fromSing @m (sing @m @a :: Sing _))’
20
21 T14584.hs:56:60: warning: [-Wpartial-type-signatures (in -Wdefault)]
22     • Found type wildcard ‘_’ standing for ‘a :: m’
23       Where: ‘a’, ‘m’ are rigid type variables bound by
24                the instance declaration
25                at T14584.hs:54:10-89
26     • In an expression type signature: Sing _
27       In the second argument of ‘fromSing’, namely
28         ‘(sing @m @a :: Sing _)’
29       In the fourth argument of ‘act’, namely
30         ‘(fromSing @m (sing @m @a :: Sing _))’
31     • Relevant bindings include
32         monHom :: a -> a (bound at T14584.hs:56:3)