[erlang-questions] How to code against an interface rather than an implementation?
Fri Aug 9 14:58:56 CEST 2013
Whether Dialyzer can do that or not is a bit irrelevant, as this kind of
error is quickly apparent when your tests immediately fail.
On 08/09/2013 02:49 PM, Daniil Churikov wrote:
> Hello Chris.
> I am speaking about static analysis tool named "Dialyzer". This tool is
> intended to be used as "error-finder". And what I am interested in is
> whether this tool will be able to understand what module you substitute
> in *State#state.db* and make warning that this module is not properly
> written (i.e. miss some functions or this functions will not be able to
> handle what you will feed them).
> erlang-questions mailing list
More information about the erlang-questions