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

Reply via email to