Created
October 27, 2016 19:25
-
-
Save jamesaimonetti/3b07d26fa6cd280b231f3fb1f18a8376 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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