[commit: testsuite] master: Test Trac #8391 (d16da2f)

[git at git.haskell.org]

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

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

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

commit d16da2f376d5994add04ba8e5b2fac4bc91f8e68
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 3 12:10:38 2013 +0100

    Test Trac #8391


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

d16da2f376d5994add04ba8e5b2fac4bc91f8e68
 tests/polykinds/T8391.hs |   11 +++++++++++
 tests/polykinds/all.T    |    1 +
 2 files changed, 12 insertions(+)

diff --git a/tests/polykinds/T8391.hs b/tests/polykinds/T8391.hs
new file mode 100644
index 0000000..0e00a82
--- /dev/null
+++ b/tests/polykinds/T8391.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE FunctionalDependencies, FlexibleInstances, 
+             TypeFamilies,
+             PolyKinds #-}
+
+module T8391 where
+
+type  Foo a = a
+
+class Bar a b | a -> b
+
+instance Bar a (Foo a)
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 6ba9442..2f397d7 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -91,3 +91,4 @@ test('T7973', normal, compile,['-O'])
 test('T7939a', normal, compile_fail, [''])
 test('T8132', normal, compile_fail, [''])
 test('T8359', normal, compile, [''])
+test('T8391', normal, compile, [''])