<div dir="ltr">A funny thing with dialyzer is that it works on Core erlang but only gets the core erlang from either the AST in 'debug_info' compiled .beam files or from .erl. There is no pluggable method to get the core erlang. Very extensible unfriendly.<br><div><br>I have done some special hacks in the dialyzer input files which allow it to get the core data from .lfe files. It was quite simple to do and works like a charm.<br><br>It would be quite easy to extend this so it could take files of any kind in a pluggable way. For every file type there would be a module which extracts the core forms for that type, so for example for .foo files there should be a module 'dialyzer_foo_utils'. By setting the code path you could make sure it finds your specific files.<br><br></div><div>I *know* this should be fixed by adding an option to the erlang compiler to include the Core forms in the .beam files and getting dialyzer to get its Core data from there as well, but there seems to be little interest in either camp to fix this problem.<br><br></div><div>Robert<br><br></div><div>P.S. You are aware that compiling with debug_info does add the erlang AST to the .beam file so the source code is actually included?<br><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 4 April 2015 at 04:22, Robert Virding <span dir="ltr"><<a href="mailto:rvirding@gmail.com" target="_blank">rvirding@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Why does dialyzer only allow me to input either all source (.erl) files or all .beam files? Or does it allow mixing and I have missed the option? I can't see any logical reason why it should not allow mixing.<span class="HOEnZb"><font color="#888888"><br><br></font></span></div><span class="HOEnZb"><font color="#888888">Robert<br><br></font></span></div>
</blockquote></div><br></div>