[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