[commit: ghc] master: Test #9085. (f502617)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/f502617065c8716a062c83fc923c3b3a2395c4a8/ghc

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

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

    Test #9085.


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

f502617065c8716a062c83fc923c3b3a2395c4a8
 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, [''])