diff options
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/util.ml b/src/util.ml index 94caf9fc..a627fd58 100644 --- a/src/util.ml +++ b/src/util.ml @@ -387,7 +387,12 @@ let is_none opt = not (is_some opt) let rec take n xs = match n, xs with | 0, _ -> [] | n, [] -> [] - | n, (x :: xs) -> x :: take (n - 1) xs + | n, (x :: xs) -> x :: take (n - 1) xs + +let rec drop n xs = match n, xs with + | 0, xs -> xs + | n, [] -> [] + | n, (x :: xs) -> drop (n - 1) xs let termcode n = if !opt_colors then |