[erlang-questions] Status of map pair support in dialyzer

[José Valim]

>
> Now consider what happens when we change the type to #{x=>_}; the type is
> made more restrictive. The key y is no longer allowed. But if we repeat
> this process and change it to #{}, suddenly we have not made the type
> more restrictive; we made it more allowing!
>

Thanks for the excellent explanation. That makes it clear to me changing
#{} is indeed the best way to go.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160411/6ac70256/attachment.htm>