<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 25, 2016 at 3:09 PM, Zachary Kessin <span dir="ltr"><<a href="mailto:zkessin@gmail.com" target="_blank">zkessin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I have a strange dialyzer problem, I have this code<div></div></div></blockquote></div><br></div><div class="gmail_extra">You would have to supply the convert_map_to_record function as well. Usually the case is that the dialyzer has figured out, one way or the other, that there is only a single possible outcome of convert_map_to_record: {error, _}. Hence it reports that {ok, MR} can never match, which is true.<br><br></div><div class="gmail_extra">This commonly happens when you have a planned extension later in the code base, and have provided scaffolding for the extension, yet the underlying code is not able to touch that newly formed code path yet because it doesn't return the correct type of value.<br><br></div><div class="gmail_extra">Another common case is where there is another error somewhere in your code and the dialyzer has figured out that with the current constraints, convert_map_to_record can only succeed without crashing by returning {error, _}.  This can happen if the record spec is not precise enough, for instance.<br><br></div><div class="gmail_extra"><br clear="all"><br>-- <br><div class="gmail_signature">J.</div>
</div></div>