[erlang-questions] ANN: wave.erl
Wed Jun 2 09:10:36 CEST 2010
Ivan Uemlianin wrote:
> On 01/06/2010 10:54, Jesper Louis Andersen wrote:
>> On Tue, Jun 1, 2010 at 11:19 AM, Kostis Sagonas<>
>>> Rather than writing all the above, which is just words in a mail, why
>>> you add the following to the file which is machine-checkable
>>> which is now part of the code?
>> What tools do currently make use of this information, and how? I guess
>> the dialyzer does. If I write a spec such the function and spec are
>> not matching, then what tool will report the discrepancy? Dialyzer?
> TypEr checks for type discrepancies; Dialyzer is more general.
Actually, it's dialyzer that uses this info. TypEr is just a front end
that takes the type information which appears in the file and/or is
computed by dialyzer and either prints it on the screen or annotates the
file with it.
More information about the erlang-questions