[sv-ac] Draft 3 review of Annex F

All:

I have reviewed the Draft 3 implementation of Annex F and
found the issues below.

J.H.

Annex F.  [JH]

- F.1, item c) 4), p. 1024.  The reference to 6.11.1 does not make sense.
  This is a correct translation of the corresponding reference in 1800-2005,
  but 6.11.1 concerns integral types.  Lisa Piper also pointed out
  this problem.

  Here is the context from F.1:

    The abstract syntax does not allow explicit procedural enabling
    conditions for assertions. Procedural enabling conditions are
    utilized in the semantics definition (see 6.11.1), but the method
    for extracting such conditions is not defined in this annex.

  My guess is that the reference should illustrate the use of the procedural
  enabling condition in the semantics definition, and this is in F.3.3.1
  (neutral satisfaction), so I recommend that the reference to 6.11.1 
  be changed to F.3.3.1.

- F.5, there is an incorrect cross reference.  CHANGE

    Below are precise versions of the four restrictions given in
    16.12.3 and the precise definition of recursive property.

  to

    Below are precise versions of the four restrictions given in
    16.12.4 and the precise definition of recursive property.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.