Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/72a7e82a91320e5f3f1d0ce5d894db3422c2365f >--------------------------------------------------------------- commit 72a7e82a91320e5f3f1d0ce5d894db3422c2365f Author: Simon Peyton Jones <[email protected]> Date: Tue Apr 24 16:50:57 2012 +0100 Test Trac #6039 >--------------------------------------------------------------- tests/polykinds/T6039.hs | 6 ++++++ tests/polykinds/T6039.stderr | 5 +++++ tests/polykinds/all.T | 1 + 3 files changed, 12 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T6039.hs b/tests/polykinds/T6039.hs new file mode 100644 index 0000000..8e66446 --- /dev/null +++ b/tests/polykinds/T6039.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE PolyKinds, KindSignatures #-} + +module Foo where + +data T (a :: j k) = MkT + diff --git a/tests/polykinds/T6039.stderr b/tests/polykinds/T6039.stderr new file mode 100644 index 0000000..efa4c51 --- /dev/null +++ b/tests/polykinds/T6039.stderr @@ -0,0 +1,5 @@ + +T6039.hs:5:14: + Kind variable `j' cannot appear in a function position + In the kind `j k' + In the data declaration for `T' diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 44a1703..a7df2c9 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -37,3 +37,4 @@ test('T5948', normal, compile, ['']) test('T6020', normal, compile, ['']) test('T6025', normal, run_command, ['$MAKE -s --no-print-directory T6025']) test('T6002', normal, compile, ['']) +test('T6039', normal, compile_fail, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
