[erlang-questions] 12B4 dialyzer problem 4

Anthony Shipman <>
Thu Sep 11 17:38:37 CEST 2008

On Thu, 11 Sep 2008 10:20:49 pm Kostis Sagonas wrote:
> If one looks closely in this function, she can observe that the 'timer'
> field is never initialized so it defaults to 'undefined'.  This happens
> on all paths to the disableConnecting(S1) call.
> Dialyzer has every right to claim that State#state.timer will always be
> 'undefined' and the second clause (with TRef) will never be reached.
> One more subtle bug uncovered.
> Kostis

Excellent. I've been staring at that for months since the 11B dialyzer 
complained as well. A one-line change some time ago made a whole function 

Anthony Shipman                    Mamas don't let your babies 
                   grow up to be outsourced.

More information about the erlang-questions mailing list