RE: [sv-ac] updated formal semantics of argument passing

I support this idea. This syntax also introduces explicit scopes for
local variables, therefore the proposal should be written in terms of
scopes instead of name uniqueness, like "For every local variable
declared in P', make its identifier unique."

Thanks,
Dmitry 

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Tuesday, July 10, 2007 2:53 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] updated formal semantics of argument passing

All:

I have updated the document on formal semantics of argument passing
on Mantis 1549 (see also attached).

The substance of the changes is to add local variable declarations
to the abstract syntax.  This is done simply via parenthesized forms
where the local variable declarations are terminated by semicolons:

  (t v; R)  // declares v of type t and scope R

  (t v; P)  // declares v of type t and scope P

etc.

I added rules for these forms in a number of places.

You are probably wondering why I did it.  There are two reasons:

1. The rewrite algorithm examples actually produce the local variable
   declarations, and this makes sense to me since they carry important
   type information.

2. I need the declarations to be in the proper place for my proposal
   on local variable declaration assignments (1668).  After a lot of
   thinking, I decided that a good place to account for the local 
   variable declaration assignments is after the sequence and
   property instances have been flattened.  Otherwise, you have to
   figure out how to pass the declaration assingment into and
   instance, and that is messy.  Therefore, I need the flattening 
   to put the declarations and later the declaration assignments in
   the right places.

Of course, we should discuss these things.

J.H.
   

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

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