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