blob: fc517c2d482b64566514f32619c573837372bfa6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T5691.hs:14:9:
Couldn't match type `p' with `PrintRuleInterp'
Expected type: PrintRuleInterp a
Actual type: p a
In the pattern: f :: p a
In an equation for `test': test (f :: p a) = MkPRI $ printRule_ f
In the instance declaration for `Test PrintRuleInterp'
T5691.hs:15:24:
Couldn't match type `p' with `PrintRuleInterp'
Expected type: PrintRuleInterp a
Actual type: p a
Relevant bindings include f :: p a (bound at T5691.hs:14:9)
In the first argument of `printRule_', namely `f'
In the second argument of `($)', namely `printRule_ f'
In the expression: MkPRI $ printRule_ f
|