[erlang-patches] Add dict:is_empty/1 and orddict:is_empty/1

[Robert Virding]

I just want to comment that I think this is a reasonable and useful externsion of the dict/orddict API.

Robert

----- Original Message -----
> From: "Fredrik" <fredrik@REDACTED>
> To: "Magnus Henoch" <magnus@REDACTED>
> Cc: erlang-patches@REDACTED
> Sent: Wednesday, 4 September, 2013 4:22:14 PM
> Subject: Re: [erlang-patches] Add dict:is_empty/1 and orddict:is_empty/1
> 
> On 09/04/2013 04:13 PM, Magnus Henoch wrote:
> > This patch adds the functions dict:is_empty/1 and orddict:is_empty/1.
> > For dict, comparing the size against 0 runs in constant time, but not
> > for orddict.  My new functions are an attempt to relieve users from
> > having to know such implementation details.
> >
> > git fetch git://github.com/legoscia/otp.git dict_orddict_is_empty
> >
> > https://github.com/legoscia/otp/compare/erlang:master...legoscia:dict_orddict_is_empty
> > https://github.com/legoscia/otp/compare/erlang:master...legoscia:dict_orddict_is_empty.patch
> >
> > Regards,
> > Magnus
> > _______________________________________________
> > erlang-patches mailing list
> > erlang-patches@REDACTED
> > http://erlang.org/mailman/listinfo/erlang-patches
> Hello Magnus,
> I've fetched your patch and assigned it to be reviewed by responsible
> developers.
> Thanks,
> 
> --
> 
> BR Fredrik Gustafsson
> Erlang OTP Team
> 
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://erlang.org/mailman/listinfo/erlang-patches
>