[erlang-questions] internal dialyzer error

Kostis Sagonas <>
Tue Aug 26 22:55:25 CEST 2008


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



More information about the erlang-questions mailing list