[erlang-questions] Dialyzer type/spec info question

[Robert Virding]

>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?

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