[erlang-questions] dialyzer from R16A (from git), problem to remove deleted beam file

Andreas Schultz aschultz@REDACTED
Thu Jan 24 15:58:26 CET 2013


Hi,

I have a plt files generate with dialyzer from R16A(git). That
plt file includes an app where one of the beam files has been
remove later. Any attempt to update that plt file fails with:

dialyzer: Not a regular file: /usr/src/erlang/app/ebin/removed.beam

I tried --check_plt, --remove_from_plt and add_to_plt, all with
the same result. Only after creating an empty file with the name,
dialyzer managed to update the plt.

Is that expected behavior?

Andreas

-- 
-- 
Dipl. Inform.
Andreas Schultz

email: as@REDACTED



More information about the erlang-questions mailing list