Skip to content

Instantly share code, notes, and snippets.

@jamesaimonetti
Last active September 12, 2016 16:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jamesaimonetti/4c2aa849066d08ee19e4586402ed100d to your computer and use it in GitHub Desktop.
Save jamesaimonetti/4c2aa849066d08ee19e4586402ed100d to your computer and use it in GitHub Desktop.
james@pdx:~/local/git/2600hz/kazoo$ dialyzer --plt .kazoo.plt applications/crossbar/ebin/cb_tasks.beam applications/tasks/ebin/kz_tasks_help.beam applications/tasks/ebin/kz_tasks_scheduler.beam applications/tasks/ebin/kt_numbers.beam applications/tasks/ebin/kt_services.beam applications/tasks/ebin/kt_skel.beam core/kazoo_tasks/ebin/kz_csv.beam core/kazoo_tasks/ebin/kz_tasks.beam applications/crossbar/ebin/cb_context.beam applications/crossbar/ebin/crossbar_bindings.beam applications/crossbar/ebin/crossbar_doc.beam applications/crossbar/ebin/crossbar_util.beam core/kazoo/ebin/kapi_tasks.beam core/kazoo_config/ebin/kapps_config.beam core/kazoo_apps/ebin/kapps_util.beam core/kazoo_number_manager/ebin/knm_errors.beam core/kazoo_number_manager/ebin/knm_number.beam core/kazoo_number_manager/ebin/knm_phone_number.beam core/kazoo_number_manager/ebin/knm_util.beam core/kazoo_documents/ebin/kz_account.beam core/kazoo_amqp/ebin/kz_amqp_worker.beam core/kazoo/ebin/kz_api.beam core/kazoo_data/ebin/kz_datamgr.beam core/kazoo/ebin/kz_doc.beam core/kazoo/ebin/kz_json.beam core/kazoo_services/ebin/kz_services.beam core/kazoo/ebin/kz_util.beam core/kazoo_documents/ebin/kzd_task.beam core/kazoo/ebin/props.beam applications/tasks/ebin/tasks_bindings.beam
Checking whether the PLT .kazoo.plt is up-to-date... yes
Compiling some key modules to native code... done in 0m0.36s
Proceeding with analysis...
knm_number.erl:399: Function reconcile_number/2 has no local return
kz_amqp_worker.erl:19: Callback info about the gen_listener behaviour is not available
kz_csv.erl:176: The call kz_util:iolist_join(44,[binary()]) breaks the contract (Sep,List1) -> List2 when is_subtype(Sep,T), is_subtype(List1,[T]), is_subtype(List2,[T]), is_subtype(T,iodata())
kz_csv.erl:186: Function json_to_iolist/1 has no local return
kz_csv.erl:190: The call kz_util:iolist_join(44,Fields::[atom() | <<_:8,_:_*8>> | fun() | [<<_:8,_:_*8>> | char()] | number()]) breaks the contract (Sep,List1) -> List2 when is_subtype(Sep,T), is_subtype(List1,[T]), is_subtype(List2,[T]), is_subtype(T,iodata())
kz_csv.erl:191: The created fun has no local return
kz_tasks.erl:132: The pattern E = {'error', _R} can never match the type {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),atom() | binary() | [atom() | binary() | [any()] | number() | {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),_}]} | {'json',maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])} | {non_neg_integer(),1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12,1..255}] | number() | {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),_}]} | {'json',maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])} | {non_neg_integer(),1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12,1..255}}]}
kz_tasks_help.erl:30: Function help/0 has no local return
kz_tasks_help.erl:32: The call kz_tasks_help:parse_apis(HelpJObj::[any()]) breaks the contract (kz_json:object()) -> kz_json:object()
kz_tasks_help.erl:41: Function help/1 has no local return
kz_tasks_help.erl:43: The call kz_tasks_help:parse_apis(HelpJObj::[any()]) breaks the contract (kz_json:object()) -> kz_json:object()
kz_tasks_help.erl:56: Function help/2 has no local return
kz_tasks_help.erl:58: The call kz_tasks_help:parse_apis(HelpJObj::[any()]) breaks the contract (kz_json:object()) -> kz_json:object()
kz_tasks_help.erl:70: Function handle_lookup_req/2 has no local return
kz_tasks_help.erl:93: Function get_help/1 has no local return
kz_tasks_help.erl:100: Function lookup_result/2 will never be called
kz_tasks_help.erl:104: Function lookup_result/3 will never be called
kz_tasks_help.erl:108: Invalid type specification for function kz_tasks_help:parse_apis/1. The success typing is ([{[{_,_}]}]) -> {[{atom() | <<_:8,_:_*8>> | [any()] | pos_integer(),atom() | binary() | [any()] | number() | {_} | {_,_} | {_,_,_}}]}
kz_tasks_scheduler.erl:473: Function task_api/2 has no local return
kz_tasks_scheduler.erl:482: Function worker_module/1 will never be called
cb_tasks.erl:278: The pattern {'error', 'unknown_category'} can never match the type {'error',{[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),atom() | binary() | [atom() | binary() | [any()] | number() | {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),_}]} | {'json',maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])} | {non_neg_integer(),1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12,1..255}] | number() | {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),_}]} | {'json',maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])} | {non_neg_integer(),1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12,1..255}}]}}
cb_tasks.erl:280: The pattern {'error', Reason = 'unknown_category_action'} can never match the type {'error',{[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),atom() | binary() | [atom() | binary() | [any()] | number() | {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),_}]} | {'json',maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])} | {non_neg_integer(),1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12,1..255}] | number() | {[{atom() | <<_:8,_:_*8>> | [atom() | <<_:8,_:_*8>> | pos_integer()] | pos_integer(),_}]} | {'json',maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])} | {non_neg_integer(),1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12,1..255}}]}}
kt_numbers.erl:151: Invalid type specification for function kt_numbers:action/1. The success typing is (<<_:32,_:_*8>>) -> [{<<_:24,_:_*8>>,<<_:64,_:_*8>> | [<<_:32,_:_*8>>]},...]
kt_numbers.erl:373: Invalid type specification for function kt_numbers:import/17. The success typing is ([atom() | <<_:8,_:_*8>> | fun() | [<<_:8,_:_*8>> | char()] | number() | {atom() | <<_:8,_:_*8>> | fun() | [any()] | number(),_}],_,<<_:8,_:_*8>>,_,_,_,_,_,_,_,atom() | binary() | string(),'undefined' | <<_:8,_:_*8>>,_,_,_,_,_) -> {'undefined' | binary() | [],_}
kt_services.erl:65: Invalid type specification for function kt_services:action/1. The success typing is (<<_:168>>) -> [{<<_:24,_:_*64>>,<<_:360,_:_*7112>>},...]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment