diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr index 3ad3cc7707..1e50ae1c3c 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr @@ -1,9 +1,9 @@ -
-SimpleFail16.hs:10:12:
- Couldn't match expected type `p0 a0' with actual type `F ()'
- The type variables `p0', `a0' are ambiguous
- Relevant bindings include
- bar :: p0 a0 (bound at SimpleFail16.hs:10:1)
- In the first argument of `foo', namely `(undefined :: F ())'
- In the expression: foo (undefined :: F ())
- In an equation for `bar': bar = foo (undefined :: F ())
+ +SimpleFail16.hs:10:12: + Couldn't match expected type ‛p0 a0’ with actual type ‛F ()’ + The type variables ‛p0’, ‛a0’ are ambiguous + Relevant bindings include + bar :: p0 a0 (bound at SimpleFail16.hs:10:1) + In the first argument of ‛foo’, namely ‛(undefined :: F ())’ + In the expression: foo (undefined :: F ()) + In an equation for ‛bar’: bar = foo (undefined :: F ()) |