Test #10321 in ghci/scripts/T10321
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 23 Apr 2015 20:57:34 +0000 (16:57 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 24 Apr 2015 21:00:42 +0000 (17:00 -0400)
testsuite/tests/ghci/scripts/T10321.hs [new file with mode: 0644]
testsuite/tests/ghci/scripts/T10321.script [new file with mode: 0644]
testsuite/tests/ghci/scripts/all.T

diff --git a/testsuite/tests/ghci/scripts/T10321.hs b/testsuite/tests/ghci/scripts/T10321.hs
new file mode 100644 (file)
index 0000000..44d264a
--- /dev/null
@@ -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 (file)
index 0000000..1ec4792
--- /dev/null
@@ -0,0 +1,2 @@
+:load T10321
+:t 3 :> 4 :> 5 :> Nil
index 01de663..c562903 100755 (executable)
@@ -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'])