diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T11010.stderr')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T11010.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T11010.stderr b/testsuite/tests/patsyn/should_fail/T11010.stderr index 6e3aae58f5..28216760ee 100644 --- a/testsuite/tests/patsyn/should_fail/T11010.stderr +++ b/testsuite/tests/patsyn/should_fail/T11010.stderr @@ -1,13 +1,13 @@ T11010.hs:9:36: error: • Couldn't match type ‘a1’ with ‘Int’ + Expected: a -> b + Actual: a1 -> b ‘a1’ is a rigid type variable bound by a pattern with constructor: Fun :: forall a b. String -> (a -> b) -> Expr a -> Expr b, in a pattern synonym declaration at T11010.hs:9:26-36 - Expected type: a -> b - Actual type: a1 -> b • In the declaration for pattern synonym ‘IntFun’ • Relevant bindings include x :: Expr a1 (bound at T11010.hs:9:36) |