>
2008/5/28 Pierpaolo Bernardi <>: > I agree with you. > > see http://www.erlang.org/pipermail/erlang-questions/2003-March/008107.html > and preceding and following messages, for a previous discussion. Thanks. And there I found my answer: The right hand side is checked for a correct type (boolean); therefor it cannot be tail recursive.