Subject: Return statement - syntax error
From: Rick Reed (Rick.Reed#etsi.fr)
Date: Wed Oct 31 2001 - 15:00:16 GMT
<return statement> ::=
return <return body> <end>
does not allow for return from a procedure without a result, or to use the
last value assigned to a named return.
My guess is that at some point <return body> was optionally empty, but the
syntax of <return body> was changed.
The correction to the clerical error is obvious:
<return statement> ::=
return [ <return body> ] <end>
BTW at the same time I noticed some redundant braces in <return body>:
<return body> ::=
<expression>
| {via <state exit point>}
This means the same as
<return body> ::=
<expression>
| via <state exit point>
-- Rick Reed (at ETSI) Tel: +33 4 92 94 42 68 mob: +44 79 70 50 96 50 email: rickreed#tseng.co.uk
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT