[erlang-questions] internal dialyzer error

[Kostis Sagonas]

Joel Reymont wrote:
> 
> What does it mean when dialyzer says that this function has no local 
> return?
> 
> test() ->
>     test3(),
>     test4(),
>     test5(),
>     test6(),
>     test7(),
>     test8(),
>     test9(),
>     test10(),
>     test11(),
>     test12(),
>     ok.

It means that Dialyzer has figured out that the 'ok' will never be 
returned by this function because one of test3 .. test12 does not return 
  (i.e. either loops, exits or throws an exception).

Kostis