elixir

Code pulled with git from git://github.com/josevalim/elixir.git with the last commit being a7d53e2

These are Intersection warnings for elixir.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists ebin
leexinc.hrl:52: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error' | 'skip_token' | {'error',_},[{atom(),_} | {'atom' | 'bound_identifier' | 'bracket_identifier' | 'char_list' | 'constant' | 'float' | 'identifier' | 'integer' | 'interpolated_atom' | 'interpolated_char_list' | 'interpolated_string' | 'punctuated_identifier' | 'string',_,_} | {'interpolated_regexp',_,_,_} | {'regexp',_,[any()],_} | {'signed_number','float' | 'integer',_,atom(),_}]>
leexinc.hrl:54: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token' | {'error',_},[{atom(),_} | {'atom' | 'bound_identifier' | 'bracket_identifier' | 'char_list' | 'constant' | 'float' | 'identifier' | 'integer' | 'interpolated_atom' | 'interpolated_char_list' | 'interpolated_string' | 'punctuated_identifier' | 'string',_,_} | {'interpolated_regexp',_,_,_} | {'regexp',_,[any()],_} | {'signed_number','float' | 'integer',_,atom(),_}]>
leexinc.hrl:59: The pattern <Rest, Line, {'skip_token', Push}, Ts> can never match the type <_,_,'error' | {'error',_},[{atom(),_} | {'atom' | 'bound_identifier' | 'bracket_identifier' | 'char_list' | 'constant' | 'float' | 'identifier' | 'integer' | 'interpolated_atom' | 'interpolated_char_list' | 'interpolated_string' | 'punctuated_identifier' | 'string',_,_} | {'interpolated_regexp',_,_,_} | {'regexp',_,[any()],_} | {'signed_number','float' | 'integer',_,atom(),_}]>
elixir_macro.erl:25: The call elixir_import:record('macro',{_,non_neg_integer()},Receiver::any(),S::#elixir_scope{}) will never return since it differs in the 1st and/or 4th argument from the success typing arguments: (any(),any(),any(),{'elixir_scope',_,_,_,_,_,_,_,[],_,_,_,_,_,_,_,_,_,_}) or ('import',any(),any(),{'elixir_scope',_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_})
elixir_try.erl:24: The pattern [] can never match the type [any(),...]

Applications