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

José Valim jose.valim@REDACTED
Mon Apr 11 15:02:11 CEST 2016

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

More information about the erlang-questions mailing list