[commit: testsuite] master: Test Trac #7278 (f8b2b8f)

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

On branch  : master

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

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

commit f8b2b8fde595c7c5a432bac9df98d97099463fa1
Author: Simon Peyton Jones <[email protected]>
Date:   Tue Oct 2 17:14:42 2012 +0100

    Test Trac #7278

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

 tests/polykinds/T7278.hs     |    9 +++++++++
 tests/polykinds/T7278.stderr |    5 +++++
 tests/polykinds/all.T        |    1 +
 3 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7278.hs b/tests/polykinds/T7278.hs
new file mode 100644
index 0000000..d43e60c
--- /dev/null
+++ b/tests/polykinds/T7278.hs
@@ -0,0 +1,9 @@
+{-# LANGUAGE TypeFamilies, PolyKinds, MultiParamTypeClasses #-}
+module T7278 where
+ 
+type family TF (t  :: k) :: * -> * -> *
+
+class C (t :: k) (dcs :: * -> * -> *)
+
+f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0
+f = undefined -- panic caused by (t :: k) in the signature's context
diff --git a/tests/polykinds/T7278.stderr b/tests/polykinds/T7278.stderr
new file mode 100644
index 0000000..96f8dd7
--- /dev/null
+++ b/tests/polykinds/T7278.stderr
@@ -0,0 +1,5 @@
+
+T7278.hs:8:43:
+    `t' is applied to too many type arguments
+    In the type signature for `f':
+      f :: C (t :: k) (TF t) => TF t p1 p0 -> t p1 p0
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index b6d193f..dc9ab14 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -67,5 +67,6 @@ test('T7176', normal, compile,[''])
 test('T7224', normal, compile_fail,[''])
 test('T7230', normal, compile_fail,[''])
 test('T7238', normal, compile,[''])
+test('T7278', normal, compile_fail,[''])