Removing spurious file
This commit is contained in:
parent
0944820dba
commit
fa6d3faec2
28
ISSUE336.md
28
ISSUE336.md
@ -1,28 +0,0 @@
|
|||||||
https://github.com/kazu-yamamoto/ghc-mod/issues/336
|
|
||||||
|
|
||||||
```
|
|
||||||
{-# LANGUAGE DataKinds, TypeFamilies, TypeOperators, GADTs, KindSignatures #-}
|
|
||||||
|
|
||||||
module Vect where
|
|
||||||
|
|
||||||
data Nat = Z | S Nat
|
|
||||||
|
|
||||||
type family (n :: Nat) :+ (m :: Nat) :: Nat
|
|
||||||
type instance Z :+ m = m
|
|
||||||
type instance S n :+ m = S (n :+ m)
|
|
||||||
|
|
||||||
data Vect :: Nat -> * -> * where
|
|
||||||
VNil :: Vect Z a
|
|
||||||
(:::) :: a -> Vect n a -> Vect (S n) a
|
|
||||||
|
|
||||||
vAppend :: Vect n a -> Vect m a -> Vect (n :+ m) a
|
|
||||||
vAppend x y = _vAppend_body
|
|
||||||
|
|
||||||
lAppend :: [a] -> [a] -> [a]
|
|
||||||
lAppend x y = _lAppend_body
|
|
||||||
|
|
||||||
data MyList a = Nil | Cons a (MyList a)
|
|
||||||
|
|
||||||
mlAppend :: MyList a -> MyList a -> MyList a
|
|
||||||
mlAppend x y = _mlAppend_body
|
|
||||||
```
|
|
Loading…
Reference in New Issue
Block a user