Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/7d8a6f6678668e9cbaf45286aecf77f92b6f4b4a >--------------------------------------------------------------- commit 7d8a6f6678668e9cbaf45286aecf77f92b6f4b4a Author: Simon Peyton Jones <[email protected]> Date: Wed Apr 25 15:33:33 2012 +0100 Test Trac #6021 >--------------------------------------------------------------- tests/polykinds/T6021.hs | 5 +++++ tests/polykinds/T6021.stderr | 5 +++++ tests/polykinds/all.T | 1 + 3 files changed, 11 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T6021.hs b/tests/polykinds/T6021.hs new file mode 100644 index 0000000..5bbd0b6 --- /dev/null +++ b/tests/polykinds/T6021.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE KindSignatures, MultiParamTypeClasses #-} +module T6021 where + +class Panic a b +instance Panic (a :: b) b diff --git a/tests/polykinds/T6021.stderr b/tests/polykinds/T6021.stderr new file mode 100644 index 0000000..d601906 --- /dev/null +++ b/tests/polykinds/T6021.stderr @@ -0,0 +1,5 @@ + +T6021.hs:5:22: + Type variable `b' used as a kind + In the kind `b' + In the instance declaration for `Panic (a :: b) b' diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 6cd12cc..92f6414 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -40,3 +40,4 @@ test('T6036', normal, compile, ['']) test('T6025', normal, run_command, ['$MAKE -s --no-print-directory T6025']) test('T6002', normal, compile, ['']) test('T6039', normal, compile_fail, ['']) +test('T6021', normal, compile_fail, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
