[erlang-questions] gen_server vs. gen_fsm: Timeout type discrepancy?
Tue Dec 29 09:50:28 CET 2015
gen_fsm:loop/7 uses receive ... after Time ... end where Time :: int()
>= 0 | infinity. So it must be error in gen_fsm:StateName
On Tue, Dec 29, 2015 at 7:28 AM, Kenneth Lakin <kennethlakin@REDACTED> wrote:
> I know that I've looked at the relevant documentation like a million
> times, but this just hit me:
> In the documentation for gen_server:handle_*, the Timeout part of the
> Result is typed as
> int()>= 0 | infinity
> However, in the gen_fsm:StateName documentation, Timeout is typed as
> int()>0 | infinity
> Given that I kinda expect the main loop of gen_fsm and gen_server to be
> *really* similar, I would also expect the type for Timeout to be the
> same for gen_fsm and gen_server. Is the documentation incorrect, or is
> there a problem with my expectations?
> If the documentation is incorrect, which definition of Timeout is correct?
> erlang-questions mailing list
More information about the erlang-questions