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

[Bernard Duggan]

Sorry, disregard this question - I just read some of the later posts and
it's now clearer to me that the any() => none() bit is actually implied.

B

On Tue, Apr 12, 2016 at 10:13 AM, Bernard Duggan <bernard@REDACTED>
wrote:

> 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/20c10819/attachment.htm>