[erlang-questions] Re: good dialyzer docs?

Cláudio Amaral coa@REDACTED
Wed Apr 6 15:46:36 CEST 2011


On 04/06/2011 03:13 PM, Kostis Sagonas wrote:
> Of course, in order to understand what the warning messages that 
> dialyzer produces you really *have* to look at your code also...
This is a given...
>> On this subject, I got something like "function f is used but no type 
>> information about it is given" although I had it defined and the 
>> 'problem' was that (product of refactoring) I was calling the local 
>> function with the module name, which is perfectly legal but dialyzer 
>> seems to deslike it. Any particular reason?
>
> You are sufficiently vague in your mail that it's very difficult to 
> give an answer to you in what you are asking. In particular, there is 
> no warning that reads "no type information is given for a function"; 
> all type information is actually optional.
>
> If you want help understanding some dialyzer warning please provide 
> the exact warning and the code that exhibits it.
>
> Kostis

I was going to do just that, but apparently I could not reproduce the 
error. I must have had a typo somewhere.

Thanks!

Cláudio.



More information about the erlang-questions mailing list