Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/24074aa23c9d3eb383938d45af5166cf21164682 >--------------------------------------------------------------- commit 24074aa23c9d3eb383938d45af5166cf21164682 Author: Simon Peyton Jones <[email protected]> Date: Sun Mar 4 09:04:05 2012 +0000 Test Trac #5912 >--------------------------------------------------------------- tests/polykinds/T5912.hs | 12 ++++++++++++ tests/polykinds/all.T | 2 +- 2 files changed, 13 insertions(+), 1 deletions(-) diff --git a/tests/polykinds/T5912.hs b/tests/polykinds/T5912.hs new file mode 100644 index 0000000..33c4195 --- /dev/null +++ b/tests/polykinds/T5912.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE DataKinds #-} + +-- This bug related to type trimming, and +-- hence showed up only with -O0 + +module Bug() where + +data UnaryTypeC a = UnaryDataC a + +type Bug = 'UnaryDataC + + diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 9ed6b92..55db073 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -26,4 +26,4 @@ test('T5770', normal, compile, ['']) test('T5771', normal, compile, ['']) test('T5717', normal, compile, ['']) test('T5862', normal, compile, ['']) - +test('T5912', normal, compile, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
