Repository : ssh://g...@git.haskell.org/testsuite
On branch : master
Link :
http://ghc.haskell.org/trac/ghc/changeset/d16da2f376d5994add04ba8e5b2fac4bc91f8e68/testsuite
>---------------------------------------------------------------
commit d16da2f376d5994add04ba8e5b2fac4bc91f8e68
Author: Simon Peyton Jones <simo...@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, [''])
_______________________________________________
ghc-commits mailing list
ghc-commits@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-commits
