From fa6d3faec2ba5a17b759a37fda407c57edc873c2 Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Sat, 23 Aug 2014 16:22:23 +0200 Subject: [PATCH] Removing spurious file --- ISSUE336.md | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 ISSUE336.md diff --git a/ISSUE336.md b/ISSUE336.md deleted file mode 100644 index 39e8e7f..0000000 --- a/ISSUE336.md +++ /dev/null @@ -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 -```