<div dir="ltr"><div><div>I have run into the same problem but I don't think there is anything you can do about it. Dialyzer is quite rightly informing you that you have a type error in your code, it is just unfortunate that that is what you are trying to test.<br><br></div>Why are you checking your test suites?<br><br></div>Robert<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On 7 December 2014 at 01:06, Jay Nelson <span dir="ltr"><<a href="mailto:jay@duomark.com" target="_blank">jay@duomark.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">The following tests in my common_test suite:<div><br></div><div><div>    true = try ?TM:reserve(atom_to_list(Cache_Name), Cache_Module) catch error:function_clause -> true end,</div><div>    true = try ?TM:reserve(Cache_Name, atom_to_list(Cache_Module)) catch error:function_clause -> true end,</div></div><div><br></div><div>cause dialyzer to complain:</div><div><br></div><div><div style="margin:0px;font-size:11px;font-family:Menlo;background-color:rgb(146,146,146)">cxy_cache_SUITE.erl:58: The call cxy_cache:reserve(string(),Cache_Module::atom()) will never return since the success typing is (atom(),atom()) -> atom() | {'error','already_exists'} and the contract is (Name,module()) -> Name | {'error','already_exists'} when is_subtype(Name,cache_name())</div><div style="margin:0px;font-size:11px;font-family:Menlo;background-color:rgb(146,146,146)">cxy_cache_SUITE.erl:59: The call cxy_cache:reserve(Cache_Name::atom(),string()) will never return since the success typing is (atom(),atom()) -> atom() | {'error','already_exists'} and the contract is (Name,module()) -> Name | {'error','already_exists'} when is_subtype(Name,cache_name())</div></div><div><br></div><div><br></div><div>Is there a better way to check for failure when a non-string is passed as an arg to a function</div><div>that expects two atoms?</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>jay</div><div><br></div></font></span></div><br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div>