Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T5691.stderr
1
2 T5691.hs:15:24: error:
3     • Couldn't match type ‘p’ with ‘PrintRuleInterp’
4       Expected type: PrintRuleInterp a
5         Actual type: p a
6     • In the first argument of ‘printRule_’, namely ‘f’
7       In the second argument of ‘($)’, namely ‘printRule_ f’
8       In the expression: MkPRI $ printRule_ f
9     • Relevant bindings include f :: p a (bound at T5691.hs:14:9)
10
11 T5691.hs:24:10: error:
12     • No instance for (Alternative RecDecParser)
13         arising from the superclasses of an instance declaration
14     • In the instance declaration for ‘MonadPlus RecDecParser’
15
16 T5691.hs:24:10: error:
17     • No instance for (Monad RecDecParser)
18         arising from the superclasses of an instance declaration
19     • In the instance declaration for ‘MonadPlus RecDecParser’