[sv-ac] JH items for extension

Hi Folks:

Below are the items that I want to push in the
extension.

J.H.

---------------------------------------------------------------------------

Treat the following together:
0966:  $isunbounded and $ issues
1982:  Actual arguments unclear, $ inconsistent [JH]
- Draft proposal:      2 weeks
- Review:              1 week
- Balloting/revision:  2 weeks
- Champions feedback:  0 [i.e., leave unfixed]

1667:  Local variable arguments [JH]
- Draft proposal:      2 weeks
- Review:              2 weeks
- Balloting/revision:  2 weeks
- Champions feedback:  2 weeks

1678:  Clarify that rewriting algorithm doesn't replace name resolution [JH]
- Draft proposal:      1 week
- Review:              1 week
- Balloting/revision:  1 week
- Champions feedback:  0 [i.e., leave unfixed]

1686:  Assertion evaluation does not wait on subroutines [JH]
- Draft proposal:      1 week
- Review:              1 week
- Balloting/revision:  1 week
- Champions feedback:  0 [i.e., leave unfixed]

1830:  Add sequence methods to Formal Syntax [JH]
- Draft proposal:      1 week
- Review:              1 week
- Balloting/revision:  1 week
- Champions feedback:  0 [i.e., leave unfixed]

2172:  Add sequence if...else [JH]
- Draft proposal:      1 week
- Review:              1 week
- Balloting/revision:  2 weeks
- Champions feedback:  1 week

2173:  Add case construct for sequences and properties [JH]
- Draft proposal:      1 week
- Review:              1 week
- Balloting/revision:  2 weeks
- Champions feedback:  1 week

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