Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/43e19d5bd9bbf1dffdd08b3dee82c443e5129d9e >--------------------------------------------------------------- commit 43e19d5bd9bbf1dffdd08b3dee82c443e5129d9e Author: Ian Lynagh <[email protected]> Date: Thu Oct 11 20:12:20 2012 +0100 Add expected output for T7194 >--------------------------------------------------------------- tests/indexed-types/should_fail/T7194.stderr | 14 ++++++++++++++ tests/indexed-types/should_fail/all.T | 2 +- 2 files changed, 15 insertions(+), 1 deletions(-) diff --git a/tests/indexed-types/should_fail/T7194.stderr b/tests/indexed-types/should_fail/T7194.stderr new file mode 100644 index 0000000..385765d --- /dev/null +++ b/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/tests/indexed-types/should_fail/all.T b/tests/indexed-types/should_fail/all.T index f455d46..633f10b 100644 --- a/tests/indexed-types/should_fail/all.T +++ b/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, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
