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

[Nicolas Petton]

Stefan Monnier <monnier@IRO.UMontreal.CA> writes:

> 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.

Cheers,
Nico

signature.asc
Description: PGP signature