[commit: testsuite] master: Test Trac #7328 and #7332 (8613162)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/8613162d8765e9983b278c81baeb5f92d371dc38

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

commit 8613162d8765e9983b278c81baeb5f92d371dc38
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Oct 26 12:31:55 2012 +0100

    Test Trac #7328 and #7332

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

 tests/polykinds/T7328.hs                           |    8 ++++++++
 tests/polykinds/T7328.stderr                       |    7 +++++++
 .../should_compile => polykinds}/T7332.hs          |   12 ++----------
 tests/polykinds/all.T                              |    2 ++
 4 files changed, 19 insertions(+), 10 deletions(-)

diff --git a/tests/polykinds/T7328.hs b/tests/polykinds/T7328.hs
new file mode 100644
index 0000000..3e51875
--- /dev/null
+++ b/tests/polykinds/T7328.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE PolyKinds, GADTs #-}
+
+module T7328 where
+
+data Proxy a
+
+class Foo a where
+    foo :: a ~ f i => Proxy (Foo f)
diff --git a/tests/polykinds/T7328.stderr b/tests/polykinds/T7328.stderr
new file mode 100644
index 0000000..6151c5a
--- /dev/null
+++ b/tests/polykinds/T7328.stderr
@@ -0,0 +1,7 @@
+
+T7328.hs:8:34:
+    Kind occurs check
+    The first argument of `Foo' should have kind `k0',
+      but `f' has kind `k1 -> k0'
+    In the type `a ~ f i => Proxy (Foo f)'
+    In the class declaration for `Foo'
diff --git a/tests/indexed-types/should_compile/T7332.hs b/tests/polykinds/T7332.hs
similarity index 76%
copy from tests/indexed-types/should_compile/T7332.hs
copy to tests/polykinds/T7332.hs
index 0649741..647dd93 100644
--- a/tests/indexed-types/should_compile/T7332.hs
+++ b/tests/polykinds/T7332.hs
@@ -4,11 +4,10 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE MagicHash #-}
 
-module Oleg where
+module T7332 where
 
-import GHC.Exts hiding( build )
+import GHC.Exts( IsString(..) )
 import Data.Monoid
 
 newtype DC d = DC d
@@ -37,13 +36,6 @@ tspan = build (id :: DC d -> DC d) mempty
 
 foo = tspan "aa"
 
-{-  Need (Monoid d, Build (DC d) (a -> t), BuildR (a -> t) ~ DC d, IsString a)
-
-BuildR (a -> t) = BuildR t
-Build (DC d) (a -> t) ===>  (Build (DC d) t, a ~ DC d)
-
- -}
-
 foo1 = tspan (tspan "aa")
 
 bar = tspan "aa" :: DC String
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 33f8ffe..701538e 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -73,3 +73,5 @@ test('T7230', normal, compile_fail,[''])
 test('T7238', normal, compile,[''])
 test('T7278', normal, compile_fail,[''])
 test('Holdermans', normal, compile_fail,[''])
+test('T7328', normal, compile_fail,[''])
+test('T7332', normal, compile,[''])