dialyzer/typer and exceptions
Fri Oct 1 19:26:38 CEST 2010
While experimenting with dialyzer and typer, I discovered that "catch" acts
as type inference barrier. As an example, gen_server:call/2 uses catch in
its first line and the resulting inferred type signature is:
-spec call(_,_) -> any().
Is there a way to get dialyzer/typer to ignore catches and assume the
non-exception case, or is that opening pandora's box?
Also, are there any other constructs that are known to confound
More information about the erlang-questions