[commit: testsuite] master: Add new testcase for Trac #7560. (0b4b7a9)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/0b4b7a9480b4ba5f7b7019a611e51c8ec4b4b31c

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

commit 0b4b7a9480b4ba5f7b7019a611e51c8ec4b4b31c
Author: Richard Eisenberg <[email protected]>
Date:   Tue Jan 8 23:31:55 2013 -0500

    Add new testcase for Trac #7560.

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

 tests/indexed-types/should_fail/T7560.hs     |   13 +++++++++++++
 tests/indexed-types/should_fail/T7560.stderr |    5 +++++
 tests/indexed-types/should_fail/all.T        |    2 ++
 3 files changed, 20 insertions(+), 0 deletions(-)

diff --git a/tests/indexed-types/should_fail/T7560.hs b/tests/indexed-types/should_fail/T7560.hs
new file mode 100644
index 0000000..0176c5a
--- /dev/null
+++ b/tests/indexed-types/should_fail/T7560.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE TypeFamilies #-}
+
+module T7560 where
+
+type family F a
+
+type instance where
+  F Int = Int
+  F Bool = Bool
+
+type instance where
+  F Int = Char
+  F Double = Double
\ No newline at end of file
diff --git a/tests/indexed-types/should_fail/T7560.stderr b/tests/indexed-types/should_fail/T7560.stderr
new file mode 100644
index 0000000..e382fb3
--- /dev/null
+++ b/tests/indexed-types/should_fail/T7560.stderr
@@ -0,0 +1,5 @@
+
+T7560.hs:8:3:
+    Conflicting family instance declarations:
+      F Int -- Defined at T7560.hs:8:3
+      F Int -- Defined at T7560.hs:12:3
diff --git a/tests/indexed-types/should_fail/all.T b/tests/indexed-types/should_fail/all.T
index 4cd78ce..316e1ff 100644
--- a/tests/indexed-types/should_fail/all.T
+++ b/tests/indexed-types/should_fail/all.T
@@ -94,3 +94,5 @@ test('T7354a',
      run_command,
      ['$MAKE -s --no-print-directory T7354a'])
 test('T7536', normal, compile_fail, [''])
+
+test('T7560', normal, compile_fail, [''])
\ No newline at end of file