[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)


More information about the erlang-questions mailing list