[erlang-questions] ANN: wave.erl
Jesper Louis Andersen
jesper.louis.andersen@REDACTED
Tue Jun 1 11:54:31 CEST 2010
On Tue, Jun 1, 2010 at 11:19 AM, Kostis Sagonas <kostis@REDACTED> 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. If I write a spec such the function and spec are
not matching, then what tool will report the discrepancy? Dialyzer?
--
J.
More information about the erlang-questions
mailing list