[erlang-questions] possible dialyzer bug

Zachary Kessin <>
Mon Jan 25 15:09:39 CET 2016


I have a strange dialyzer problem, I have this code

                  case convert_map_to_record(MapId, UserId, ClientId,
Terms) of
                      {ok, MapRecord} ->
                          %....
                          {true, ReqData1, MapRecord};
                      {error, Error} ->
                          lager:error("Error ~p", [Error]),
                          {{error, 405}, ReqData, State}
                  end

and dialyzer is saying this

_build/default/lib/frontend/src/wm_map.erl
 100: The pattern {'ok', MapRecord} can never match the type {'error',_}

With what is line 100 being the line with the red background, what is
strange is that that the error case is covered in the case statement

Zach
-- 
Zach Kessin
Your CRM Link
<http://yourcrm.link/?utm_source=email%20signature&utm_medium=email&utm_campaign=passive>
Twitter: @zkessin <https://twitter.com/zkessin>
Skype: zachkessin
ᐧ
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160125/3ca681ba/attachment.html>


More information about the erlang-questions mailing list