[commit: testsuite] master: Test Trac #7422 (6401a90)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/6401a905ad8de4720b2e189675b4a9162c482004

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

commit 6401a905ad8de4720b2e189675b4a9162c482004
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Nov 21 11:29:44 2012 +0000

    Test Trac #7422

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

 tests/polykinds/T7422.hs |   17 +++++++++++++++++
 tests/polykinds/all.T    |    1 +
 2 files changed, 18 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7422.hs b/tests/polykinds/T7422.hs
new file mode 100644
index 0000000..dbf9e12
--- /dev/null
+++ b/tests/polykinds/T7422.hs
@@ -0,0 +1,17 @@
+{-# LANGUAGE StandaloneDeriving, DataKinds, KindSignatures, DeriveGeneric, GADTs#-}
+
+module T7422 where
+
+import GHC.Generics
+
+type CellId = Int
+type Ident = String
+type LabelName = String
+
+data ExprTag = TagAst | TagEval
+
+data Expr (tag :: ExprTag) where
+  Var :: Ident -> Expr tag
+  Label :: LabelName -> Expr tag -> Expr tag
+
+deriving instance Generic (Expr a)
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index dc6bb53..869ccdc 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -77,4 +77,5 @@ test('T7328', normal, compile_fail,[''])
 test('T7332', normal, compile,[''])
 test('T7347', normal, compile_fail,[''])
 test('T7341', normal, compile_fail,[''])
+test('T7422', normal, compile,[''])