[erlang-questions] internal dialyzer error

Joel Reymont joelr1@REDACTED
Tue Aug 26 22:02:16 CEST 2008


I figured it out. dialyzer cannot see that test12/0 returns and so it  
complains that test/0 does not return.

On Aug 26, 2008, at 8:48 PM, 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.

--
wagerlabs.com








More information about the erlang-questions mailing list