[erlang-questions] Why does Dialyzer crash on this map?

[Ivan Uemlianin]

Thanks, that's a good result. I'll get more details and report back.

Ivan

--
festina lente


> On 25 Nov 2014, at 20:37, Dave Cottlehuber <dch@REDACTED> wrote:
> 
> Sorry about that last email …
> 
> EWORKSFORME.
> 
> FreeBSD 10.1 amd64, erlang-17.3_2,3 from pkg.
> 
> What FreeBSD & erlang are you using?
> 
> dch   /tmp ❯❯❯   dialyzer --build_plt --apps erts kernel stdlib
>   Creating PLT /home/dch/.dialyzer_plt ...
> Unknown functions:
>   compile:file/2
>   compile:forms/2
>   compile:noenv_forms/2
>   compile:output_generated/1
>   crypto:block_decrypt/4
>   crypto:start/0
> Unknown types:
>   compile:option/0
>  done in 1m8.53s
> done (passed successfully)
> 
> dch   /tmp ❯❯❯dialyzer ltu.erl
>   Checking whether the PLT /home/dch/.dialyzer_plt is up-to-date... yes
>   Proceeding with analysis... done in 0m0.41s
> done (passed successfully)
> 
> dch   /tmp ❯❯❯erl
> Erlang/OTP 17 [erts-6.2] [source] [64-bit] [smp:8:8] [async-threads:64] [kernel-poll:true]
> 
> Eshell V6.2  (abort with ^G)
> 1>
> 
> A+, Dave
> — sent from my Couch
> 
> 
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions