7 Jul
2016
7 Jul
'16
5 p.m.
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