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

[Kostis Sagonas]

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).