Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

dialyzer no_spec warnings #79

Open
norton opened this issue Oct 24, 2012 · 0 comments
Open

dialyzer no_spec warnings #79

norton opened this issue Oct 24, 2012 · 0 comments

Comments

@norton
Copy link
Contributor

norton commented Oct 24, 2012

There are several R15B02 dialyzer warnings reported for the ibrowse_test_server module when using the "--no_spec" option. These may or may not be critical. Nevertheless, I find it helpful to dialyze test code as well.

ibrowse_test_server.erl:73: The call ssl:controlling_process(Sock::port(),Pid::pid()) will never return since the success typing is ({'sslsocket',_,pid()},pid()) -> 'ok' | {'error',_} and the contract is (#sslsocket{},pid()) -> 'ok' | {'error',reason()}
ibrowse_test_server.erl:78: The call ssl:setopts(Sock::port(),Opts::any()) will never return since the success typing is ({'sslsocket',_,_},any()) -> 'ok' | {'error',_} and the contract is (#sslsocket{},[gen_tcp:option()]) -> 'ok' | {'error',reason()}
ibrowse_test_server.erl:170: The call ssl:send(Sock::port(),Resp::<<_:64,_:_*8>> | [<<_:136,_:_*104>> | [any(),...],...]) will never return since the success typing is ({'sslsocket',_,pid()},binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])) -> 'ok' | {'error',_} and the contract is (#sslsocket{},iodata()) -> 'ok' | {'error',reason()}
ibrowse_test_server.erl:177: Clause guard cannot succeed. The pattern <Body, _ChunkSize> was matched against the type <string(),50>
ibrowse_test_server.erl:186: Guard test is_binary(Body::string()) can never succeed
ibrowse_test_server.erl:192: Guard test is_binary(Body::string()) can never succeed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant