diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T11010.stderr')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T11010.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T11010.stderr b/testsuite/tests/patsyn/should_fail/T11010.stderr index 47492cde3a..1bd83c83b4 100644 --- a/testsuite/tests/patsyn/should_fail/T11010.stderr +++ b/testsuite/tests/patsyn/should_fail/T11010.stderr @@ -1,14 +1,14 @@ - -T11010.hs:9:36: error: - • Couldn't match type ‘a1’ with ‘Int’ - ‘a1’ is a rigid type variable bound by - a pattern with constructor: - Fun :: forall b a. String -> (a -> b) -> Expr a -> Expr b, - in a pattern synonym declaration - at T11010.hs:9:26 - 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) - f :: a1 -> b (bound at T11010.hs:9:34) +
+T11010.hs:9:36: error:
+ • Couldn't match type ‘a1’ with ‘Int’
+ ‘a1’ is a rigid type variable bound by
+ a pattern with constructor:
+ Fun :: forall b a. 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)
+ f :: a1 -> b (bound at T11010.hs:9:34)
|