Test #10321 in ghci/scripts/T10321

ezyang · Apr 24, 2015 · d4cf559 · d4cf559
1 parent 414e20b
commit d4cf559
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 0 deletions.
diff --git a/testsuite/tests/ghci/scripts/T10321.hs 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
@@ -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
@@ -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'])