[commit: testsuite] master: Test Trac #7524 (bacd25d)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/bacd25d94cac74d1100b8350c00c7876e2fbcf03

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

commit bacd25d94cac74d1100b8350c00c7876e2fbcf03
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jan 28 21:04:23 2013 +0000

    Test Trac #7524

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

 tests/polykinds/T7524.hs     |    6 ++++++
 tests/polykinds/T7524.stderr |    5 +++++
 tests/polykinds/all.T        |    1 +
 3 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7524.hs b/tests/polykinds/T7524.hs
new file mode 100644
index 0000000..52b2428
--- /dev/null
+++ b/tests/polykinds/T7524.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE TypeFamilies, PolyKinds #-}
+module T7524 where
+
+type family F (a :: k1) (b :: k2)
+type instance F a a = Int
+type instance F a b = Bool
diff --git a/tests/polykinds/T7524.stderr b/tests/polykinds/T7524.stderr
new file mode 100644
index 0000000..5d90959
--- /dev/null
+++ b/tests/polykinds/T7524.stderr
@@ -0,0 +1,5 @@
+
+T7524.hs:5:15:
+    Conflicting family instance declarations:
+      F k k a a -- Defined at T7524.hs:5:15
+      F k k1 a b -- Defined at T7524.hs:6:15
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index d84048f..575c43e 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -83,3 +83,4 @@ test('T7404', normal, compile_fail,[''])
 test('T7502', normal, compile,[''])
 test('T7488', normal, compile,[''])
 test('T7594', normal, compile_fail,[''])
+test('T7524', normal, compile_fail,[''])