Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/9b08098a61246c2305a3bdcfa0ab3e8b1e512fca >--------------------------------------------------------------- commit 9b08098a61246c2305a3bdcfa0ab3e8b1e512fca Author: Simon Peyton Jones <[email protected]> Date: Fri Mar 16 15:05:54 2012 +0000 Test Trac #5935 >--------------------------------------------------------------- tests/polykinds/T5935.hs | 13 +++++++++++++ tests/polykinds/all.T | 2 ++ 2 files changed, 15 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T5935.hs b/tests/polykinds/T5935.hs new file mode 100644 index 0000000..3f9184d --- /dev/null +++ b/tests/polykinds/T5935.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE PolyKinds, + GADTs, + DataKinds, + KindSignatures + #-} + +module T5935 where + +data SList a where + SNil :: SList '[] + +x :: SList ('[] :: [Bool]) +x = SNil diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index d415a76..7162b28 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -30,4 +30,6 @@ test('T5912', normal, compile, ['']) test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881']) test('T5716', normal, compile_fail, ['']) test('T5937', normal, compile, ['']) +test('T5935', normal, compile, ['']) + _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
