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

Bernard Duggan bernard@REDACTED
Tue Apr 12 02:13:58 CEST 2016


On Mon, Apr 11, 2016 at 8:45 PM, Kostis Sagonas <kostis@REDACTED> wrote:

> We would appreciate feedback from the community at this point.
>

Looks great.

Am I right in my reading of this to think that I can describe a map
containing, say, *only* the keys 'a' and 'b' like this:

#{a := any(), b:= any(), any() => none()}

?

Cheers,

Bernard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160412/d5f94aa6/attachment.htm>


More information about the erlang-questions mailing list