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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/e00f71ae63649971cc886f8414eaa1f1f9976a12

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

commit e00f71ae63649971cc886f8414eaa1f1f9976a12
Author: Simon Peyton Jones <simo...@microsoft.com>
Date:   Wed Oct 3 08:42:29 2012 +0100

    Test Trac #7272

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

 tests/polykinds/T7272.hs      |    7 +++++++
 tests/polykinds/T7272.hs-boot |    5 +++++
 tests/polykinds/T7272a.hs     |    5 +++++
 tests/polykinds/all.T         |    6 ++++--
 4 files changed, 21 insertions(+), 2 deletions(-)

diff --git a/tests/polykinds/T7272.hs b/tests/polykinds/T7272.hs
new file mode 100644
index 0000000..7589662
--- /dev/null
+++ b/tests/polykinds/T7272.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE PolyKinds #-}
+
+module T7272 where
+
+import T7272a
+
+class C (a :: k)
diff --git a/tests/polykinds/T7272.hs-boot b/tests/polykinds/T7272.hs-boot
new file mode 100644
index 0000000..fa46e1e
--- /dev/null
+++ b/tests/polykinds/T7272.hs-boot
@@ -0,0 +1,5 @@
+{-# LANGUAGE PolyKinds #-}
+
+module T7272 where
+
+class C (a :: k)
diff --git a/tests/polykinds/T7272a.hs b/tests/polykinds/T7272a.hs
new file mode 100644
index 0000000..3fe7677
--- /dev/null
+++ b/tests/polykinds/T7272a.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE PolyKinds #-}
+
+module T7272a where
+
+import {-# SOURCE #-} T7272
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index f2d2532..28be8d9 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -64,5 +64,7 @@ test('T7151', normal, compile_fail,[''])
 test('T7095', normal, compile,[''])
 test('T7090', normal, compile,[''])
 test('T7176', expect_broken(7176), compile,[''])
-
-
+test('T7272',
+     extra_clean(['T7272a.hi', 'T7272a.o']),
+     multimod_compile,
+     ['T7272.hs', '-v0'])



_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to