Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/a31890292a180881c2a093367222dc9662e8857a >--------------------------------------------------------------- commit a31890292a180881c2a093367222dc9662e8857a Author: Paolo Capriotti <[email protected]> Date: Fri Apr 6 15:05:08 2012 +0100 Add testcase for #5948. >--------------------------------------------------------------- tests/polykinds/T5948.hs | 7 +++++++ tests/polykinds/all.T | 3 +-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/tests/polykinds/T5948.hs b/tests/polykinds/T5948.hs new file mode 100644 index 0000000..06dfc4c --- /dev/null +++ b/tests/polykinds/T5948.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE DataKinds, TypeOperators #-} + +module T5948 where + +type Foo = (Int ': '[]) + +type Bar = Int ': '[] diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 7162b28..e8064f1 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -31,5 +31,4 @@ test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881']) test('T5716', normal, compile_fail, ['']) test('T5937', normal, compile, ['']) test('T5935', normal, compile, ['']) - - +test('T5948', normal, compile, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
