summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-04-13 20:13:18 +0600
committerDaniil Baturin <daniil@baturin.org>2015-04-13 20:13:18 +0600
commit31bca45f76ac5618781d8e7e3149d7415cbefc7e (patch)
treecc800d1ea31267b1cb72c0b3301ac56882cd05e8 /src
parent7fd7552fd0d912d3b2e5685a42c19cd7557a3ac9 (diff)
downloadvyconf-31bca45f76ac5618781d8e7e3149d7415cbefc7e.tar.gz
vyconf-31bca45f76ac5618781d8e7e3149d7415cbefc7e.zip
Don't multiply apostrophes without a strong need.
Diffstat (limited to 'src')
-rw-r--r--src/vylist.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/vylist.ml b/src/vylist.ml
index 3842076..ec04055 100644
--- a/src/vylist.ml
+++ b/src/vylist.ml
@@ -1,20 +1,20 @@
let rec find p xs =
match xs with
| [] -> None
- | x :: xs' -> if (p x) then (Some x)
- else find p xs'
+ | y :: ys -> if (p y) then (Some y)
+ else find p ys
let rec remove p xs =
match xs with
| [] -> []
- | x :: xs' -> if (p x) then xs'
- else x :: (remove p xs')
+ | y :: ys -> if (p y) then ys
+ else y :: (remove p ys)
let rec replace p x xs =
match xs with
| [] -> raise Not_found
- | x' :: xs' -> if (p x') then x :: xs'
- else x' :: (replace p x xs')
+ | y :: ys -> if (p y) then x :: ys
+ else y :: (replace p x ys)
let rec insert_before p x xs =
match xs with