[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:
        X -> ok
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