New analysis case for Dialyzer ?

Tobias Lindahl <>
Mon Apr 11 12:04:40 CEST 2005


On Mon, 11 Apr 2005, Bjorn Gustavsson wrote:
[...]

> It could generate a report if the tuple is known to have a size larger
> than 2 (unless the 's' element happens to be the first in the record,
> the tuple has more than 2 elements).

Well, this is possible I guess, but it would involve a type that is "A
tuple with size >= X" and that would be a bit problematic. I'd rather have
you fix the dot-notation for records ;)

Tobias



More information about the erlang-questions mailing list