On Dec 28, 2008, at 9:59 AM, Marco Benelli wrote:

Argv is a list of command line arguments, as returned by (command- line) and it is mutate by removal of all parsed option. So, in "body", it is a list of non-option args.

I was going to say that mutating the list returned by (command-line) is possibly incorrect as the list may be immutable. But then I looked at your code and it does not mutate that list. So, never mind that. :-)

Aziz,,,

Reply via email to