[erlang-questions] dialyzer problem with exceptions

Kostis Sagonas <>
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