[erlang-patches] Add a proplist() type

Ryan Zezeski <>
Mon May 23 17:33:30 CEST 2011


Crap, I missed the export_type.  Interesting I was able to run Dialyzer on
stdlib with no problems (related to this change).  Anyways, I'll fix this
and resubmit.


On Mon, May 23, 2011 at 11:11 AM, Kostis Sagonas <> wrote:

> Ryan Zezeski wrote:
>> I found it odd the there is no canonical proplist() type defined so this
>> is my attempt at adding one.
>> git fetch git://github.com/rzezeski/otp.git <
>> http://github.com/rzezeski/otp.git> add_proplist_type
> Ryan,
> Your attempt is not OK.
> For it to be, the proplist() type should be exported from the proplists
> module; i.e. added in the export_type declaration of that module. So, if
> your patch is to be accepted and included in OTP, minimally this needs to be
> fixed.
> I thought that since property() is an exported type from the proplists
> module, there is no need to define proplist() since its definition would be
> simple. But I think I was wrong: Your patch definitely shows that the
> current situation with various different "definitions" of proplist() is not
> optimal...
> Thanks for noticing this.
> Kostis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20110523/39d043a4/attachment.html>

More information about the erlang-patches mailing list