[commit: testsuite] master: Test Trac #6025 (169b3e3)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/169b3e390ffe92d907e15966ef13a2feed0e6055

>---------------------------------------------------------------

commit 169b3e390ffe92d907e15966ef13a2feed0e6055
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Apr 24 09:35:46 2012 +0100

    Test Trac #6025

>---------------------------------------------------------------

 tests/polykinds/Makefile  |    6 ++++++
 tests/polykinds/T6025.hs  |    5 +++++
 tests/polykinds/T6025a.hs |    6 ++++++
 tests/polykinds/all.T     |    1 +
 4 files changed, 18 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/Makefile b/tests/polykinds/Makefile
index 0ea3b68..9f3fb66 100644
--- a/tests/polykinds/Makefile
+++ b/tests/polykinds/Makefile
@@ -9,3 +9,9 @@ T5881:
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T5881a.hs
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T5881.hs
 
+# T6025 is like T5881; needs separat compile
+T6025:
+	$(RM) -f T6025.hi T6025.o T6025a.hi T6025a.o
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T6025a.hs
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T6025.hs
+
diff --git a/tests/polykinds/T6025.hs b/tests/polykinds/T6025.hs
new file mode 100644
index 0000000..8ed36fe
--- /dev/null
+++ b/tests/polykinds/T6025.hs
@@ -0,0 +1,5 @@
+module T6025 where
+
+import T6025a
+
+other = OTrue
diff --git a/tests/polykinds/T6025a.hs b/tests/polykinds/T6025a.hs
new file mode 100644
index 0000000..e1914b3
--- /dev/null
+++ b/tests/polykinds/T6025a.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE DataKinds, GADTs #-}
+module T6025a (Other (..)) where
+
+data Other a where
+  OTrue :: Other True
+  OFalse :: Other False
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 364b936..ae73e04 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -35,3 +35,4 @@ test('T5935', normal, compile, [''])
 test('T5938', normal, compile, [''])
 test('T5948', normal, compile, [''])
 test('T6020', normal, compile, [''])
+test('T6025', normal, run_command, ['$MAKE -s --no-print-directory T6025'])