[erlang-questions] Dialyzer "function X has no local return"?
Thu Aug 30 10:16:56 CEST 2007
What are the implications of adding a local return value? Let's consider the
following code which will raise the warning:
module.erl:3: Function x/0 has no local return
This can be changed to the function below just to satisfy Dialyzer:
Wouldn't that last atom stay somewhere in case the above function call
actually would return. Because I guess there is no way for the compiler to
know that so it has to keep that last line, thus no tail optimizations are
possible. Am I right? Any thoughts on this?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions