10 lines
265 B
Text
10 lines
265 B
Text
|
|
let select ?(prompt="Choice? ") = function
|
||
|
|
| [] -> ""
|
||
|
|
| choices ->
|
||
|
|
let rec menu () =
|
||
|
|
List.iteri (Printf.printf "%d: %s\n") choices;
|
||
|
|
print_string prompt;
|
||
|
|
try List.nth choices (read_int ())
|
||
|
|
with _ -> menu ()
|
||
|
|
in menu ()
|