<html><head></head><body><div class="yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:10px;"><div>Why dialyzer did not complain when I exported the function validator/1 ？</div><div><br></div><div>It means exported function allowing never reach the calls ?</div><div><br></div><div><br></div><div id="yahoo_quoted_6961022268" class="yahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Sunday, April 28, 2019, 9:30:03 PM GMT+2, Kostis Sagonas <kostis@cs.ntua.gr> wrote:
</div>
<div><br></div>
<div><br></div>
<div><div dir="ltr">On 4/28/19 6:41 PM, WW wrote:<div class="yqt8088745832" id="yqtfd06685"><br clear="none">> <br clear="none">> What is the best solution to avoid dialyzer warnings meanwhile also <br clear="none">> satisfy my use cases.?</div><br clear="none">> <br clear="none"><br clear="none">One cannot really answer this question without knowing what your "use <br clear="none">case(s)" really is.,,,<br clear="none"><br clear="none">If it really is the code example you posted, if you pay close attention <br clear="none">to the warning that you get from dialyzer, dialyzer also tells you that <br clear="none">the call validator([]), let alone validator(3), is actually unreachable <br clear="none">code in your example. This is because dialyzer discovers that the prior <br clear="none">call (validator(undefined)) will throw an exit exception and <br clear="none">control-flow will never reach the validator([]) (and validator(3)) calls.<br clear="none"><br clear="none">Once again, remember the slogan: "Dialyzer is never wrong."<br clear="none"><br clear="none">Kostis<div class="yqt8088745832" id="yqtfd21975"><br clear="none"></div></div></div>
</div>
</div></div></body></html>