elixir - "dialyzer: Analysis failed with error.." (dialyzer bug? or wrong use of map-type?) -


working on simple application in progress of learning elixir, ran minor roadblock when checking types dialyzer. running dialyzer on code results in analysis failed error... far dialyzer has given me warnings , not errors when violate type spec's, have no clue error about.

trying narrow down problem, made ultra simple function performs offending return value.

  @spec blabla(integer) :: %{atom => any}   def blabla(1)     %{:error => 'wrong input (us-state)'}   end   def blabla(2)     %{ location: 'new york city, central park, ny', temp_c: '23.3',        visibility_mi: '10.00', weather: 'a few clouds', wind_dir: 'north',        wind_kt: '0' }   end

when running dialyzer on following error

  proceeding analysis... =error report==== 14-jul-2015::17:26:55 === error in process <0.31.0> exit value: {function_clause,[{erl_types,t_form_to_string,[{type,12,map_field_assoc,{type,12,atom,[]},{type,12,any,[]}}],[{file,"erl_types.erl"},{line,4546}]},{erl_types,t_form_to_string_list,2,[{file,"erl_types.erl"},{line,4637}]},{erl_types,t_form_to_string...    dialyzer: analysis failed error: {function_clause,[{erl_types,t_form_to_string,                              [{type,12,map_field_assoc,                                     {type,12,atom,[]},                                     {type,12,any,[]}}],                              [{file,"erl_types.erl"},{line,4546}]},                   {erl_types,t_form_to_string_list,2,                              [{file,"erl_types.erl"},{line,4637}]},                   {erl_types,t_form_to_string,1,                              [{file,"erl_types.erl"},{line,4634}]},                   {erl_types,t_form_to_string,1,                              [{file,"erl_types.erl"},{line,4590}]},                   {dialyzer_contracts,contract_to_string_1,1,                                       [{file,"dialyzer_contracts.erl"},                                        {line,107}]},                   {dialyzer_contracts,extra_contract_warning,6,                                       [{file,"dialyzer_contracts.erl"},                                        {line,712}]},                   {dialyzer_contracts,picky_contract_check,7,                                       [{file,"dialyzer_contracts.erl"},                                        {line,686}]},                   {dialyzer_contracts,get_invalid_contract_warnings_funs,5,                                       [{file,"dialyzer_contracts.erl"},                                        {line,654}]}]}

am defining map-type in wrong way? or bug in dialyzer?

there nothing wrong code or typespec. looks dialyzer bug, can try updating latest version of erlang.


Comments

Post a Comment

Popular posts from this blog

javascript - Using jquery append to add option values into a select element not working -

i'm looking dynamically populate select element names of items stored array. for reason it's not working , i'm not sure why. html: <div class="col-md-4 col-md-offset-4"> <select class="select1"> </select> , <select class="select2"> </select> </div> note i'm using bootstrap layout. here's jquery i'm using try , populate ".select1" jquery: select: function() { $.each(state.greens, function(index, value) { $(".select1").append("<option value =' " + index + " '>" + state.greens[index].name + "</option>"); }); } note function 'select' stored within object called 'display'. state.greens name of array i'm trying access. so @ end of html page call display.select(); call function. no error messages showing in console. also, saw question: appending
Read more

Android soft keyboard reverts to default keyboard on orientation change -

i'm building android soft keyboard , can't seem fix bug - have arabic , qwerty keyboard , when rotate device on qwerty keyboard (or arabic shift), it's if program has "restarted" , becomes arabic keyboard without shift. the onsaveinstancestate(bundle savedinstancestate) not work because application not extend activity inputmethodservice . i put following in android manifest android:configchanges="keyboard|keyboardhidden|orientation" android:windowsoftinputmode="stateunchanged|adjustresize"> i tried using @override public void onconfigurationchanged(configuration newconfig) { super.onconfigurationchanged(newconfig); log.i(mydebug, "config changed " + currentkeyboard.equals(qwerty)); } however, currentkeyboard.equals(qwerty)) results false , made sure true before orientation change. any appreciated. i think applications fault. if application restarting on orientation change
Read more

Rendering JButton to get the JCheckBox behavior in a JTable by using images does not update my table -

i rendering jbutton image on simulate jcheckbox behavior. why don't let jtable render jcheckbox? because need bigger checkboxes , there's no way can resize them (as far know). so, have own table cell renderer , editor. both renders jbutton , checkbox images on them. trying change image checked image unchecked image (or vice versa) , update cell value (boolean true or false). however, reason, getcelleditorvalue() not update table. so, release mouse, value goes original one. any appreciated! lot! public class tableexample extends jframe { jscrollpane pane; jpanel panel; jtable table; object[][] data; mytablemodel tm; renderer buttoncolumn; public tableexample(object[][] data) throws ioexception { string[] columns = {"column#1", "column#2", "column#3", "column#4", "column#5", "column#6"}; this.data = data; this.setpreferredsize(new dimension(700, 500));
Read more