[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:


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?


More information about the erlang-questions mailing list