Code pulled with manual download from http://plc.inf.elte.hu/erlang/dl/ on Mon Mar 28 01:13:48 EEST 2011
dialyzer -n -q -Wno_improper_lists -r lib
cl_2d_gui.erl:258: The pattern Mem = {'mem', _, 'undefined', _, _, _, _} can never match the type #mem{points::[any()],clusterings::nonempty_maybe_improper_list(),is_fuzzy::boolean()}
cl_core.erl:273: Function dist_to_file/2 has no local return
cl_core.erl:274: The call file:open(FileName::any(),'write') breaks the contract (Filename,Modes) -> {'ok',IoDevice} | {'error',Reason} when is_subtype(Filename,name()), is_subtype(Modes,[mode()]), is_subtype(IoDevice,io_device()), is_subtype(Reason,posix() | 'badarg' | 'system_limit')
cl_core.erl:275: The created fun has no local return
cl_core.erl:278: The created fun has no local return
cl_core.erl:281: The created fun has no local return
cl_core.erl:290: Function valueofattr/1 will never be called
cl_db_invalidator.erl:36: Call to missing or unexported function reflib_ui:add_msg_handler/2
cl_db_invalidator.erl:40: Call to missing or unexported function reflib_ui:del_msg_handler/2
cl_genetic.erl:167: The pattern <_Global, PopLevel, 'roulettewheel'> can never match the type <#global{data::'null',output::'error' | 'null' | {'stdout',_} | {'device',_,_} | {'file',_,[any()]} | {'function',_,[any(),...]} | {'list',[any()],_} | {'process',_,[any(),...]},options::[any()]},[{number(),dict()}],'upperquarter'>
cl_genetic.erl:170: The created fun has no local return
cl_ui.erl:73: The variable _ can never match since previous clauses completely covered the type {'table','created' | 'exists'}
cl_ui.erl:119: The pattern 'function' can never match the type 'string'
cl_ui.erl:123: Call to missing or unexported function reflib_ui:message/3
cl_ui.erl:132: Guard test is_function(T::'agglom_attr' | 'modules' | 'smart' | 'stdout' | 'undefined' | 'weight' | [any(),...] | number() | {_,_}) can never succeed
cl_ui.erl:161: Function prepare/1 has no local return
cl_ui.erl:164: The call lists:map(fun((_,_) -> any()),Modules::any()) will never return since it differs in the 1st argument from the success typing arguments: (fun((_) -> any()),[any()])
cl_ui.erl:188: The variable _ can never match since previous clauses completely covered the type {'cl_ui','exists' | 'noexists'}
refcl_main.erl:89: The variable _ can never match since previous clauses completely covered the type {'table','created' | 'exists'}
refcl_main.erl:149: Guard test Value::'agglom_attr' | 'modules' | 'smart' | 'stdout' | 'undefined' | 'weight' | [any(),...] | number() | {_,_} == [] can never succeed
refcl_main.erl:165: Call to missing or unexported function reflib_ui:message/3
refcl_main.erl:181: The pattern <[], Term> can never match the type <'agglom_attr' | 'modules' | 'smart' | 'stdout' | 'undefined' | 'weight' | [any(),...] | number() | {_,_},_>
refcl_main.erl:214: The variable _ can never match since previous clauses completely covered the type {'cl_ui','exists' | 'noexists'}
ucl_alg.erl:352: Function load_attr_matrix/2 has no local return
ucl_alg.erl:363: Call to missing or unexported function ucl_options:get_fun/1
ucl_attr.erl:291: Call to missing or unexported function reflib_query:seq/3
ucl_clustering.erl:155: Function make_cluster/3 has no local return
ucl_clustering.erl:157: The call ucl_clustering:set_clusters(Cluster::#clCluster{},Cling::#clClustering{}) will never return since it differs in the 1st argument from the success typing arguments: ([any()],#clClustering{})
ucl_common.erl:182: Function ets_unpack/2 has no local return
ucl_common.erl:193: The call referl_misc:ets_list2tab(EtsTableID::atom() | tid(),Content::maybe_improper_list()) contains an opaque term as 1st argument when terms of different types are expected in these positions
ucl_exec.erl:399: Call to missing or unexported function reflib_ui_router:message/3
ucl_exec.erl:405: The inferred return type of code_change/3 (#clExecState{}) has nothing in common with {'error',_} | {'ok',_}, which is the expected return type for the callback of gen_server behaviour
ucl_exec.erl:539: Call to missing or unexported function reflib_ui_router:message/3
ucl_state.erl:153: Function load_attr_matrix/3 has no local return
ucl_state.erl:155: Call to missing or unexported function ucl_common:delete_matrix/1
ucl_state.erl:160: The call ucl_state:set_items(Items::'ok',ItemsETS::atom() | tid()) will never return since it differs in the 1st and 2nd argument from the success typing arguments: ([any()],#clState{})
ucl_state.erl:477: Call to missing or unexported function lists:forach/2
refanal_dataflow.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_dataflow.erl:418: The pattern [Ret | _] can never match the type []
refanal_dataflow.erl:423: The pattern [{_, Expr} | _] can never match the type []
refanal_dataflow.erl:434: The call refcore_graph:data(Node::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type tuple() is expected
refanal_dataflow.erl:435: The variable Node can never match since previous clauses completely covered the type [refcore_anal:gnode()]
refanal_dataflow.erl:438: Function return_points/2 will never be called
refanal_dataflow.erl:580: The pattern <Dir, List1, {Link, 'back'}, List2> can never match the type <_,_,'cons_back' | 'cons_e' | 'dep' | 'flow' | 'sel' | 'sel_e',_>
refanal_dynfun.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_dynfun.erl:282: The call refanal_dynfun:listcons_length(E::{'$gn',_,_}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_dynfun.erl:284: The call refanal_dynfun:listcons_length(E::{'$gn',_,_}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_expr.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_expr.erl:90: The call refcore_graph:rmlink(Parent::refcore_anal:gnode(),'clause',Child::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_expr.erl:128: The call refcore_anal:children(Expr::tuple()) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_fun.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_fun.erl:199: The call reflib_expression:value(ArityN::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type tuple() is expected
refanal_fun.erl:200: The call reflib_expression:value(FunNameN::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type tuple() is expected
refanal_fun.erl:297: The call refcore_anal:children(Clause::tuple()) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_fun.erl:430: The call refcore_graph:links(Node::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type tuple() is expected
refanal_mod.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_pp_anal.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_rec.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_rec.erl:219: Function parent_file/1 has no local return
refanal_rec.erl:221: The call refcore_graph:class(P::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type {'$gn',_,_} is expected
refanal_root.erl:26: Callback info about the refcore_anal behaviour is not available
refanal_root.erl:41: The call refcore_anal:children(Node::{'$gn',_,_}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_root.erl:43: The call refanal_root:parent_form(Node::{'$gn',_,_}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_root.erl:47: Function parent_form/1 has no local return
refanal_root.erl:48: The call refcore_anal:parent(Node::{'$gn',_,_}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_root.erl:49: The call refcore_graph:class(P::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type {'$gn',_,_} is expected
refanal_var.erl:30: Callback info about the refcore_anal behaviour is not available
refanal_var.erl:94: The call refcore_graph:rmlink(Node::refcore_anal:gnode(),'scope',Sc::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:95: The call refcore_graph:rmlink(Node::refcore_anal:gnode(),'visib',Expr::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:96: The call refcore_graph:rmlink(Node::refcore_anal:gnode(),'vardef',Var::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:97: The call refcore_graph:rmlink(Node::refcore_anal:gnode(),'varvis',Var::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:105: The call refcore_graph:rmlink(Node::refcore_anal:gnode(),'varref',Var::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:106: The call refcore_graph:rmlink(Node::refcore_anal:gnode(),'varbind',Var::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:107: The call refcore_graph:rmlink(Var::any(),'varintro',Node::refcore_anal:gnode()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
refanal_var.erl:121: The call refcore_graph:data(Cl::refcore_anal:gnode()) contains an opaque term as 1st argument when a structured term of type tuple() is expected
refanal_var.erl:236: The call refcore_anal:data(Expr::tuple()) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refanal_var.erl:322: Guard test Include::'true' =:= 'false' can never succeed
refanal_var.erl:394: The call refcore_graph:rmlink(Clause::refcore_anal:gnode(),'varvis',Var::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:468: The call refcore_graph:rmlink(Var::any(),'varintro',Expr::refcore_anal:gnode()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
refanal_var.erl:480: The call refcore_graph:rmlink(From::refcore_anal:gnode(),Del::'varbind' | 'varref',BadD::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:487: The call refcore_graph:rmlink(From::refcore_anal:gnode(),Add::'varbind' | 'varref',BadA::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refanal_var.erl:489: The call refcore_graph:rmlink(From::refcore_anal:gnode(),Add::'varbind' | 'varref',BadA::any()) contains an opaque term as 1st argument when terms of different types are expected in these positions
refcore_anal.erl:181: The pattern 'stop' can never match the type {'ok','ok' | [#entry{node::'undefined' | refcore_anal:gnode(),data::'undefined' | tuple(),parent::'none' | 'undefined' | refcore_anal:gnode(),children::[any()],lexlink::atom(),lexes::'undefined' | [any()]},...]}
refcore_anal.erl:188: The pattern {'stop', Reply} can never match the type 'ok'
refcore_anal.erl:231: The pattern [{Anal, {P, T, C}} | _] can never match the type []
refcore_anal.erl:243: Function handle_remove/5 has no local return
refcore_anal.erl:247: The call refcore_anal:remove_link(Parent::refcore_anal:gnode(),Tag::any(),Child::{'$gn',_,_},St::#state{top::'undefined' | refcore_anal:gnode(),mods::'undefined' | [atom()],tree::atom() | tid()}) does not have an opaque term of type refcore_anal:gnode() as 3rd argument
refcore_anal.erl:249: Function will never be called
refcore_anal.erl:259: The call refcore_anal:remove_link(Parent::any(),Tag::any(),Child::{'$gn',_,_},St::#state{top::'undefined' | refcore_anal:gnode(),mods::'undefined' | [atom()],tree::atom() | tid()}) does not have an opaque term of type refcore_anal:gnode() as 3rd argument
refcore_anal.erl:284: The call refcore_anal:update_entry(Node::{'$gn',_,_},Data::any(),St::#state{top::'undefined' | refcore_anal:gnode(),mods::'undefined' | [atom()],tree::atom() | tid()}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refcore_anal.erl:301: Function handle_finalize/1 has no local return
refcore_anal.erl:328: Guard test refcore_anal:gnode() =:= Node::{'$gn',_,_} can never succeed
refcore_anal.erl:329: Function will never be called
refcore_anal.erl:337: Function lnkinf/2 will never be called
refcore_anal.erl:435: The call refcore_anal:read_entry(Child::{'$gn',_,_},St::#state{top::'undefined' | refcore_anal:gnode(),mods::'undefined' | [atom()],tree::atom() | tid()}) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refcore_anal.erl:441: Function update_entry/3 has no local return
refcore_anal.erl:442: The call refcore_anal:read_entry(Node::tuple(),St::any()) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refcore_anal.erl:453: Guard test Op::'extract' | 'read' == 'remove' can never succeed
refcore_anal.erl:454: Function will never be called
refcore_anal.erl:462: Invalid type specification for function refcore_anal:store_tree/2. The success typing is ([tuple()] | tuple(),#state{top::'undefined' | refcore_anal:gnode(),mods::'undefined' | [atom()],tree::atom() | tid()}) -> 'true'
refcore_anal.erl:468: Function delete_garbage/1 has no local return
refcore_anal.erl:469: Function will never be called
refcore_anal.erl:470: Record construction #entry{node::'$1',data::'_',parent::'none',children::'_',lexlink::'_',lexes::'_'} violates the declared type of field node::'undefined' | refcore_anal:gnode() and data::'undefined' | tuple() and children::'undefined' | [{atom(),[refcore_anal:gnode()]}] and lexes::'undefined' | [refcore_anal:gnode()]
refcore_anal.erl:473: Function garbage_tree/2 will never be called
refcore_anal.erl:476: Function will never be called
refcore_anal.erl:477: Function will never be called
refcore_anal.erl:478: Function will never be called
refcore_anal.erl:507: The call refcore_anal:make_entry(Node::tuple(),any()) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refcore_anal.erl:597: Function anal_remove/3 will never be called
refcore_anal.erl:599: The created fun has no local return
refcore_anal.erl:603: Function anal_update/3 will never be called
refcore_anal.erl:605: The created fun has no local return
refcore_anal.erl:637: Function update/2 has no local return
refcore_anal.erl:639: The call refcore_anal:update_entry(Node::tuple(),Data::any(),any()) does not have an opaque term of type refcore_anal:gnode() as 1st argument
refcore_esg.erl:202: The pattern 'true' can never match the type 'false'
refcore_esg.erl:684: Function handle_anal_down/3 has no local return
refcore_esg.erl:694: Function get_anal_top/2 has no local return
refcore_esg.erl:695: Record construction #anal{top::'_',pid::'$1',free::'_'} violates the declared type of field top::'off_tree' | 'undefined' | tuple() and pid::'undefined' | pid() and free::boolean()
refcore_fileman.erl:463: Binary construction will fail since the value field Rest in segment Rest:8/integer-unit:1 has type binary()
refcore_fileman.erl:616: The variable Input can never match since previous clauses completely covered the type [any()]
refcore_fileman.erl:618: The created fun has no local return
refcore_fileman.erl:619: Function will never be called
refcore_fileman.erl:621: The created fun has no local return
refcore_fileman.erl:624: Function tokens_to_text/1 will never be called
refcore_fileman.erl:625: Function will never be called
refcore_fileman.erl:627: Function token_to_text/1 will never be called
refcore_fileman.erl:635: The pattern {'token', _, Text, Pre, Post} can never match the type [any()]
refcore_fileman.erl:638: Function has_newline/1 will never be called
refcore_fileman.erl:905: The pattern 0 can never match the type float()
refcore_funprop.erl:136: Guard test boolean() == 'no' can never succeed
refcore_graph.erl:428: The pattern {'false', 'true'} can never match the type {'false','false'}
refcore_pp.erl:1122: The test {'$gn',_,_} == 'no' can never evaluate to 'true'
refcore_pp.erl:1123: The test {'$gn',_,_} == 'no' can never evaluate to 'true'
refcore_preproc.erl:490: The call filelib:is_dir(Dir::char()) breaks the contract (Name) -> boolean() when is_subtype(Name,filename() | dirname())
referl_misc.erl:1264: Function string_linecol/2 has no local return
referl_misc.erl:1264: Guard test boolean() == 'inf' can never succeed
reflib_transform.erl:634: The pattern <[Q | Qs], [A | As], [V | Vs]> can never match the type <[],[],[boolean()]>
referl_emacs.erl:114: The variable _ can never match since previous clauses completely covered the type 'eof' | {'error',{integer() | {integer(),pos_integer()},atom() | tuple(),_}} | {'ok',_}
referl_event_helper.erl:66: Call to missing or unexported function reflib_ui_router:add_msg_handler/2
referl_event_helper.erl:70: Call to missing or unexported function reflib_ui_router:add_msg_handler/2
referl_event_printer.erl:51: Call to missing or unexported function reflib_ui_router:add_msg_handler/3
referl_event_printer.erl:55: Call to missing or unexported function reflib_ui_router:del_msg_handler/2
referl_gs_sup.erl:274: Call to missing or unexported function reflib_ui_router:undo/1
referl_gs_sup.erl:414: Call to missing or unexported function reflib_ui_router:transform/2
ri.erl:1723: Guard test is_integer(Pos::maybe_improper_list() | tuple()) can never succeed
ri.erl:2083: The pattern [{M, F, A} | _] can never match the type string()
ri.erl:2084: The pattern [{_, {M, F, A}} | _] can never match the type string()
ri.erl:2085: The pattern [{PM, PF, PA} | _] can never match the type []
ri.erl:2087: Function will never be called
ri.erl:2118: The variable FileNames can never match since previous clauses completely covered the type [string()]
ri.erl:2149: The variable FileNames can never match since previous clauses completely covered the type [string()]
ris.erl:406: Function env/1 will never be called
ris.erl:412: Function addenv/3 will never be called
ris.erl:420: Function delenv/2 will never be called
ris.erl:426: Function delenv/3 will never be called
ris.erl:434: Function env/2 will never be called
ris.erl:441: Function will never be called
ris.erl:449: Function setenv/2 will never be called
ris.erl:458: Function delenv/1 will never be called
ris.erl:656: Guard test is_function(F::nonempty_maybe_improper_list(),1) can never succeed
ris.erl:657: Function will never be called
reftr_apply_funcluster.erl:169: Call to missing or unexported function reflib_ui_router:add/1
reftr_move_fun.erl:788: The pattern {_, _} can never match the type non_neg_integer()
reftr_reorder_funpar.erl:261: The pattern 'true' can never match the type 'false'
reftr_reorder_funpar.erl:287: The pattern {'macro', MacNode, Order, TokenLists, Commas} can never match the type char()
reftr_reorder_funpar.erl:298: The variable _ can never match since previous clauses completely covered the type 'ok'
reftr_reorder_funpar.erl:301: Function combine_tokenlists/3 will never be called
reftr_reorder_funpar.erl:303: Function will never be called
reftr_upgrade_iface.erl:276: The pattern 'true' can never match the type 'false'
reftr_upgrade_iface.erl:286: Function change_with_compfun/4 will never be called
reftr_upgrade_iface.erl:289: Function will never be called
reftr_upgrade_iface.erl:292: Function will never be called
reftr_upgrade_iface.erl:482: Function replace_app/2 will never be called
reftr_upgrade_iface.erl:732: The pattern {_, {'cd', From, To}} can never match the type 'false' | {_,[any()]}
reftr_upgrade_iface.erl:850: Function no_free_vars/2 will never be called
reftr_upgrade_iface.erl:851: The created fun has no local return
reftr_upgrade_iface.erl:857: Function create_comp_fun/3 will never be called
reftr_upgrade_iface.erl:872: Function create_fun_form/3 will never be called
reftr_upgrade_iface.erl:875: Function create_application/2 will never be called
reftr_upgrade_iface.erl:881: Function create_case_expr/2 will never be called
reftr_upgrade_iface.erl:882: Function will never be called
refusr_metrics.erl:270: The variable SE can never match since previous clauses completely covered the type {'avg' | 'fmaxname' | 'helpfun' | 'list' | 'max' | 'maxlist' | 'min' | 'sum',[any()] | number() | {[any()]} | {integer(),_}}
refusr_sq.erl:770: The variable _ can never match since previous clauses completely covered the type #state{action::'closure' | 'iteration' | 'property_query' | 'selection' | 'statistics'}
refusr_sq_ui.erl:298: Call to missing or unexported function reflib_ui_router:message/2
leexinc.hrl:49: The pattern <Rest, Line, {'token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token',[{atom(),_} | {'atom',_,atom()} | {'comparator',_,atom()} | {'int',_,integer()} | {'string',_,[any()]}]>
leexinc.hrl:49: The pattern <Rest, Line, {'token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token',[{atom(),_} | {'compare' | 'fil' | 'filters' | 'for' | 'func' | 'function' | 'integer' | 'metrics' | 'module' | 'save' | 'show' | 'string',_,atom() | [any()] | integer()}]>
leexinc.hrl:52: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error' | 'skip_token',[{atom(),_} | {'atom',_,atom()} | {'comparator',_,atom()} | {'int',_,integer()} | {'string',_,[any()]}]>
leexinc.hrl:52: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error' | 'skip_token',[{atom(),_} | {'compare' | 'fil' | 'filters' | 'for' | 'func' | 'function' | 'integer' | 'metrics' | 'module' | 'save' | 'show' | 'string',_,atom() | [any()] | integer()}]>
leexinc.hrl:54: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token',[{atom(),_} | {'atom',_,atom()} | {'comparator',_,atom()} | {'int',_,integer()} | {'string',_,[any()]}]>
leexinc.hrl:54: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token',[{atom(),_} | {'compare' | 'fil' | 'filters' | 'for' | 'func' | 'function' | 'integer' | 'metrics' | 'module' | 'save' | 'show' | 'string',_,atom() | [any()] | integer()}]>
leexinc.hrl:59: The pattern <Rest, Line, {'skip_token', Push}, Ts> can never match the type <_,_,'error',[{atom(),_} | {'atom',_,atom()} | {'comparator',_,atom()} | {'int',_,integer()} | {'string',_,[any()]}]>
leexinc.hrl:59: The pattern <Rest, Line, {'skip_token', Push}, Ts> can never match the type <_,_,'error',[{atom(),_} | {'compare' | 'fil' | 'filters' | 'for' | 'func' | 'function' | 'integer' | 'metrics' | 'module' | 'save' | 'show' | 'string',_,atom() | [any()] | integer()}]>
leexinc.hrl:62: The pattern <_Rest, Line, {'error', S}, _Ts> can never match the type <_,_,'error',[{atom(),_} | {'atom',_,atom()} | {'comparator',_,atom()} | {'int',_,integer()} | {'string',_,[any()]}]>
leexinc.hrl:62: The pattern <_Rest, Line, {'error', S}, _Ts> can never match the type <_,_,'error',[{atom(),_} | {'compare' | 'fil' | 'filters' | 'for' | 'func' | 'function' | 'integer' | 'metrics' | 'module' | 'save' | 'show' | 'string',_,atom() | [any()] | integer()}]>
leexinc.hrl:118: The pattern <Rest, Line, {'token', T, Push}> can never match the type <_,_,'error' | 'skip_token'>
leexinc.hrl:121: The pattern <Rest, Line, {'end_token', T}> can never match the type <_,_,'error' | 'skip_token'>
leexinc.hrl:123: The pattern <Rest, Line, {'end_token', T, Push}> can never match the type <_,_,'error' | 'skip_token'>
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' | 'skip_token',_>
leexinc.hrl:195: The pattern <Rest, Line, {'end_token', T}, Ts> can never match the type <_,_,'error' | 'skip_token',_>
leexinc.hrl:197: The pattern <Rest, Line, {'end_token', T, Push}, Ts> can never match the type <_,_,'error' | 'skip_token',_>
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' | 'skip_token',_>
leexinc.hrl:246: The pattern <Rest, Line, {'end_token', _T}, Error> can never match the type <_,_,'error' | 'skip_token',_>
leexinc.hrl:248: The pattern <Rest, Line, {'end_token', _T, Push}, Error> can never match the type <_,_,'error' | 'skip_token',_>
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', [{'refusr_sq_parser', F, ArityOrArgs} | _]> can never match the type <_,[{atom(),atom(),[any()] | byte(),[any()]}]>
yeccpre.hrl:70: Function yecc_error_type/2 has no local return
yeccpre.hrl:70: The pattern <'function_clause', [{'refusr_m_parser', F, ArityOrArgs} | _]> can never match the type <_,[{atom(),atom(),[any()] | byte(),[any()]}]>
yeccpre.hrl:70: Function yecc_error_type/2 has no local return
yeccpre.hrl:70: The pattern <'function_clause', [{'refcore_gen_syn', F, ArityOrArgs} | _]> can never match the type <_,[{atom(),atom(),[any()] | byte(),[any()]}]>
yeccpre.hrl:70: Function yecc_error_type/2 has no local return
yeccpre.hrl:70: The pattern <'function_clause', [{'refcore_erl_parser', F, ArityOrArgs} | _]> can never match the type <_,[{atom(),atom(),[any()] | byte(),[any()]}]>
Created by Stavros Aronis using nanoc, the Perfect 'Left Menu' 2 Column Liquid Layout and icons by pixel-mixer.
Page was last updated on Wednesday February 15, 2012 at 11:07:42 EET.