commit deletes
This commit is contained in:
parent
776bba907c
commit
372c577f83
233 changed files with 0 additions and 6724 deletions
|
|
@ -1,9 +0,0 @@
|
|||
let rec select choices prompt = (* "choices" is an array of strings *)
|
||||
if Array.length choices = 0 then invalid_arg "no choices";
|
||||
Array.iteri (Printf.printf "%d: %s\n") choices;
|
||||
print_string prompt;
|
||||
let index = read_int () in
|
||||
if index >= 0 && index < Array.length choices then
|
||||
choices.(index)
|
||||
else
|
||||
select choices prompt
|
||||
Loading…
Add table
Add a link
Reference in a new issue