Re: Dialyzer can't compile map correctly
Björn-Egil Dahlberg <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
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
> [email protected]
> http://erlang.org/mailman/listinfo/erlang-bugs
>
>
_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs