[commit: testsuite] master: Test Trac #8129 (6d3be60)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6d3be60bf9427684a8cd7034f69ca7715a8144e8/testsuite

>---------------------------------------------------------------

commit 6d3be60bf9427684a8cd7034f69ca7715a8144e8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Sep 19 13:21:21 2013 +0100

    Test Trac #8129


>---------------------------------------------------------------

6d3be60bf9427684a8cd7034f69ca7715a8144e8
 tests/indexed-types/should_fail/Makefile |    7 +++++++
 tests/indexed-types/should_fail/T8129.hs |    9 +++++++++
 tests/indexed-types/should_fail/all.T    |    5 +++++
 3 files changed, 21 insertions(+)

diff --git a/tests/indexed-types/should_fail/Makefile b/tests/indexed-types/should_fail/Makefile
index dfd8b18..e0738ac 100644
--- a/tests/indexed-types/should_fail/Makefile
+++ b/tests/indexed-types/should_fail/Makefile
@@ -9,3 +9,10 @@ T7354a:
 T8227:
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8227a.hs
 	-'$(TEST_HC)' $(TEST_HC_OPTS) -c T8227.hs
+
+# T8129 is trying to ensure that we don't get an 
+# an asertion failure with -ddump-tc-trace
+T8129:
+	-'$(TEST_HC)' $(TEST_HC_OPTS) -c -ddump-tc-trace T8129.hs 2> T8129.trace
+	grep deduce T8129.trace
+
diff --git a/tests/indexed-types/should_fail/T8129.hs b/tests/indexed-types/should_fail/T8129.hs
new file mode 100644
index 0000000..0e9fb48
--- /dev/null
+++ b/tests/indexed-types/should_fail/T8129.hs
@@ -0,0 +1,9 @@
+{-# LANGUAGE MultiParamTypeClasses, TypeFamilies #-}
+
+module T8129 where
+
+type family F (x :: *) :: *
+
+class (y ~ F x) => C x y
+
+z = () :: C x y => ()
diff --git a/tests/indexed-types/should_fail/all.T b/tests/indexed-types/should_fail/all.T
index 5e48e4a..36872a3 100644
--- a/tests/indexed-types/should_fail/all.T
+++ b/tests/indexed-types/should_fail/all.T
@@ -111,3 +111,8 @@ test('T8227',
      extra_clean(['T8227a.o', 'T8227a.hi']),
      run_command,
      ['$MAKE -s --no-print-directory T8227'])
+test('T8129',
+     normal,
+     run_command,
+     ['$MAKE -s --no-print-directory T8129'])
+