On Thursday 07 July 2016 17:30:04 Richard W.M. Jones wrote:
- let curl_args =
- curl_args @
- if verbose () then []
- else if progress_bar then [ "progress-bar", None ]
- else quiet_args in
+ if verbose () then ()
+ else if progress_bar then push curl_args ("progress-bar", None)
+ else append curl_args quiet_args;
Hm this could be better as:
if not (verbose ()) then (
if progress_bar then push curl_args ("progress-bar", None)
else append curl_args quiet_args;
);
Thanks,
--
Pino Toscano