Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/34ebb9f5856c8d0c5e3729337706396addb1ed90 >--------------------------------------------------------------- commit 34ebb9f5856c8d0c5e3729337706396addb1ed90 Author: Simon Peyton Jones <[email protected]> Date: Tue Mar 13 23:43:51 2012 +0000 Test Trac #5937 >--------------------------------------------------------------- tests/polykinds/T5937.hs | 6 ++++++ tests/polykinds/all.T | 1 + 2 files changed, 7 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T5937.hs b/tests/polykinds/T5937.hs new file mode 100644 index 0000000..20bc59e --- /dev/null +++ b/tests/polykinds/T5937.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE PolyKinds, KindSignatures, DataKinds, GADTs #-} +module T5937 where + +data SMaybe :: (k -> *) -> Maybe k -> * where + SNothing :: SMaybe s 'Nothing + SJust :: s a -> SMaybe s ('Just a) diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 5767f8c..d415a76 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -29,4 +29,5 @@ test('T5862', normal, compile, ['']) test('T5912', normal, compile, ['']) test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881']) test('T5716', normal, compile_fail, ['']) +test('T5937', normal, compile, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
