[erlang-questions] dialyzer from R16A (from git), problem to remove deleted beam file
Thu Jan 24 15:58:26 CET 2013
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?
More information about the erlang-questions