Commit d4cf5591 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #10321 in ghci/scripts/T10321

parent 414e20bc
{-# 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 :>
:load T10321
:t 3 :> 4 :> 5 :> Nil
......@@ -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'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment