[sv-bc] 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* <http://www.mailscanner.info/>, and is
> believed to be clean.

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


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