[erlang-bugs] R12B: erl_syntax_lib:annotate_bindings mishandles receives

Nick Smallbone <>
Mon Dec 15 11:57:35 CET 2008


erl_syntax_lib:annotate_bindings claims that the following expression
binds no variables:
    receive
        X -> ok
    end.
The problem seems to be that vann_receive_expr requires the timeout
action to bind X too, even though there's no timeout.

Nick Smallbone



More information about the erlang-bugs mailing list