Email list hosting service & mailing list manager

Short naming note on the deletion operations hga@xxxxxx (07 Jul 2019 23:40 UTC)
Re: Short naming note on the deletion operations John Cowan (08 Jul 2019 05:03 UTC)
Re: Short naming note on the deletion operations Amirouche Boubekki (18 Sep 2019 17:21 UTC)
Re: Short naming note on the deletion operations Rhys Ulerich (18 Sep 2019 22:02 UTC)
Re: Short naming note on the deletion operations Amirouche Boubekki (19 Sep 2019 08:30 UTC)

Re: Short naming note on the deletion operations Amirouche Boubekki 19 Sep 2019 08:30 UTC

Le jeu. 19 sept. 2019 à 00:02, Rhys Ulerich <xxxxxx@gmail.com> a écrit :
>
> On Mon, Jul 8, 2019, 1:03 AM John Cowan <xxxxxx@ccil.org> wrote:
>>
>> They don't, though.  As I explained a while back, "delete" means "remove a specific object from a collection by providing an equal object", whereas "remove" means "remove a specific object from a collection if it satisfies a predicate".
>
>
> Can okvs-delete! and okvs-range-remove! be named consistently to, say, make the former okvs-XXX-remove! for suitable XXX?

Sorry, I do not understand.

--
Amirouche ~ amz3 ~ https://hyper.dev