Subject: procedure call body syntax
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Mon Dec 18 2000 - 18:06:48 GMT
The syntax is:
<procedure call body> ::=
[ this ] { <\underline{procedure} identifier>
| <\underline{procedure} type expression> }
[<actual parameters>]
and
<type expression> ::=
<base type> [<actual context parameters>]
<base type> ::=
<identifier>
However, a procedure IS a type. It therefore seems to me that
<\underline{procedure} identifier>
is exactly the same as a <base type> that is a procedure, and therefore the
syntax should be:
<procedure call body> ::=
[ this ] <\underline{procedure} type expression>
[<actual parameters>]
The references to "<\underline{procedure} identifier>" in the text need to
be changed to "procedure <identifier> that is the <base type> of the
<\underline{procedure} type expression>"
-- Rick Reed - rickreed#tseng.co.uk Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT