[erlang-questions] ANN: wave.erl

Kostis Sagonas <>
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<>  
>> 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.

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.

Kostis


More information about the erlang-questions mailing list