Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/a34b682a09ed8ea5e78866179ffab4452ef60cb9 >--------------------------------------------------------------- commit a34b682a09ed8ea5e78866179ffab4452ef60cb9 Author: Simon Peyton Jones <[email protected]> Date: Mon Mar 5 17:10:33 2012 +0000 Test Trac #5716 >--------------------------------------------------------------- tests/polykinds/T5716.hs | 13 +++++++++++++ tests/polykinds/T5716.stderr | 6 ++++++ tests/polykinds/all.T | 1 + 3 files changed, 20 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T5716.hs b/tests/polykinds/T5716.hs new file mode 100644 index 0000000..572de5e --- /dev/null +++ b/tests/polykinds/T5716.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE TypeFamilies #-} +{-# LANGUAGE PolyKinds, DataKinds #-} + +module T5716 where + + +data family DF a +data instance DF Int = DFInt + +data U = U1 (DF Int) + +data I :: U -> * where I1 :: I (U1 DFInt) diff --git a/tests/polykinds/T5716.stderr b/tests/polykinds/T5716.stderr new file mode 100644 index 0000000..8839856 --- /dev/null +++ b/tests/polykinds/T5716.stderr @@ -0,0 +1,6 @@ + +T5716.hs:13:33: + `U1' of type `DF * Int -> U' is not promotable + In the type `I (U1 DFInt)' + In the definition of data constructor `I1' + In the data type declaration for `I' diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index a13ca64..5767f8c 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -28,4 +28,5 @@ test('T5717', normal, compile, ['']) test('T5862', normal, compile, ['']) test('T5912', normal, compile, ['']) test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881']) +test('T5716', normal, compile_fail, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
