RE: [sv-ac] 1601 context keyword for untyped args

Hi Lisa,

 

I am fine with the new version.

 

Thanks,

Dmitry

 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Monday, February 05, 2007 7:19 PM
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: [sv-ac] 1601 context keyword for untyped args

 

Dmitry and Bassam,

 

I'm sorry, I must have missed an email.  I do not remember seeing
Bassam's suggestion.  I have received the following suggested change:

 

change 

 

   There are two ways to achieve implicit typing of arguments.  The

   first is to write the implicitly typed arguments first in the list

   prior to specifying any type.  The second is to use the

   {\bold\italic context} type.  The {\bold context} type allows

   arguments that do not have any data type restrictions to be mixed

   freely with those that do.  Use of {\bold context} is equivalent to

   listing the argument prior to any typed arguments.

 

to

 

   There are two ways to achieve implicit typing of arguments.  The

   first is to write the implicitly typed arguments at the beginning

   of the formal argument list, prior to any typed argument.  The

   second is to use the {\bold\italic context} type.  Because a type

   applies to multiple comma-separated arguments, the {\bold context}

   type is required if an implicitly typed argument is to be placed

   after a typed argument in the formal argument list.  The {\bold

   context} type specifies that the semantics for binding to the

   argument shall be as though the argument were written at the

   beginning of the formal argument list, prior to any typed argument.

 

Does this sound acceptable?

 

Lisa

 

 

 

________________________________

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
Sent: Monday, February 05, 2007 7:14 AM
To: Lisa Piper; sv-ac@eda-stds.org
Subject: RE: [sv-ac] 1601 context keyword for untyped args

 

Hi Lisa,

 

I think we should change the wording of "The context type allows
arguments that do not have any data type restrictions to be mixed freely
with those that do", I agree with Bassam's suggestion.

 

Thanks,

Dmitry 

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Thursday, February 01, 2007 9:50 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] 1601 context keyword for untyped args

 

Hi all,

 

The status of this item was that there were disagreements on how to
specify what happens when the actual is assigned to the formal. I have
eliminated the sentence in question and replaced it with the following:

 

The context type allows arguments that do not have any data type
restrictions to be mixed freely with those that do. Use of context is
equivalent to listing the argument prior to any typed arguments.

 

I have updated the proposal on Mantis.  The update is attached for
convenience.

 

Lisa


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

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