[erlang-questions] dialyzer: 'breaks the contract'

Vance Shipley <>
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