Commit 233c5ced authored by Ben Gamari's avatar Ben Gamari 🐢

testsuite: Fix test output broken by efba0546

Looks right to me.

(cherry picked from commit 7d9812e8)
parent d6f2f231
T10619.hs:9:15: error:
• Couldn't match type ‘b -> b’ with ‘forall a. a -> a
• Couldn't match type ‘forall a. a -> a’ with ‘b -> b
Expected type: (b -> b) -> b -> b
Actual type: (forall a. a -> a) -> b -> b
• In the expression:
......@@ -40,7 +40,7 @@ T10619.hs:14:15: error:
bar :: p -> (b -> b) -> b -> b (bound at T10619.hs:12:1)
T10619.hs:16:13: error:
• Couldn't match type ‘b -> b’ with ‘forall a. a -> a
• Couldn't match type ‘forall a. a -> a’ with ‘b -> b
Expected type: (b -> b) -> b -> b
Actual type: (forall a. a -> a) -> b -> b
• In the expression:
......
T5691.hs:15:24: error:
T5691.hs:14:9: error:
• Couldn't match type ‘p’ with ‘PrintRuleInterp’
Expected type: PrintRuleInterp a
Actual type: p a
In the first argument of ‘printRule_’, namely ‘f’
In the second argument of ‘($)’, namely ‘printRule_ f’
In the expression: MkPRI $ printRule_ f
• Relevant bindings include f :: p a (bound at T5691.hs:14:9)
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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment