[sv-ac] 1728

Hi Ed:

I read the first few pages of the 1728 proposal and became
confused.  Maybe you can help clarify.

Below are my notes and questions.

J.H.

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

p. 1, item 5.  Why do variables in the declarative scope of "let" that
   are referenced globally have to be declared before being referenced?
   Does this rule already apply to other global references to such 
   variables?  Is it essential or a convenience?

p. 2, item 9.  I don't understand it.

p. 2, items 14,15.  Are these appropriate for the standard?

Question:  Why can't "sequence" declarations be used instead of "let"?
           
Question:  Can the syntax of "let" be aligned with sequence/property 
  constructs?

Question:  p. 3, example 1).  Are the hierarchical paths m.a, m.b 
  correct?  What if module m is instantiated rather than top-level?

p. 3, example 2).  This example should show the scoping effect of 
  the redeclaration of x.  The ability to place the "let" as a statement
  in a procedural scope seems to differentiate it from other declarations.

p. 4, example 3).  What kind of begin-end block is this?  A generate block?
  I'm having trouble parsing this given that it encloses declarations.

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