From f201377ae801382856a44f769d396980a84184b8 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sun, 1 Mar 2015 00:52:11 +0600
Subject: Move the source files back to src/ Splitting directories was a bit
premature and unnecessary.
---
src/vylist/vylist.ml | 17 -----------------
src/vylist/vylist.mli | 3 ---
2 files changed, 20 deletions(-)
delete mode 100644 src/vylist/vylist.ml
delete mode 100644 src/vylist/vylist.mli
(limited to 'src/vylist')
diff --git a/src/vylist/vylist.ml b/src/vylist/vylist.ml
deleted file mode 100644
index c7d0396..0000000
--- a/src/vylist/vylist.ml
+++ /dev/null
@@ -1,17 +0,0 @@
-let rec find p xs =
- match xs with
- | [] -> None
- | x :: xs' -> if (p x) then (Some x)
- else find p xs'
-
-let rec remove p xs =
- match xs with
- | [] -> []
- | x :: xs' -> if (p x) then xs'
- else x :: (remove p xs)
-
-let rec replace p x xs=
- match xs with
- | [] -> []
- | x' :: xs' -> if (p x') then x :: xs'
- else x' :: (replace p x xs')
diff --git a/src/vylist/vylist.mli b/src/vylist/vylist.mli
deleted file mode 100644
index 266ec95..0000000
--- a/src/vylist/vylist.mli
+++ /dev/null
@@ -1,3 +0,0 @@
-val find : ('a -> bool) -> 'a list -> 'a option
-val remove : ('a -> bool) -> 'a list -> 'a list
-val replace : ('a -> bool) -> 'a -> 'a list -> 'a list
--
cgit v1.2.3