[commit: testsuite] master: Test Trac #7347 (85826e3)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/85826e3dd1e08b648e366f2d4c29599fc0c7ed6d

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

commit 85826e3dd1e08b648e366f2d4c29599fc0c7ed6d
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Oct 26 12:39:30 2012 +0100

    Test Trac #7347

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

 tests/polykinds/{Holdermans.hs => T7347.hs}        |    4 ++--
 .../polykinds/{Holdermans.stderr => T7347.stderr}  |    2 +-
 tests/polykinds/all.T                              |    2 ++
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/tests/polykinds/Holdermans.hs b/tests/polykinds/T7347.hs
similarity index 67%
copy from tests/polykinds/Holdermans.hs
copy to tests/polykinds/T7347.hs
index 59b1dae..4488a87 100644
--- a/tests/polykinds/Holdermans.hs
+++ b/tests/polykinds/T7347.hs
@@ -3,9 +3,9 @@
 {-# LANGUAGE GADTs                     #-}
 {-# LANGUAGE KindSignatures            #-}
 
-module Holdermans where
+module T7347 where
 
-data K = forall a. T a  -- promotion gives 'T :: * -> K                          
+data K = forall a. T a  -- promotion would give 'T :: forall k. k -> K                          
 
 data G :: K -> * where
   D :: G (T [])         -- kind error!
diff --git a/tests/polykinds/Holdermans.stderr b/tests/polykinds/T7347.stderr
similarity index 88%
copy from tests/polykinds/Holdermans.stderr
copy to tests/polykinds/T7347.stderr
index a491ab7..75b08b3 100644
--- a/tests/polykinds/Holdermans.stderr
+++ b/tests/polykinds/T7347.stderr
@@ -1,5 +1,5 @@
 
-Holdermans.hs:11:11:
+T7347.hs:11:11:
     `T' of type `forall a. a -> K' is not promotable
     In the type `G (T [])'
     In the definition of data constructor `D'
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 701538e..686562f 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -75,3 +75,5 @@ test('T7278', normal, compile_fail,[''])
 test('Holdermans', normal, compile_fail,[''])
 test('T7328', normal, compile_fail,[''])
 test('T7332', normal, compile,[''])
+test('T7347', normal, compile_fail,[''])
+