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 <simo...@microsoft.com> 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,['']) _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc