ad5c7e452f0ade3ae48ef5b6a442dbd79b0b3d84
[ghc.git] / testsuite / tests / typecheck / should_fail / T5691.stderr
1
2 T5691.hs:14:9: error:
3     • Couldn't match type ‘p’ with ‘PrintRuleInterp’
4       Expected type: PrintRuleInterp a
5         Actual type: p a
6     • When checking that the pattern signature: p a
7         fits the type of its context: PrintRuleInterp a
8       In the pattern: f :: p a
9       In an equation for ‘test’: test (f :: p a) = MkPRI $ printRule_ f
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’