Code pulled with git from git://github.com/davide/ewgi.git with the last commit being 8442516
dialyzer -n -q -Wno_improper_lists --src src
ewgi_api.erl:89: Invalid type specification for function ewgi_api:empty_request/0. The success typing is () -> {'ewgi_request','undefined','undefined','undefined',{'ewgi_spec','undefined','undefined','undefined','undefined',gb_tree()},'undefined',{'ewgi_http_headers','undefined','undefined','undefined','undefined','undefined','undefined',gb_tree()},'undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined','undefined'} ewgi_api.erl:97: Invalid type specification for function ewgi_api:empty_response/0. The success typing is () -> {'ewgi_response','undefined',[],[],'undefined'} ewgi_api.erl:253: The call gb_trees:lookup(Hdr::string(),{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 2nd argument ewgi_api.erl:260: Function unzip_header_value/1 will never be called ewgi_api.erl:297: The call ewgi_api:t_insert_header(K::string() | char(),{string() | char(),_},{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 3rd argument ewgi_api.erl:317: The call ewgi_api:t_enter_header(K::string() | char(),{string() | char(),_},{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 3rd argument ewgi_api.erl:374: Function get_all_headers/1 has no local return ewgi_api.erl:376: The call gb_trees:to_list({non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 1st argument ewgi_api.erl:377: Function will never be called ewgi_api.erl:384: The created fun has no local return ewgi_api.erl:391: Function ewgi_spec/2 will never be called ewgi_api.erl:394: Invalid type specification for function ewgi_api:read_input/1. The success typing is ({'ewgi_context',{'ewgi_request','undefined' | string(),non_neg_integer(),'undefined' | string(),{'ewgi_spec',fun((_,_) -> any()),fun((_) -> any()),[any()],{_,_},{_,_}},'undefined' | string(),{'ewgi_http_headers','undefined' | [any()],'undefined' | [any()],'undefined' | [any()],'undefined' | [any()],'undefined' | [any()],'undefined' | [any()],{_,_}},'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'CONNECT' | 'DELETE' | 'GET' | 'HEAD' | 'OPTIONS' | 'POST' | 'PUT' | 'TRACE' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string(),'undefined' | string()},{'ewgi_response',{integer(),[any()]},[{_,_}],binary() | fun(() -> {} | {_,_}) | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),_}}) -> fun((fun(('eof' | {'data',binary()}) -> fun() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),integer()) -> fun(('eof' | {'data',binary()}) -> fun() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) ewgi_api.erl:406: The pattern 'undefined' can never match the type fun((fun(('eof' | {'data',binary()}) -> fun() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),integer()) -> fun(('eof' | {'data',binary()}) -> fun() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) ewgi_api.erl:415: The pattern 'undefined' can never match the type fun(('eof' | {'data',binary()}) -> fun() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []) ewgi_api.erl:444: Function find_data/2 has no local return ewgi_api.erl:447: Function find_data/3 has no local return ewgi_api.erl:448: The call gb_trees:lookup(Key::any(),{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 2nd argument ewgi_api.erl:455: Function store_data/3 has no local return ewgi_api.erl:456: The call gb_trees:enter(Key::any(),Val::any(),{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 3rd argument ewgi_api.erl:796: Function t_lookup_default/3 has no local return ewgi_api.erl:797: The call gb_trees:lookup(K::string() | char(),T::{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 2nd argument ewgi_api.erl:804: Function t_insert_header/3 has no local return ewgi_api.erl:805: The call ewgi_api:t_lookup_default(K::string() | char(),T::{non_neg_integer(),'nil' | {_,_,_,_}},[]) does not have an opaque term of type gb_tree() as 2nd argument ewgi_api.erl:807: Function t_enter_header/3 has no local return ewgi_api.erl:808: The call gb_trees:enter(K::string() | char(),Pair::{string() | char(),_},T::{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 3rd argument ewgi_testapp.erl:32: Function testapp/1 has no local return ewgi_testapp.erl:40: Function testapp_chunked/1 has no local return ewgi_testapp.erl:45: Function htmlise/1 has no local return ewgi_testapp.erl:69: The call ewgi_testapp:htmlise_data("request_data",{non_neg_integer(),'nil' | {_,_,_,_}}) will never return since it differs in the 2nd argument from the success typing arguments: ([95 | 97 | 100 | 101 | 104 | 112 | 113 | 114 | 115 | 116 | 117,...],[{_,_}]) ewgi_testapp.erl:77: The call gb_trees:to_list(T::{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 1st argument ewgi_testapp.erl:82: Function list_to_stream/1 will never be called ewgi_testapp.erl:83: The created fun has no local return
Created by Stavros Aronis using nanoc, the Perfect 'Left Menu' 2 Column Liquid Layout and icons by pixel-mixer.
Page was last updated on Wednesday February 15, 2012 at 11:07:39 EET.