Stefan Monnier 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