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

$ 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

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

Any idea? Help appreciated, thanks.
-------------- 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