<div dir="ltr">I think I was trying to account for errors in parsing integers. In any case, I think my program still works fine without this check, especially as we agree that dialyzer proves it's unnecessary.<div><br>
</div><div><a href="https://github.com/mcandre/ios7crypt/commit/8d7f7760b15ffa48a5113356803f620f3935c256#diff-7f4a95d512e55854e52ac3744eaafeb1L52">https://github.com/mcandre/ios7crypt/commit/8d7f7760b15ffa48a5113356803f620f3935c256#diff-7f4a95d512e55854e52ac3744eaafeb1L52</a><br>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Nov 14, 2013 at 8:00 PM, Kostis Sagonas <span dir="ltr"><<a href="mailto:kostis@cs.ntua.gr" target="_blank">kostis@cs.ntua.gr</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 11/15/2013 01:46 AM, Andrew Pennebaker wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
In particular, I'm confused what dialyzer doesn't like about line 60.<br>
<br>
59  FirstOne = case is_binary(FirstTemp) of<br>
60    true -> binary_to_list(FirstTemp);<br>
61    false -> FirstOneRaw<br>
62  end,<br>
<br>
Not sure what's wrong. I tried using `_` instead of `false`, but got the<br>
same warning. Should I use an if/else instead of case?<br>
</blockquote>
<br></div>
Dialyzer is telling you that it thinks FirstTemp will never be a binary in your program, so the case statement you have there is unnecessary. So, effectively it tells you that you can rewrite the code above to:<br>
<br>
      FirstOne = FirstOneRaw,<br>
<br>
The question is why do you expect that FirstTemp may be a binary at that point?<span class="HOEnZb"><font color="#888888"><br>
<br>
Kostis<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><div></div>Cheers,<div><br></div><div>Andrew Pennebaker</div><div><a href="http://www.yellosoft.us" target="_blank">www.yellosoft.us</a></div>
</div>