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

Dave Cottlehuber <>
Tue Nov 25 21:37:55 CET 2014


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




More information about the erlang-questions mailing list