Re: Dialyzer can't compile map correctly
Kostis Sagonas <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
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?)
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