[erlang-bugs] Dialyzer can't compile map correctly

[Björn-Egil Dahlberg]

On 2014-12-16 12:59, Kostis Sagonas wrote:
> On 12/16/2014 09:28 AM, Jesper Louis Andersen wrote:
>> The other problem is that the OTP can't reproduce the error on a fresh
>> 17.4 install. Is it possible for someone to test it.
>
> I can very easily reproduce your problem (with 17.4 and also with the 
> maint branch).  Not sure why the folks @ OTP cannot. (Is it really so?)

Well, I don't know why but late last night (03:00) I couldn't reproduce 
it on 17.4 .. but today on 17.4 I get the error on the example below. I 
admit, I was wrong (but totally suspicious). It is a missing clause in 
dialyzer_dataflow:find_terminals/1 .. which I thought I had fixed but .. 
noooo. I should dig a little deeper though so I don't miss any other 
stuff regarding this.

// Björn-Egil, is a sad panda.

>
> Anyway, actually one does not even need to invoke anything NIF-related 
> to experience the crash. The module included below suffices.
>
> Kostis
>
> %%=======================================================================
> -module(enacl).
> -export([box_keypair/0]).
>
> -spec box_keypair() -> #{ atom() => binary() }.
> box_keypair() ->
>   {PK, SK} = foo(),
>   #{ public => PK, secret => SK}.
>
> foo() ->
>   error(42).
>
> _______________________________________________
> erlang-bugs mailing list
> erlang-bugs@REDACTED
> http://erlang.org/mailman/listinfo/erlang-bugs
>
>