Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/cd4927d172315634d84bbfb1ba221e4dea6e195d >--------------------------------------------------------------- commit cd4927d172315634d84bbfb1ba221e4dea6e195d Author: Simon Peyton Jones <simo...@microsoft.com> Date: Wed Jan 2 08:53:58 2013 +0000 Test Trac #7536 >--------------------------------------------------------------- tests/indexed-types/should_fail/T7536.hs | 9 +++++++++ tests/indexed-types/should_fail/T7536.stderr | 5 +++++ tests/indexed-types/should_fail/all.T | 5 +---- 3 files changed, 15 insertions(+), 4 deletions(-) diff --git a/tests/indexed-types/should_fail/T7536.hs b/tests/indexed-types/should_fail/T7536.hs new file mode 100644 index 0000000..a541bda --- /dev/null +++ b/tests/indexed-types/should_fail/T7536.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE TypeFamilies #-} + +module T7536 where + +type T v = Int + +type family TF a :: * +type instance TF (T a) = a + diff --git a/tests/indexed-types/should_fail/T7536.stderr b/tests/indexed-types/should_fail/T7536.stderr new file mode 100644 index 0000000..faea85e --- /dev/null +++ b/tests/indexed-types/should_fail/T7536.stderr @@ -0,0 +1,5 @@ + +T7536.hs:8:15: + Family instance purports to bind type variable `a' + but the real LHS (expanding synonyms) is: TF Int = ... + In the type instance declaration for `TF' diff --git a/tests/indexed-types/should_fail/all.T b/tests/indexed-types/should_fail/all.T index eaf1b19..4cd78ce 100644 --- a/tests/indexed-types/should_fail/all.T +++ b/tests/indexed-types/should_fail/all.T @@ -93,7 +93,4 @@ test('T7354a', extra_clean(['T7354b.o', 'T7354b.hi']), run_command, ['$MAKE -s --no-print-directory T7354a']) - - - - +test('T7536', normal, compile_fail, ['']) _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc