[erlang-questions] Dialyzer type/spec info question

Robert Virding <>
Mon Nov 17 16:53:15 CET 2014

>From where does dialyzer get the user added type and spec info? From the
AST, or from Core erlang which contains the same type/spec data? And why?
Can I control it?

An extra question: why doesn't dialyzer allow me to mix input from both
.erl and .beam files? Or does it and I have missed that?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20141117/89578d2b/attachment.html>

More information about the erlang-questions mailing list