Subject: Re: bug#25929: 25.2; map-delete doesn't delete permanently 1st alist elt

From: Stefan Monnier <[email-masked]>
Date: Tue, 21 Mar 2017 16:29:46 -0400

>> I was thinking of providing map-remove additionally to map-delete (and
>> make map-delete signal an error when it can't do its job).  IOW declare
>> that some parts of the API can't be used with all types.
> Yes, that's what I want as well, but then `map-remove' would be
> functional (return another map), and it means that it would copy
> hash-tables.

That's right.  Or it could signal an error, if copying is considered to
be "never the right thing to do".

        Stefan