[commit: ghc] ghc-7.8: Test #9085. (87e6123)

[git at git.haskell.org]

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

On branch  : ghc-7.8
Link       : http://ghc.haskell.org/trac/ghc/changeset/87e6123dad5c43921a8c5bde712904be9245febd/ghc

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

commit 87e6123dad5c43921a8c5bde712904be9245febd
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jun 11 08:29:27 2014 -0400

    Test #9085.
    
    (cherry picked from commit f502617065c8716a062c83fc923c3b3a2395c4a8)


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

87e6123dad5c43921a8c5bde712904be9245febd
 testsuite/tests/indexed-types/should_compile/T9085.hs     | 7 +++++++
 testsuite/tests/indexed-types/should_compile/T9085.stderr | 4 ++++
 testsuite/tests/indexed-types/should_compile/all.T        | 1 +
 3 files changed, 12 insertions(+)

diff --git a/testsuite/tests/indexed-types/should_compile/T9085.hs b/testsuite/tests/indexed-types/should_compile/T9085.hs
new file mode 100644
index 0000000..13c9321
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_compile/T9085.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TypeFamilies #-}
+
+module T9085 where
+
+type family F a where
+  F a = Int
+  F Bool = Bool
diff --git a/testsuite/tests/indexed-types/should_compile/T9085.stderr b/testsuite/tests/indexed-types/should_compile/T9085.stderr
new file mode 100644
index 0000000..ee968e0
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_compile/T9085.stderr
@@ -0,0 +1,4 @@
+
+T9085.hs:7:3: Warning:
+    Overlapped type family instance equation:
+      F Bool = Bool
diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T
index 5f30446..7c41be8 100644
--- a/testsuite/tests/indexed-types/should_compile/all.T
+++ b/testsuite/tests/indexed-types/should_compile/all.T
@@ -243,3 +243,4 @@ test('T8889', normal, compile, [''])
 test('T8913', normal, compile, [''])
 test('T8978', normal, compile, [''])
 test('T8979', normal, compile, [''])
+test('T9085', normal, compile, [''])