diff options
author | Son Ho | 2021-11-26 16:23:55 +0100 |
---|---|---|
committer | Son Ho | 2021-11-26 16:23:55 +0100 |
commit | 5199cbff57e479f9211d0795c8caff23f3305086 (patch) | |
tree | d63ae53d87989d6b20fdcb5d454dfdf91d141d5f /src/Utilities.ml | |
parent | a80f355d4947e73409c193e23c436b1e197cdfcc (diff) |
Make good progress on eval_local_function_call
Diffstat (limited to 'src/Utilities.ml')
-rw-r--r-- | src/Utilities.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Utilities.ml b/src/Utilities.ml index 84cbd6e9..6452d56f 100644 --- a/src/Utilities.ml +++ b/src/Utilities.ml @@ -1,6 +1,7 @@ -(* Split a list at a given index i (the first list contains all the elements - up to element of index i, not included, the second one contains the remaining - elements *) +(* Split a list at a given index [i] (the first list contains all the elements + up to element of index [i], not included, the second one contains the remaining + elements. Note that the first returned list has length [i]. + *) let rec list_split_at (ls : 'a list) (i : int) = if i < 0 then raise (Invalid_argument "list_split_at take positive integers") else if i = 0 then ([], ls) |