dialyzer/typer and exceptions

[Daniel Goertzen]

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
dialyzer/typer?

Thanks,
Dan.