[commit: ghc] master: Test #10321 in ghci/scripts/T10321 (d4cf559)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d4cf5591e51e2b91b3877a05f8153db1f5328994/ghc

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

commit d4cf5591e51e2b91b3877a05f8153db1f5328994
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Apr 23 16:57:34 2015 -0400

    Test #10321 in ghci/scripts/T10321


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

d4cf5591e51e2b91b3877a05f8153db1f5328994
 testsuite/tests/ghci/scripts/T10321.hs     | 14 ++++++++++++++
 testsuite/tests/ghci/scripts/T10321.script |  2 ++
 testsuite/tests/ghci/scripts/all.T         |  2 ++
 3 files changed, 18 insertions(+)

diff --git a/testsuite/tests/ghci/scripts/T10321.hs b/testsuite/tests/ghci/scripts/T10321.hs
new file mode 100644
index 0000000..44d264a
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T10321.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE DataKinds      #-}
+{-# LANGUAGE GADTs          #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE TypeOperators  #-}
+
+module T10321 where
+
+import GHC.TypeLits
+
+data Vec :: Nat -> * -> * where
+  Nil  :: Vec 0 a
+  (:>) :: a -> Vec n a -> Vec (n + 1) a
+
+infixr 5 :>
diff --git a/testsuite/tests/ghci/scripts/T10321.script b/testsuite/tests/ghci/scripts/T10321.script
new file mode 100644
index 0000000..1ec4792
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T10321.script
@@ -0,0 +1,2 @@
+:load T10321
+:t 3 :> 4 :> 5 :> Nil
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index 01de663..c562903 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -209,3 +209,5 @@ test('T9878b',
 test('T10122', normal, ghci_script, ['T10122.script'])
 test('T10322', when(opsys('darwin'), expect_broken(10322)),
     ghci_script, ['T10322.script'])
+
+test('T10321', expect_broken(10321), ghci_script, ['T10321.script'])