Dialyser issue

Frank Muller frank.muller.erl@REDACTED
Tue Dec 21 22:49:03 CET 2021


Hi guys

I’m facing an issue with Dialyzer (Erlang 22 on MacOS with rebar2) on a
little project with no dependencies.

$ ls -1
ebin
src
rebar.config

$ dialyzer --build_plt --output_plt redis_cli.plt --apps compiler crypto
erts eunit inets kernel mnesia os_mon public_key runtime_tools sasl snmp
ssl stdlib syntax_tools tools xmerl
Creating PLT /Users/frank//redis_cli.plt …
[...]

$ ls -lah redis_cli.plt
-rw-r--r-- 1 frank staff 2.7M Dec 21 14:42 redis_cli.plt

$ dialyzer -pa ebin --no_check_plt --src src --plt redis_cli.plt
--no_native -Wno_opaque -Wrace_conditions -Werror_handling
-Wno_improper_lists -Wrace_conditions -Wunmatched_returns
init terminating in do_boot ({terminated,[{io,format,[stan
dard_io,[_],[_]],[]},{dialyzer_cl,return_value,2,[{_},{_}]},
{dialyzer_cl,do_analysis,4,[{_},{_}]},{dialyzer,-cl/1-fun-0-
,1,[{_},{_}]},{dialyze

Crash dump is being written to: erl_crash.dump…done

Any idea? Help appreciated, thanks.
/F
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20211221/b60ee96a/attachment.htm>


More information about the erlang-questions mailing list