[erlang-questions] dialyzer: 'breaks the contract'
Vance Shipley
vances@REDACTED
Thu Jan 19 08:16:26 CET 2012
In the gen_sctp module reference manual there are examples:
/Users/otpuser/lib/erlang/lib/kernel-2.15/doc/html/gen_sctp.html#id123111
In R15B when dialyzer is run on this example it produces the warning:
sctp_client.erl:23: The call gen_sctp:send(S::port(),Assoc::#sctp_assoc_change{},0,<<_:48>>) breaks the contract (Socket,Assoc,Stream,Data) -> 'ok' | {'error',Reason} when is_subtype(Socket,sctp_socket()), is_subtype(Assoc,#sctp_assoc_change{} | assoc_id()), is_subtype(Stream,integer()), is_subtype(Data,'binary' | iolist()), is_subtype(Reason,term())
What is the problem here?
--
-Vance
More information about the erlang-questions
mailing list