diff options
| author | Ian Lynagh <ian@well-typed.com> | 2012-10-11 20:12:20 +0100 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2012-10-11 20:13:05 +0100 |
| commit | 6226c19fc9bdd86d9c82e33268282b302027c803 (patch) | |
| tree | e7da0f80abe107aba7a84db7c22200241a742e63 /testsuite/tests | |
| parent | 3674eaf9a6627f140c2b9939b2460d59f677dadc (diff) | |
| download | haskell-6226c19fc9bdd86d9c82e33268282b302027c803.tar.gz | |
Add expected output for T7194
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T7194.stderr | 14 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/all.T | 2 |
2 files changed, 15 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T7194.stderr b/testsuite/tests/indexed-types/should_fail/T7194.stderr new file mode 100644 index 0000000000..385765df6f --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T7194.stderr @@ -0,0 +1,14 @@ + +T7194.hs:18:35: + Couldn't match expected type `b0' with actual type `F a' + because type variable `a' would escape its scope + This (rigid, skolem) type variable is bound by + the type signature for g :: C (F a) => a -> Int + at T7194.hs:17:23-41 + Relevant bindings include + x :: b0 (bound at T7194.hs:17:9) + g :: a -> Int (bound at T7194.hs:18:18) + y :: a (bound at T7194.hs:18:20) + In the return type of a call of `foo' + In the expression: foo y + In the first argument of `length', namely `[x, foo y]' diff --git a/testsuite/tests/indexed-types/should_fail/all.T b/testsuite/tests/indexed-types/should_fail/all.T index f455d46bf5..633f10bb2f 100644 --- a/testsuite/tests/indexed-types/should_fail/all.T +++ b/testsuite/tests/indexed-types/should_fail/all.T @@ -77,4 +77,4 @@ test('T5934', normal, compile_fail, ['']) test('T6123', normal, compile_fail, ['']) test('ExtraTcsUntch', normal, compile_fail, ['']) test('T7010', normal, compile_fail, ['']) -test('T7194', expect_broken(7194), compile_fail, ['']) +test('T7194', normal, compile_fail, ['']) |