[erlang-questions] ANN: wave.erl
Wed Jun 2 09:07:50 CEST 2010
Jesper Louis Andersen wrote:
> On Tue, Jun 1, 2010 at 11:19 AM, Kostis Sagonas <> wrote:
>> Rather than writing all the above, which is just words in a mail, why don't
>> you add the following to the file which is machine-checkable documentation
>> which is now part of the code?
> What tools do currently make use of this information, and how? I guess
> the dialyzer does.
Mainly dialyzer uses this information.
Pretty soon (quite possibly in R14) edoc will also be in a position to
use this information for generating documentation for the code.
> If I write a spec such the function and spec are
> not matching, then what tool will report the discrepancy? Dialyzer?
Yes. But it is better to see it with your own eyes. Try it!
More information about the erlang-questions