[erlang-questions] dialyzer problem with exceptions
Kostis Sagonas
kostis@REDACTED
Sun Jul 18 18:41:10 CEST 2010
Anthony Shipman wrote:
> This is release 12B4 with options -Wno_unused -Wno_return
>
> It appears that the second branch of reportMissing is ignored when determining
> the success typing, perhaps because it always raises an exception.
Yes. This is intentional.
Success Typings == the types for which a function will return a value.
Branch raises exception => Branch does not return/succeed.
(from the perspective of success typings,
it's as if that particular branch is not there)
Kostis
More information about the erlang-questions
mailing list