summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T5691.stderr
blob: 132df4dacfda5aeb52b2949dd58bb5accfbcdb89 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

T5691.hs:14:9: error:
    Couldn't match type ‘p’ with ‘PrintRuleInterp’
    Expected type: p a
      Actual type: PrintRuleInterp a
    When checking that the pattern signature: p a
      fits the type of its context: PrintRuleInterp a
    In the pattern: f :: p a
    In an equation for ‘test’: test (f :: p a) = MkPRI $ printRule_ f

T5691.hs:24:10: error:
    No instance for (Alternative RecDecParser)
      arising from the superclasses of an instance declaration
    In the instance declaration for ‘MonadPlus RecDecParser’

T5691.hs:24:10: error:
    No instance for (Monad RecDecParser)
      arising from the superclasses of an instance declaration
    In the instance declaration for ‘MonadPlus RecDecParser’