Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/9fd62d315ae18a49f0f8e75c2b643b0a84053fcd >--------------------------------------------------------------- commit 9fd62d315ae18a49f0f8e75c2b643b0a84053fcd Author: Simon Peyton Jones <[email protected]> Date: Wed Feb 1 16:47:54 2012 +0000 Test Trac #5798 >--------------------------------------------------------------- tests/polykinds/T5798.hs | 8 ++++++++ tests/polykinds/all.T | 2 ++ 2 files changed, 10 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T5798.hs b/tests/polykinds/T5798.hs new file mode 100644 index 0000000..68f543b --- /dev/null +++ b/tests/polykinds/T5798.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE PolyKinds #-} + +module T5798 where + +data Proxy t = ProxyC + +test :: Proxy '[Int, Bool] +test = ProxyC diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 2604925..7cb6d89 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -16,3 +16,5 @@ test('PolyKinds06', normal, compile_fail, ['']) test('PolyKinds07', normal, compile_fail, ['']) test('PolyKinds12', expect_fail, compile, ['']) + +test('T5798', normal, compile, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
