Fix #13819 by refactoring TypeEqOrigin.uo_thing
[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     • Expected kind ‘(* -> *) -> Constraint’,
22         but ‘MonadReader r r’ has kind ‘Constraint’
23     • In the instance declaration for ‘MonadReader r r (Reader' r)’