From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Thu Sep 06 2001 - 07:40:00 PDT
The following reply was made to PR errata/33; it has been noted by GNATS.
From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
To: Daryl.Stewart@cl.cam.ac.uk
Cc: btf-bugs@boyd.com
Subject: Re: errata/33: Use of keyword "integer" (Section 17)
Date: Thu, 06 Sep 2001 17:37:57 +0300
--------------392FAABABC61D891ADA4C72F
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Daryl,
In general, Section 17 uses less precise syntax than the rest of the standard.
It was a deliberate decision of the committee, in order to avoid tons of additional work.
By the way, "integer" DOES appear in the example on p. 299, at the very top.
Shalom
Daryl.Stewart@cl.cam.ac.uk wrote:
> Precedence: bulk
>
> >Number: 33
> >Category: errata
> >Originator: Daryl Stewart
> >Description:
>
> Why does the syntax table in section 17.2.1 on p296 show the keyword
> "integer" in the syntax of file_open_function while the example in
> 17.2.2 on p299 does not use the keyword?
>
> It would be simpler to define the syntax as something like
> (scuse the html)
>
> file_open_function ::=
> <b>$fopen (</b> <i>file_name_</i>string <b> [ ,</b> type <b> ] )</b>
>
> and describe it with
>
> "If a type is included then the system function $fopen returns a
> 32 bit file descriptor, otherwise it returns a 32 bit multi channel
> descriptor."
>
> There are also (apparently bogus) occurrences of the keyword "integer"
> in other sections, including 17.2.4.2, 17.2.4.3, 17.2.4.4, 17.2.5,
> 17.2.7. (there may be more)
>
> If these are attempts to type-annotate the function results, they are
> inconsistent with many other pieces of section 17 which make no use of
> the keyword...
--
**************************************************************************
Shalom Bresticker Shalom.Bresticker@motorola.com
Motorola Semiconductor Israel, Ltd. Tel #: +972 9 9522268
P.O.B. 2208, Herzlia 46120, ISRAEL Fax #: +972 9 9522890
**************************************************************************
--------------392FAABABC61D891ADA4C72F
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
Daryl,
<p>In general, Section 17 uses less precise syntax than the rest of the
standard.
<br>It was a deliberate decision of the committee, in order to avoid tons
of additional work.
<p>By the way, "integer" DOES appear in the example on p. 299,
at the very top.
<p>Shalom
<br>
<p>Daryl.Stewart@cl.cam.ac.uk wrote:
<blockquote TYPE=CITE>Precedence: bulk
<p>>Number: 33
<br>>Category: errata
<br>>Originator: Daryl Stewart
<br>>Description:
<p>Why does the syntax table in section 17.2.1 on p296 show the keyword
<br>"integer" in the syntax of file_open_function while the example in
<br>17.2.2 on p299 does not use the keyword?
<p>It would be simpler to define the syntax as something like
<br>(scuse the html)
<p>file_open_function ::=
<br> <b>$fopen (</b> <i>file_name_</i>string <b> [
,</b> type <b> ] )</b>
<p>and describe it with
<p>"If a type is included then the system function $fopen returns a
<br>32 bit file descriptor, otherwise it returns a 32 bit multi channel
<br>descriptor."
<p>There are also (apparently bogus) occurrences of the keyword "integer"
<br>in other sections, including 17.2.4.2, 17.2.4.3, 17.2.4.4, 17.2.5,
<br>17.2.7. (there may be more)
<p>If these are attempts to type-annotate the function results, they are
<br>inconsistent with many other pieces of section 17 which make no use
of
<br>the keyword...</blockquote>
<pre>--
**************************************************************************
Shalom Bresticker Shalom.Bresticker@motorola.com
Motorola Semiconductor Israel, Ltd. Tel #: +972 9 9522268
P.O.B. 2208, Herzlia 46120, ISRAEL Fax #: +972 9 9522890
**************************************************************************</pre>
</html>
--------------392FAABABC61D891ADA4C72F--
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:54:45 PDT
and
sponsored by Boyd Technology, Inc.