ux

Code pulled with git from git://github.com/freeakk/ux.git with the last commit being 2feba99

These are Intersection warnings for ux.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists ebin
ux_cldr.erl:77: The call lists:map(fun((_) -> none()),['locale',...]) will never return since it differs in the 1st and/or 2nd argument from the success typing arguments: (fun((_) -> any()),[any(),...]) or (fun((_) -> any()),[])
ux_html.erl:41: Invalid type specification for function ux_html:strip_tags/2. The success typing is (maybe_improper_list(),[any(),...]) -> [any()]; ([any()],[]) -> [any()]
ux_html.erl:48: Invalid type specification for function ux_html:strip_tags/3. The success typing is (maybe_improper_list(),[any(),...],[any()]) -> [any()]; ([any()],[],[any()]) -> [any()]
ux_uca_common.hrl:6: Invalid type specification for function ux_uca_sort_key_uncompressed:do_extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[any(),...]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},[],fun()) -> {[],[]}
ux_uca_common.hrl:6: Invalid type specification for function ux_uca_sort_key_list:do_extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[any(),...]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},[],fun()) -> {[],[]}
ux_uca_common.hrl:6: Invalid type specification for function ux_uca_sort_key_binary_cs:do_extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[any(),...]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},[],fun()) -> {[],[]}
ux_uca_common.hrl:6: Invalid type specification for function ux_uca_sort_key_binary:do_extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[any(),...]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},[],fun()) -> {[],[]}
ux_uca_common.hrl:6: Invalid type specification for function ux_uca:do_extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},nonempty_string(),fun((_) -> any())) -> {[[any(),...]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},[],fun()) -> {[],[]}
ux_uca_extract.erl:27: Invalid type specification for function ux_uca_extract:extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},fun((_) -> any()),nonempty_string()) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},fun(),[]) -> {[],[]}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},fun((_) -> any()),nonempty_string()) -> {[[any(),...]],string()}
ux_uca_extract.erl:36: Invalid type specification for function ux_uca_extract:do_extract/3. The success typing is (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::'false',case_first::'lower' | 'off',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},fun((_) -> any()),nonempty_string()) -> {[[atom() | integer()]],string()}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},fun(),[]) -> {[],[]}; (#uca_options{hangul_terminator::integer(),natural_sort::boolean(),strength::1 | 2 | 3 | 4,alternate::'blanked' | 'non_ignorable' | 'shift_trimmed' | 'shifted',case_sensitive::boolean(),case_first::'lower' | 'off' | 'upper',backwards::boolean(),sort_key_format::'binary' | 'list' | 'uncompressed'},fun((_) -> any()),nonempty_string()) -> {[[any(),...]],string()}
ux_uca_extract.erl:202: Invalid type specification for function ux_uca_extract:do_decimal/5. The success typing is (fun(('get_more') -> 'no_more'; ('restart') -> fun(([any()],[any()]) -> {_,_}); ('term') -> integer(); ([any()]) -> {[any()],[]}; ('get_more' | 'restart' | 'term' | [any()]) -> no_return()),fun((_) -> nonempty_maybe_improper_list()),integer(),[any()],[[atom() | integer()]]) -> 'no_more' | fun(([any()],[any()]) -> {_,_}) | integer() | {_,_}
ux_uca_extract.erl:215: The call ux_uca_extract:do_decimal(NewE::[],F::fun((_) -> nonempty_maybe_improper_list()),N::number(),NewW::[any()],Acc::any()) will never return since it differs in the 1st argument from the success typing arguments: (fun(('get_more') -> 'no_more'; ('restart') -> fun(([any()],[any()]) -> {_,_}); ('term') -> integer(); ([any()]) -> {[any()],[]}; ('get_more' | 'restart' | 'term' | [any()]) -> no_return()),fun((_) -> nonempty_maybe_improper_list()),integer(),[any()],[[atom() | integer()]])
ux_unidata_parser.erl:65: Invalid type specification for function ux_unidata_parser:run/1. The success typing is ({atom(),'all' | [],_}) -> {'ok',[],[any()]}
ux_unidata_parser.erl:197: Invalid type specification for function ux_unidata_parser:split/2. The success typing is (_,[any(),...]) -> [[any()],...]; (_,[]) -> [[],...]
ux_unidata_server.erl:98: Function handle_cast/2 has no local return
ux_unidata_server.erl:105: The created fun has no local return
ux_unidata_server.erl:159: Function load_default/1 has no local return
ux_unidata_server.erl:163: The call ux_unidata_filelist:set_source('process',Parser::'allkeys' | 'blocks' | 'comp_exclusions' | 'grapheme_break_property' | 'norm_props' | 'scripts' | 'unidata' | 'word_break_property',Types::'all',FileName::nonempty_string()) will never return since it differs in the 1st and/or 3rd argument from the success typing arguments: ('node',any(),any(),any()) or ('process',atom(),[atom()],string())

Applications