diff options
Diffstat (limited to 'testsuite/tests/module')
| -rw-r--r-- | testsuite/tests/module/mod71.stderr | 24 | ||||
| -rw-r--r-- | testsuite/tests/module/mod72.stderr | 4 |
2 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/module/mod71.stderr b/testsuite/tests/module/mod71.stderr index a85f7cf182..9c72697300 100644 --- a/testsuite/tests/module/mod71.stderr +++ b/testsuite/tests/module/mod71.stderr @@ -1,12 +1,12 @@ -
-mod71.hs:4:9: error:
- Found hole: _ :: t1
- Where: ‘t1’ is a rigid type variable bound by
- the inferred type of f :: Num a => (t1 -> a -> t) -> t
- at mod71.hs:4:1
- In the first argument of ‘x’, namely ‘_’
- In the expression: x _ 1
- In an equation for ‘f’: f x = x _ 1
- Relevant bindings include
- x :: t1 -> a -> t (bound at mod71.hs:4:3)
- f :: (t1 -> a -> t) -> t (bound at mod71.hs:4:1)
+ +mod71.hs:4:9: error: + • Found hole: _ :: t + Where: ‘t’ is a rigid type variable bound by + the inferred type of f :: Num a => (t -> a -> r) -> r + at mod71.hs:4:1 + • In the first argument of ‘x’, namely ‘_’ + In the expression: x _ 1 + In an equation for ‘f’: f x = x _ 1 + • Relevant bindings include + x :: t -> a -> r (bound at mod71.hs:4:3) + f :: (t -> a -> r) -> r (bound at mod71.hs:4:1) diff --git a/testsuite/tests/module/mod72.stderr b/testsuite/tests/module/mod72.stderr index 8af25f6012..69246edb76 100644 --- a/testsuite/tests/module/mod72.stderr +++ b/testsuite/tests/module/mod72.stderr @@ -1,2 +1,2 @@ -
-mod72.hs:3:7: error: Variable not in scope: g :: t1 -> t
+ +mod72.hs:3:7: error: Variable not in scope: g :: t -> t1 |