On lance les commandes de gauche à droite en ignorant le code de retour de la précédente. Le code de retour est celui de la dernière commande ou zéro si la liste est vide. L'itérateur
fold_left
fait parfaitement le travail.
let
command_seq
cmd_arg_list
=
List
.
fold_left
(
fun
acc
(
cmd
,
args
) ->
command_wait
cmd
args
)
0
cmd_arg_list
;;