[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}

and dialyzer is saying this

 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 Kessin
Your CRM Link
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