diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-04-23 16:57:34 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-04-24 17:00:42 -0400 |
| commit | d4cf5591e51e2b91b3877a05f8153db1f5328994 (patch) | |
| tree | 055b78e9a3726a689661be886e11553d568c052d /testsuite/tests/ghci/scripts/T10321.hs | |
| parent | 414e20bc7f5166d020ace3d92cd605e121d5eb3c (diff) | |
| download | haskell-d4cf5591e51e2b91b3877a05f8153db1f5328994.tar.gz | |
Test #10321 in ghci/scripts/T10321
Diffstat (limited to 'testsuite/tests/ghci/scripts/T10321.hs')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T10321.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T10321.hs b/testsuite/tests/ghci/scripts/T10321.hs new file mode 100644 index 0000000000..44d264a801 --- /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 :> |