[erlang-questions] ANN: wave.erl

Ivan Uemlianin <>
Tue Jun 1 12:12:12 CEST 2010


On 01/06/2010 10:54, 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. 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.

;)

Ivan


-- 
============================================================
Ivan A. Uemlianin
Speech Technology Research and Development

                     
                      www.llaisdy.com
                          llaisdy.wordpress.com
                      www.linkedin.com/in/ivanuemlianin

     "Froh, froh! Wie seine Sonnen, seine Sonnen fliegen"
                      (Schiller, Beethoven)
============================================================



More information about the erlang-questions mailing list