[DGD]removing elements from mappings

[birgit.schulte at philips.com]

Boris J wrote:

> I wondering what is the proper way of removing elements (indices/values)
> from a mapping in DGD ?
> Shouldn't this work:
>
>     foo_mapping -= bar_indices;
>
> which would remove 'bar_indices' indice and it's value from the
> 'foo_mapping' mapping ?

As written by Erwin, 
    foo_mapping -= ({ bar_indice }) 

does work, only it is - especially for large mappings - way slower than 

   foo_mapping[bar_indice] = nil;

And somehow I too feel that the first form looks strange ;-)

Birgit

List config page:  http://list.imaginary.com/mailman/listinfo/dgd