[commit: testsuite] master: Add testcase for #5948. (a318902)
Paolo Capriotti
p.capriotti at gmail.com
Fri Apr 6 16:05:37 CEST 2012
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/a31890292a180881c2a093367222dc9662e8857a
>---------------------------------------------------------------
commit a31890292a180881c2a093367222dc9662e8857a
Author: Paolo Capriotti <p.capriotti at gmail.com>
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, [''])
More information about the Cvs-ghc
mailing list