[commit: testsuite] master: Test Trac #7280 (87425b2)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/87425b2781f49f954b61783361be8bbfa560dc99

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

commit 87425b2781f49f954b61783361be8bbfa560dc99
Author: Simon Peyton Jones <[email protected]>
Date:   Mon Oct 8 08:36:58 2012 +0100

    Test Trac #7280

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

 tests/indexed-types/should_compile/T7280.hs |   13 +++++++++++++
 tests/indexed-types/should_compile/all.T    |    1 +
 2 files changed, 14 insertions(+), 0 deletions(-)

diff --git a/tests/indexed-types/should_compile/T7280.hs b/tests/indexed-types/should_compile/T7280.hs
new file mode 100644
index 0000000..daa391b
--- /dev/null
+++ b/tests/indexed-types/should_compile/T7280.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE Rank2Types, MultiParamTypeClasses, FlexibleContexts,
+   TypeFamilies, ScopedTypeVariables #-}
+
+module T7280 where
+
+type family Mutable (v :: * -> *) :: * -> * -> *
+class MVector (v :: * -> * -> *) a
+class MVector (Mutable v) a => Vector v a where
+   copy :: Monad m => Mutable v s a -> v a -> m ()
+
+data Chunk v s a = Chunk (forall m. (Monad m, Vector v a) => Mutable v s a -> m ())
+
+vstep (v:vs) = Chunk (\mv -> copy mv v)
diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index b005962..067415d 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -199,5 +199,6 @@ test('T7082', normal, compile, [''])
 test('T7156', normal, compile, [''])
 test('T5591a', normal, compile, [''])
 test('T5591b', normal, compile, [''])
+test('T7280', normal, compile, [''])