[sv-ac] Mantis #1647: Updated proposal

 Hello all,

I have made the corrections that Brad pointed out. 

Regarding the constant-width font, I used the style ExampleCode.Indented
from the template available for the proposals (or so I thought). It uses
CourierNew rather than Courier New. For some reason the former is a
proportional font...

As for the sequence data type, I removed "data" from the sentence, just
say sequence or property type. As Dave pointed out, there is a mantis
item 1549 that introduces the types.

Regarding the use of type(expression) in place of the type-query
functions: As far as I could see in P1800-2008 LRM, the type comparison
is strict. In the case of the type-query functions, $isintegral
encompasses all specific types of integral kind. Similarly $isproperty
accepts properties, sequences and integral types. The definition of
type() does not seem to allow this.

Best regards,
ed

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Brad Pierce
> Sent: Wednesday, April 04, 2007 5:01 PM
> To: sv-ac@eda-stds.org
> Subject: Re: [sv-ac] Mantis #1647: Updated proposal
> 
> The new Syntax box needs "// not in Annex A" in its upper 
> right corner.
> 
> There are missing underscores, twice in "type function" and once in
> "data type".
> 
> In Example 3, there's a missing 'end' after the first 'endproperty'.
> 
> In Example 2 there is missing bolding on 'if'.
> 
> The examples should be in a constant-width font.  See Subclause 1.4.
> 
> Sequences and properties are not data types mentioned in 
> Clause 4.  Has
> this been changed?  If not, is it OK to be talking about 
> "sequence data
> type"?
> 
> -- Brad
> 
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Eduard Cerny
> Sent: Wednesday, April 04, 2007 10:53 AM
> To: sv-ac@eda-stds.org
> Subject: [sv-ac] Mantis #1647: Updated proposal
> 
> Hello,
> 
> I have deposited an updated proposal for 1647: Type-query functions.
> 
> Best regards,
> ed
> 
> --
> 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.
> 
> 
> 

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