diff options
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T10619.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T5691.stderr | 10 |
2 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10619.stderr b/testsuite/tests/typecheck/should_fail/T10619.stderr index 0cd5364e2c..fde2daf8c6 100644 --- a/testsuite/tests/typecheck/should_fail/T10619.stderr +++ b/testsuite/tests/typecheck/should_fail/T10619.stderr @@ -1,6 +1,6 @@ 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: diff --git a/testsuite/tests/typecheck/should_fail/T5691.stderr b/testsuite/tests/typecheck/should_fail/T5691.stderr index 9d4e587166..ad5c7e452f 100644 --- a/testsuite/tests/typecheck/should_fail/T5691.stderr +++ b/testsuite/tests/typecheck/should_fail/T5691.stderr @@ -1,12 +1,12 @@ -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) |