[sv-ac] Re: [sv-ec] Mantis 1804 (Enhancement) : Add abiltiy to require equiv types for typed formal args

<forwarding bounced email from Gordon Vreugdenhil>

-------- Original Message --------
Date: Wed, 09 May 2007 06:50:16 -0700
From: Gordon Vreugdenhil <gordonv@model.com>
To: sv-ac@server.eda.org
CC: "Bresticker, Shalom" <shalom.bresticker@intel.com>, sv-bc@server.eda.org,
        sv-ec@server.eda.org
Subject: Re: [sv-ec] Mantis 1804 (Enhancement) : Add abiltiy to require equiv
 types for typed formal args


My initial inclination is that this should be a tool
specific lint feature.  There is no end to features that
could be used to tighten up semantics for debug purposes
and I think that in most cases such features end up
adding additional cross-functional interactions that render
the language more complex to describe consistently in the LRM.

Gord


Bresticker, Shalom wrote:
> Hi,
>  
> FYI.
>  
> Mantis 1804 (Enhancement) was filed under SV-AC:
>  
> Add abiltiy to require equiv types for typed formal args
>  
> It is desired to have a type qualifier, protected, that will require 
> that actual args have an equivalent type as the formal argument 
> declaration.
> 
> It is also desired that this qualifier can apply to the 
> property/sequence as a whole or to the individual arguments.
> 
> Strict typing makes debug much easier but is inconsistent with function 
> and task default argument passing. The mechanism defined in this 
> proposal could potentially be extended to tasks and functions.
>  
> There is no proposal yet.
>  
> Shalom
> 	
> 
> 

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