Skip to content

Instantly share code, notes, and snippets.

@jamesaimonetti
Created October 27, 2016 19:25
Show Gist options
  • Save jamesaimonetti/3b07d26fa6cd280b231f3fb1f18a8376 to your computer and use it in GitHub Desktop.
Save jamesaimonetti/3b07d26fa6cd280b231f3fb1f18a8376 to your computer and use it in GitHub Desktop.
james@pdx:~/local/git/2600hz/kazoo$ ./scripts/dialyze-changed.bash core/kazoo_amqp/ebin/gen_listener.beam core/kazoo_number_manager/ebin/ core/kazoo_json/ebin/ core/kazoo_web/ebin/ core/kazoo_data/ebin/
dialyzing changed files:
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_carriers.erl:302: The pattern <Number, 'undefined', _DryRun> can never match the type <knm_number:knm_number(),<<_:8,_:_*8>>,boolean()>
knm_carriers.erl:445: The call knm_number:phone_number(Number::<<_:8,_:_*8>>) does not have an opaque term of type knm_number:knm_number() as 1st argument
knm_inum.erl:63: The test <<_:8,_:_*8>> =:= 'undefined' can never evaluate to 'true'
knm_inum.erl:64: The pattern 'true' can never match the type 'false'
knm_local.erl:83: Invalid type specification for function knm_local:find_more/6. The success typing is (<<_:40,_:_*8>>,pos_integer(),non_neg_integer(),<<_:8,_:_*8>>,non_neg_integer(),[knm_number:knm_number()]) -> {'ok',[knm_number:knm_number()]}
knm_managed.erl:62: The test <<_:8,_:_*8>> =:= 'undefined' can never evaluate to 'true'
knm_managed.erl:63: The pattern 'true' can never match the type 'false'
knm_reserved.erl:77: Invalid type specification for function knm_reserved:find_more/6. The success typing is (<<_:8,_:_*8>>,pos_integer(),non_neg_integer(),<<_:8,_:_*8>>,non_neg_integer(),[knm_number:knm_number()]) -> {'ok',[knm_number:knm_number()]}
knm_reserved_reseller.erl:77: Invalid type specification for function knm_reserved_reseller:find_more/6. The success typing is (<<_:8,_:_*8>>,pos_integer(),non_neg_integer(),<<_:8,_:_*8>>,non_neg_integer(),[knm_number:knm_number()]) -> {'ok',[knm_number:knm_number()]}
knm_telnyx.erl:44: The specified type for the 1st argument of is_number_billable/1 (knm_number:knm_number()) is not a supertype of knm_phone_number:knm_phone_number(), which is expected type for this argument in the callback of the knm_gen_carrier behaviour
knm_vitelity.erl:213: The variable _ can never match since previous clauses completely covered the type {'ok',knm_number:knm_number()}
knm_voip_innovations.erl:174: The created fun has no local return
knm_voip_innovations.erl:174: The pattern [] can never match the type {[any()]}
knm_voip_innovations.erl:174: The pattern [JObj | _] can never match the type {[any()]}
knm_voip_innovations.erl:174: Fun application with arguments (JObjs::{[any()]}) will never return since it differs in the 1st argument from the success typing arguments: (maybe_improper_list())
knm_voip_innovations.erl:194: The call knm_voip_innovations:maybe_return({'error',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(),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}}]} | {'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}},N::knm_number:knm_number()) will never return since it differs in the 1st argument from the success typing arguments: ({'ok',{[{_,_}]}},knm_number:knm_number())
knm_number.erl:410: Function reconcile_number/2 has no local return
cb_phone_numbers_v1.erl:239: The call cb_phone_numbers_v1:set_response({[{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}}]},#{}#,Context::any()) breaks the contract ({'ok',kz_json:object()} | knm_number_return() | {binary(),binary()},binary(),cb_context:context()) -> cb_context:context()
cb_phone_numbers_v1.erl:252: The call cb_phone_numbers_v1:set_response(Results::{[{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}}]},#{}#,Context::any()) breaks the contract ({'ok',kz_json:object()} | knm_number_return() | {binary(),binary()},binary(),cb_context:context()) -> cb_context:context()
cb_phone_numbers_v1.erl:263: The call cb_phone_numbers_v1:set_response(Results::{[{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}}]},#{}#,Context::any()) breaks the contract ({'ok',kz_json:object()} | knm_number_return() | {binary(),binary()},binary(),cb_context:context()) -> cb_context:context()
cb_phone_numbers_v1.erl:293: The call cb_phone_numbers_v1:set_response(Results::{[{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}}]},#{}#,Context::any()) breaks the contract ({'ok',kz_json:object()} | knm_number_return() | {binary(),binary()},binary(),cb_context:context()) -> cb_context:context()
cb_phone_numbers_v1.erl:404: Invalid type specification for function cb_phone_numbers_v1:get_find_numbers_req/1. The success typing is (_) -> [{'account_id' | 'country' | 'offset' | 'prefix' | 'quantity' | 'reseller_id',_},...]
cb_phone_numbers_v1.erl:515: The pattern {'ok', JObj} can never match the type [{[{_,_}]}] | {[{atom() | <<_:8,_:_*8>> | [any()] | pos_integer(),atom() | binary() | [any()] | number() | {_} | {_,_} | {_,_,_}}]} | {'error',atom() | {[{_,_}]}} | {'dry_run',_,non_neg_integer()}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment