[sv-ac] review of 1704 proposal

Hi Lisa:

I have reviewed your proposal for 1704 and recommend the
change described below.

J.H.


Change

   Tasks, task methods, void functions, void function methods, and
   system tasks can be called at the end of a successful non-empty
   match of a sequence.  The subroutine calls, like local variable
   assignments, appear in the comma-separated list that follows the
   sequence. The subroutine calls are said to be attached to the
   sequence. The sequence and the list that follows are enclosed in
   parentheses.  

to

   Tasks, task methods, void functions, void function methods, and
   system tasks can be called at the end of a successful non-empty
   match of a sequence.  The subroutine calls, like local variable
   assignments, appear in the comma-separated list that follows the
   sequence. The subroutine calls are said to be attached to the
   sequence. The sequence to which a subroutine call is attached must
   not admit an empty match.  The sequence and the list that follows
   are enclosed in parentheses.

RATIONALE:  This aligns the treatment of subroutine calls in 17.9
with the treatment of local variable assignments in 17.8.  By making
the attachment to a sequence that admits empty match illegal now,
we preserve the possibility of relaxing this later if we can come
up with a good solution.

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