Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/88dcff88f3f4a81672ecd902145e4f5338617e5f >--------------------------------------------------------------- commit 88dcff88f3f4a81672ecd902145e4f5338617e5f Author: Jose Pedro Magalhaes <j...@cs.ox.ac.uk> Date: Wed Nov 21 13:18:58 2012 +0000 Add regression test for #7433 >--------------------------------------------------------------- tests/polykinds/T7433.hs | 2 ++ tests/polykinds/T7433.stderr | 6 ++++++ tests/polykinds/all.T | 1 + 3 files changed, 9 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T7433.hs b/tests/polykinds/T7433.hs new file mode 100644 index 0000000..bb5d84c --- /dev/null +++ b/tests/polykinds/T7433.hs @@ -0,0 +1,2 @@ +data N = Z +type T = 'Z diff --git a/tests/polykinds/T7433.stderr b/tests/polykinds/T7433.stderr new file mode 100644 index 0000000..8f80b9e --- /dev/null +++ b/tests/polykinds/T7433.stderr @@ -0,0 +1,6 @@ + +T7433.hs:2:10: + Data constructor `Z' cannot be used here + (Perhaps you intended to use -XDataKinds) + In the type `Z' + In the type declaration for `T' diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 869ccdc..af25e6d 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -78,4 +78,5 @@ test('T7332', normal, compile,['']) test('T7347', normal, compile_fail,['']) 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
