diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr index 539628c6eb..69a7170504 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr @@ -1,13 +1,13 @@ -
-SimpleFail5a.hs:31:11: error:
- • Couldn't match type ‘a’ with ‘Int’
- ‘a’ is a rigid type variable bound by
- the type signature for:
- bar3wrong :: forall a. S3 a -> a
- at SimpleFail5a.hs:30:1-22
- Expected type: S3 a
- Actual type: S3 Int
- • In the pattern: D3Int
- In an equation for ‘bar3wrong’: bar3wrong D3Int = 1
- • Relevant bindings include
- bar3wrong :: S3 a -> a (bound at SimpleFail5a.hs:31:1)
+ +SimpleFail5a.hs:31:11: error: + • Couldn't match type ‘a’ with ‘Int’ + ‘a’ is a rigid type variable bound by + the type signature for: + bar3wrong :: forall a. S3 a -> a + at SimpleFail5a.hs:30:1-22 + Expected type: S3 a + Actual type: S3 Int + • In the pattern: D3Int + In an equation for ‘bar3wrong’: bar3wrong D3Int = 1 + • Relevant bindings include + bar3wrong :: S3 a -> a (bound at SimpleFail5a.hs:31:1) |