elixir

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

These are Current warnings for elixir. 

dialyzer -n -q -Wno_improper_lists ebin
leexinc.hrl:49: The pattern <Rest, Line, {'token', T, Push}, Ts> can never match the type <_,_,'error',[{'comment',_,[any()]} | {'mark_end',_,[any()]} | {'mark_mark',_,[any()]} | {'text',_,[any()]} | {'start_end',_,'%' | '=' | '==',[any()]} | {'start_mark',_,'%' | '=' | '==',[any()]}]>
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',_,_,_} | {'signed_number','float' | 'integer',_,atom(),_}]>
leexinc.hrl:52: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error',[{'comment',_,[any()]} | {'mark_end',_,[any()]} | {'mark_mark',_,[any()]} | {'text',_,[any()]} | {'start_end',_,'%' | '=' | '==',[any()]} | {'start_mark',_,'%' | '=' | '==',[any()]}]>
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',_,_,_} | {'signed_number','float' | 'integer',_,atom(),_}]>
leexinc.hrl:54: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error',[{'comment',_,[any()]} | {'mark_end',_,[any()]} | {'mark_mark',_,[any()]} | {'text',_,[any()]} | {'start_end',_,'%' | '=' | '==',[any()]} | {'start_mark',_,'%' | '=' | '==',[any()]}]>
leexinc.hrl:57: The pattern <Rest, Line, 'skip_token', Ts> can never match the type <_,_,'error',[{'comment',_,[any()]} | {'mark_end',_,[any()]} | {'mark_mark',_,[any()]} | {'text',_,[any()]} | {'start_end',_,'%' | '=' | '==',[any()]} | {'start_mark',_,'%' | '=' | '==',[any()]}]>
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',_,_,_} | {'signed_number','float' | 'integer',_,atom(),_}]>
leexinc.hrl:59: The pattern <Rest, Line, {'skip_token', Push}, Ts> can never match the type <_,_,'error',[{'comment',_,[any()]} | {'mark_end',_,[any()]} | {'mark_mark',_,[any()]} | {'text',_,[any()]} | {'start_end',_,'%' | '=' | '==',[any()]} | {'start_mark',_,'%' | '=' | '==',[any()]}]>
leexinc.hrl:62: The pattern <_Rest, Line, {'error', S}, _Ts> can never match the type <_,_,'error',[{'comment',_,[any()]} | {'mark_end',_,[any()]} | {'mark_mark',_,[any()]} | {'text',_,[any()]} | {'start_end',_,'%' | '=' | '==',[any()]} | {'start_mark',_,'%' | '=' | '==',[any()]}]>
leexinc.hrl:118: The pattern <Rest, Line, {'token', T, Push}> can never match the type <_,_,'error'>
leexinc.hrl:121: The pattern <Rest, Line, {'end_token', T}> can never match the type <_,_,'error' | 'skip_token' | {'error',_}>
leexinc.hrl:121: The pattern <Rest, Line, {'end_token', T}> can never match the type <_,_,'error'>
leexinc.hrl:123: The pattern <Rest, Line, {'end_token', T, Push}> can never match the type <_,_,'error' | 'skip_token' | {'error',_}>
leexinc.hrl:123: The pattern <Rest, Line, {'end_token', T, Push}> can never match the type <_,_,'error'>
leexinc.hrl:126: The pattern <Rest, Line, 'skip_token'> can never match the type <_,_,'error'>
leexinc.hrl:128: The pattern <Rest, Line, {'skip_token', Push}> can never match the type <_,_,'error' | {'error',_}>
leexinc.hrl:128: The pattern <Rest, Line, {'skip_token', Push}> can never match the type <_,_,'error'>
leexinc.hrl:131: The pattern <Rest, Line, {'error', S}> can never match the type <_,_,'error'>
leexinc.hrl:192: The pattern <Rest, Line, {'token', T, Push}, Ts> can never match the type <_,_,'error',_>
leexinc.hrl:195: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error' | 'skip_token' | {'error',_},_>
leexinc.hrl:195: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error',_>
leexinc.hrl:197: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token' | {'error',_},_>
leexinc.hrl:197: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error',_>
leexinc.hrl:200: The pattern <Rest, Line, 'skip_token', Ts> can never match the type <_,_,'error',_>
leexinc.hrl:202: The pattern <Rest, Line, {'skip_token', Push}, Ts> can never match the type <_,_,'error' | {'error',_},_>
leexinc.hrl:202: The pattern <Rest, Line, {'skip_token', Push}, Ts> can never match the type <_,_,'error',_>
leexinc.hrl:205: The pattern <Rest, Line, {'error', S}, _Ts> can never match the type <_,_,'error',_>
leexinc.hrl:243: The pattern <Rest, Line, {'token', _T, Push}, Error> can never match the type <_,_,'error',_>
leexinc.hrl:246: The pattern <Rest, Line, {'end_token', _T}, Error> can never match the type <_,_,'error' | 'skip_token' | {'error',_},_>
leexinc.hrl:246: The pattern <Rest, Line, {'end_token', _T}, Error> can never match the type <_,_,'error',_>
leexinc.hrl:248: The pattern <Rest, Line, {'end_token', _T, Push}, Error> can never match the type <_,_,'error' | 'skip_token' | {'error',_},_>
leexinc.hrl:248: The pattern <Rest, Line, {'end_token', _T, Push}, Error> can never match the type <_,_,'error',_>
leexinc.hrl:251: The pattern <Rest, Line, 'skip_token', Error> can never match the type <_,_,'error',_>
leexinc.hrl:253: The pattern <Rest, Line, {'skip_token', Push}, Error> can never match the type <_,_,'error' | {'error',_},_>
leexinc.hrl:253: The pattern <Rest, Line, {'skip_token', Push}, Error> can never match the type <_,_,'error',_>
leexinc.hrl:256: The pattern <Rest, Line, {'error', _S}, Error> can never match the type <_,_,'error',_>
leexinc.hrl:260: Function yyrev/2 will never be called
yeccpre.hrl:70: Function yecc_error_type/2 has no local return
yeccpre.hrl:70: The pattern <'function_clause', [{'elixir_parser', F, ArityOrArgs} | _]> can never match the type <_,[{atom(),atom(),[any()] | byte(),[any()]}]>
elixir_compiler.erl:157: The created fun has no local return
elixir_constants.erl:12: Call to missing or unexported function elixir_errors:error/1
elixir_constants.erl:20: Call to missing or unexported function elixir_errors:error/1
elixir_errors.erl:11: Function syntax_error/3 has no local return
elixir_errors.erl:17: Function syntax_error/4 has no local return
elixir_errors.erl:23: Function parse_error/4 has no local return
elixir_errors.erl:42: Function form_error/4 has no local return
elixir_errors.erl:56: Function handle_file_error/2 has no local return
elixir_gen_server.erl:7: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_gen_server.erl:9: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_gen_server.erl:10: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_gen_server.erl:11: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_gen_server.erl:12: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_gen_server.erl:13: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_inliner.erl:38: Call to missing or unexported function elixir_tree_helpers:build_var_name/2
elixir_inliner.erl:47: Call to missing or unexported function elixir_tree_helpers:build_method_call/4
elixir_inliner.erl:65: Call to missing or unexported function elixir_tree_helpers:build_var_name/2
elixir_inliner.erl:90: Call to missing or unexported function elixir_tree_helpers:build_var_name/2
elixir_lexer.xrl:174: Call to missing or unexported function elixir_interpolation:extract/3
elixir_lexer.xrl:243: Call to missing or unexported function elixir_interpolation:extract/3
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 4th argument from the success typing arguments: (any(),any(),any(),{'elixir_scope',_,_,_,_,_,_,_,atom() | string() | number(),_,_,_,_,_,_,_,_,_,_})
elixir_methods.erl:20: Call to missing or unexported function elixir_dispatch:builtin_mixin/1
elixir_methods.erl:32: Call to missing or unexported function elixir_errors:error/1
elixir_methods.erl:50: Function convert_methods/1 will never be called
elixir_module_behavior.erl:23: Call to missing or unexported function elixir_dispatch:builtin_mixin/1
elixir_module_behavior.erl:48: Call to missing or unexported function elixir_errors:error/1
elixir_module_behavior.erl:64: Call to missing or unexported function elixir_errors:error/1
elixir_module_behavior.erl:89: Call to missing or unexported function elixir_errors:error/1
elixir_module_behavior.erl:92: Call to missing or unexported function elixir_errors:error/1
elixir_module_behavior.erl:112: Call to missing or unexported function elixir_errors:error/1
elixir_module_behavior.erl:115: Call to missing or unexported function elixir_errors:error/1
elixir_module_methods.erl:15: Call to missing or unexported function elixir_errors:error/1
elixir_module_methods.erl:29: Call to missing or unexported function elixir_def_method:store_wrapped_method/5
elixir_module_methods.erl:35: Call to missing or unexported function elixir_errors:error/1
elixir_module_methods.erl:46: Call to missing or unexported function elixir_errors:error/1
elixir_module_methods.erl:56: The call elixir:eval(maybe_improper_list(),[{'self',#elixir_object__{}},...],maybe_improper_list(),Line::any(),Scope::#elixir_scope{assign::'false',guard::'false',noname::'false',method::[],scope::{'module',_} | {'object',_},vars::dict(),temp_vars::[],clause_vars::dict(),counter::0,filename::[101 | 102 | 105 | 108 | 110 | 111,...],assigned_vars::dict()}) contains an opaque term as 5th argument when terms of different types are expected in these positions
elixir_module_methods.erl:59: Call to missing or unexported function elixir_errors:error/1
elixir_module_methods.erl:63: Call to missing or unexported function elixir_def_method:store_wrapped_method/5
elixir_module_methods.erl:66: Call to missing or unexported function elixir_errors:error/1
elixir_module_using.erl:16: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_module_using.erl:28: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_module_using.erl:37: Call to missing or unexported function elixir_errors:error/1
elixir_module_using.erl:59: Call to missing or unexported function elixir_errors:error/1
elixir_module_using.erl:65: The call elixir:eval(maybe_improper_list(),[{'self',#elixir_module__{}},...],maybe_improper_list(),Line::any(),Scope::#elixir_scope{assign::'false',guard::'false',noname::'false',method::[],nesting::atom(),vars::dict(),temp_vars::[],clause_vars::dict(),counter::0,filename::[101 | 102 | 105 | 108 | 110 | 111,...],assigned_vars::dict()}) contains an opaque term as 5th argument when terms of different types are expected in these positions
elixir_module_using.erl:68: Call to missing or unexported function elixir_errors:error/1
elixir_module_using.erl:70: Function object_kind/1 will never be called
elixir_module_using.erl:79: Call to missing or unexported function elixir_errors:error/1
elixir_module_using.erl:106: Call to missing or unexported function elixir_errors:error/1
elixir_object.erl:136: Call to missing or unexported function elixir_def_method:flat_module/5
elixir_object.erl:147: Call to missing or unexported function elixir_def_method:is_empty_table/1
elixir_object.erl:205: Call to missing or unexported function elixir_def_method:flat_module/5
elixir_object.erl:321: The created fun has no local return
elixir_object_methods.erl:24: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_object_methods.erl:37: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_object_methods.erl:73: Call to missing or unexported function elixir_errors:error/1
elixir_object_methods.erl:103: Call to missing or unexported function elixir_errors:error/1
elixir_object_methods.erl:125: Call to missing or unexported function elixir_errors:error/1
elixir_object_methods.erl:128: Call to missing or unexported function elixir_errors:error/1
elixir_object_methods.erl:141: Call to missing or unexported function elixir_dispatch:dispatch/3
elixir_object_methods.erl:164: Call to missing or unexported function elixir_errors:error/1
elixir_object_methods.erl:168: Call to missing or unexported function elixir_errors:error/1
elixir_transform.erl:57: Function will never be called
elixir_transform.erl:152: Call to missing or unexported function elixir_tree_helpers:build_method_call/4
elixir_transform.erl:343: Call to missing or unexported function elixir_tree_helpers:build_bin/2
elixir_transform.erl:397: Call to missing or unexported function elixir_interpolation:transform/3
elixir_transform.erl:409: Call to missing or unexported function elixir_tree_helpers:build_var_name/2
elixir_transform.erl:703: Call to missing or unexported function elixir_module:scope_for/2
elixir_transform.erl:705: Call to missing or unexported function elixir_module:transform/4
elixir_transform.erl:760: Call to missing or unexported function elixir_tree_helpers:build_var_name/2
elixir_transform.erl:819: Call to missing or unexported function elixir_tree_helpers:build_var_name/2
elixir_transform.erl:885: Call to missing or unexported function elixir_tree_helpers:build_method_call/4
elixir_try.erl:102: The call elixir_try:normalize_rescue(Line::any(),'nil',S::#elixir_scope{}) will never return since it differs in the 2nd argument from the success typing arguments: (any(),maybe_improper_list() | {atom(),_,_},#elixir_scope{})
elixir_try.erl:104: The call elixir_try:normalize_rescue(Line::any(),'nil',S::#elixir_scope{}) will never return since it differs in the 2nd argument from the success typing arguments: (any(),maybe_improper_list() | {atom(),_,_},#elixir_scope{})

Applications