Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T2994.stderr
1
2 T2994.hs:11:10: error:
3     • Expecting one more argument to ‘MonadReader Int’
4       Expected a constraint,
5         but ‘MonadReader Int’ has kind ‘* -> Constraint’
6     • In the instance declaration for ‘MonadReader Int’
7
8 T2994.hs:13:10: error:
9     • Expecting one more argument to ‘MonadReader (Reader' r)’
10       Expected a constraint,
11         but ‘MonadReader (Reader' r)’ has kind ‘* -> Constraint’
12     • In the instance declaration for ‘MonadReader (Reader' r)’
13
14 T2994.hs:13:23: error:
15     • Expecting one more argument to ‘Reader' r’
16       Expected a type, but ‘Reader' r’ has kind ‘* -> *’
17     • In the first argument of ‘MonadReader’, namely ‘Reader' r’
18       In the instance declaration for ‘MonadReader (Reader' r)’
19
20 T2994.hs:15:10: error:
21     • Expecting one fewer arguments to ‘MonadReader r r’
22       Expected kind ‘(* -> *) -> Constraint’,
23         but ‘MonadReader r r’ has kind ‘Constraint’
24     • In the instance declaration for ‘MonadReader r r (Reader' r)’