erlyweb

Code pulled with git from git://github.com/yariv/erlyweb.git with the last commit being a3a478d

These are Intersection warnings for erlyweb.

(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
erlsql.erl:256: The pattern 'undefined' can never match the type [binary() | [binary() | [any()] | 32 | 40 | 41 | 46 | 63,...] | 32 | 63]
erlsql.erl:284: The pattern 'undefined' can never match the type binary() | [binary() | [any()] | 32 | 40 | 41 | 46 | 63,...] | 63
erlsql.erl:396: The pattern 'undefined' can never match the type [binary() | [binary() | [any()] | 32 | 40 | 41 | 46 | 63,...] | 32 | 63]
erlsql.erl:445: The call erlsql:subquery(Val::any(),Op::any(),Subquery::{'select',_,_,_,_,_,_},Safe::boolean()) will never return since it differs in the 3rd argument from the success typing arguments: (atom() | binary() | [any()] | number() | {_,atom() | binary() | maybe_improper_list() | number() | {_,atom() | binary() | maybe_improper_list() | number() | {_,_} | {_,_,_}} | {_,_,_}} | {_,_,atom() | binary() | maybe_improper_list() | number() | {_,_} | {_,_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}} | {'select',atom(),_,{_,_},'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}}},'any' | 'in' | 'some',{'select',_} | {'delete' | 'insert' | 'select' | 'update' | {'delete',atom() | {_,_}} | {'select',_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}} | {'select',atom(),_,{_,_},'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}},_,_} | {'delete' | 'insert' | 'select' | 'update' | {'delete',atom() | {_,_}} | {'select',_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}} | {'select',atom(),_,{_,_},'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}},_,_,_} | {'delete' | 'insert' | 'select' | 'update' | {'delete',atom() | {_,_}} | {'select',_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,_} | {'delete' | 'insert' | 'select' | 'update' | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_},_,_,'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}} | {'select',atom(),_,{_,_},'undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_} | {_,_,_,_}},_,_,'undefined' | binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []) | {_,_} | {_,_,atom() | binary() | maybe_improper_list() | number() | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_}},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {'group_by',_} | {'limit',atom() | binary() | [any()] | number() | {_,_}} | {'order_by',_} | {'where','undefined' | binary() | maybe_improper_list(any(),binary() | []) | {_,_} | {_,_,_}} | {'limit',atom() | binary() | [any()] | number() | {_,_},atom() | binary() | [any()] | number() | {_,_}} | {'group_by',_,'having',atom() | binary() | [any()] | number() | {_,_} | {_,_,_}}} | {'select',atom(),_,{'from',_},'undefined' | binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []) | {_,atom() | binary() | maybe_improper_list() | number() | {_,_} | {_,_,_}} | {_,_,atom() | binary() | maybe_improper_list() | number() | {_,_} | {_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_}},'undefined' | binary() | nonempty_maybe_improper_list(any(),binary() | []) | {'group_by',_} | {'limit',atom() | binary() | [any()] | number() | {_,_}} | {'order_by',_} | {'limit',atom() | binary() | [any()] | number() | {_,_},atom() | binary() | [any()] | number() | {_,_}} | {'group_by',_,'having',atom() | binary() | [any()] | number() | {_,_} | {_,_,_}}},boolean())

Applications