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

jquery - javascript onscroll fade same class but with different div -

i new @ javascript , want learn new. there wrong code : why div fades @ same time. i want ask how fade different div s same class name.can me , explain me. thanks in advance. javascript: $(window).scroll(function(){ if ($( "div.fade" ).offset().top - $(window).scrolltop() <= 100){ $('.fade').addclass( "fade-in"); } else { $('.fade').removeclass("fade-in"); } }); here jsfiddle onscroll = function () { var scrolltop = $(this).scrolltop() ; $("div.fade").each(function(){ if(($(this).offset().top - scrolltop) <= 100){ $(this).toggleclass("fade-in"); } }) }
Read more