Re: Making a list argument reliably optional

2019-08-21 Thread David Kastrup
Robin Bannister writes: > David Kastrup wrote: > >> Could you please post an actual minimal example we >> could talk about usefully? > > OK. I'm moving, but unsure of the direction. > > notnumber.ly is a complete instance of trying to be more specific. > It breaks at 2.19.39. That would likely

Re: Making a list argument reliably optional

2019-08-21 Thread Robin Bannister
David Kastrup wrote: Could you please post an actual minimal example we could talk about usefully? OK. I'm moving, but unsure of the direction. notnumber.ly is a complete instance of trying to be more specific. It breaks at 2.19.39. Cheers, Robin % versions 2.18.2 through 2.19.38 ok % ve

Re: Making a list argument reliably optional

2019-08-21 Thread David Kastrup
Robin Bannister writes: > David Kastrup wrote: > >> So your examples are much too generic to give advice. It's likely that >> you can solve your problem by using a much more specific predicate than >> list? unless the form of list that you want to admit really needs to >> allow something like a

Re: Making a list argument reliably optional

2019-08-21 Thread Robin Bannister
David Kastrup wrote: So your examples are much too generic to give advice. It's likely that you can solve your problem by using a much more specific predicate than list? unless the form of list that you want to admit really needs to allow something like a single-element string list. Well no,

Re: Making a list argument reliably optional

2019-08-21 Thread David Kastrup
Robin Bannister writes: > Hallo all > > I'm having unexpected problems with a music function. > It takes several arguments, the first of which expects a list, > and should be optional. > > Today it tripped up when run with a late 2.19 version and I narrowed > this down to 2.19.39. It seemed to ha

Making a list argument reliably optional

2019-08-21 Thread Robin Bannister
Hallo all I'm having unexpected problems with a music function. It takes several arguments, the first of which expects a list, and should be optional. Today it tripped up when run with a late 2.19 version and I narrowed this down to 2.19.39. It seemed to have trouble with the second parameter

crossplatform Python script for point-and-click

2019-08-21 Thread Federico Bruni
Hi folks I remember that some time ago a user in this list shared a Python script to get point-and-click working on Windows and probably other operating systems. I can't remember his name, as I think he writes very seldomly in this list. I've searched the archive but I cannot find it. I foun