[commit: testsuite] master: Now that existential data constructors can be promoted T7347 passes (7ef55d7)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/7ef55d79afb28f61cce7bf62419022ceec4792e8

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

commit 7ef55d79afb28f61cce7bf62419022ceec4792e8
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Dec 5 11:09:18 2012 +0000

    Now that existential data constructors can be promoted T7347 passes
    
    And test 'Holdermans' was simply a duplicate

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

 tests/polykinds/Holdermans.hs     |   11 -----------
 tests/polykinds/Holdermans.stderr |    6 ------
 tests/polykinds/T7347.hs          |    4 ++--
 tests/polykinds/T7347.stderr      |    6 ------
 tests/polykinds/all.T             |    3 +--
 5 files changed, 3 insertions(+), 27 deletions(-)

diff --git a/tests/polykinds/Holdermans.hs b/tests/polykinds/Holdermans.hs
deleted file mode 100644
index 59b1dae..0000000
--- a/tests/polykinds/Holdermans.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-{-# LANGUAGE DataKinds                 #-}
-{-# LANGUAGE ExistentialQuantification #-}
-{-# LANGUAGE GADTs                     #-}
-{-# LANGUAGE KindSignatures            #-}
-
-module Holdermans where
-
-data K = forall a. T a  -- promotion gives 'T :: * -> K                          
-
-data G :: K -> * where
-  D :: G (T [])         -- kind error!
diff --git a/tests/polykinds/Holdermans.stderr b/tests/polykinds/Holdermans.stderr
deleted file mode 100644
index a491ab7..0000000
--- a/tests/polykinds/Holdermans.stderr
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Holdermans.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'
-    In the data declaration for `G'
diff --git a/tests/polykinds/T7347.hs b/tests/polykinds/T7347.hs
index 4488a87..dbc52f0 100644
--- a/tests/polykinds/T7347.hs
+++ b/tests/polykinds/T7347.hs
@@ -5,7 +5,7 @@
 
 module T7347 where
 
-data K = forall a. T a  -- promotion would give 'T :: forall k. k -> K                          
+data K = forall a. T a  -- Existential: promotion gives 'T :: forall k. k -> K                          
 
 data G :: K -> * where
-  D :: G (T [])         -- kind error!
+  D :: G (T [])         -- Uses existential
diff --git a/tests/polykinds/T7347.stderr b/tests/polykinds/T7347.stderr
deleted file mode 100644
index 75b08b3..0000000
--- a/tests/polykinds/T7347.stderr
+++ /dev/null
@@ -1,6 +0,0 @@
-
-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'
-    In the data declaration for `G'
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 74ba719..4dec1b4 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -72,10 +72,9 @@ test('T7224', normal, compile_fail,[''])
 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,[''])
-test('T7347', normal, compile_fail,[''])
+test('T7347', normal, compile,[''])
 test('T7341', normal, compile_fail,[''])
 test('T7422', normal, compile,[''])
 test('T7433', normal, compile_fail,[''])