Re: [sv-bc] Mantis 1809

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Mon Jul 21 2008 - 07:40:52 PDT
Dave, thanks so much for making so much progress on this.

Shalom caught a couple of things and I have a few additional things that I think
we need to do.


1)

One of Stu's concerns was the use of "we" and similar.  The following
paragraph still uses "we":

   For the purpose of describing how identifiers resolve to wildcard imported
   declarations we define what are a locally visible and potentially locally
   visible identifiers.

Since the paragraph is purely expository introduction and is followed
by the definitions, I think we can just strike that paragraph.


2)

In the text following example 2:
     The declaration x from package p becomes
"x" and "p" should be in fixed font.


3)

In example 4, keywords aren't in bold.

4)

Just after example 4:
     but only the wildcard import p::* that
the "p::*" should be in fixed font.


5)

In a couple of the examples, line breaks occur in the pdf in the
middle of a comment of SV code.  We should make sure that the
comments remain intact.  The examples following the
text "Other than for task and function names (see 22.7.1)" have
this problem as does the first example in 22.7.1



Gord.



Brad Pierce wrote:
> Proposal is attached for easier review.
> 
>  
> 
> n  Brad
> 
>  
> 
> *From:* owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] *On Behalf Of 
> *Rich, Dave
> *Sent:* Monday, July 21, 2008 4:56 PM
> *To:* sv-bc@eda.org
> *Subject:* [sv-bc] Mantis 1809
> 
>  
> 
> New proposal uploaded and should be reviewed. It’s very late.
> 
>  
> 
> David Rich
> Verification Technologist
> Design Verification & Test Division
> Mentor Graphics Corporation
> dave_rich@mentor.com
> Office:   408 487-7206
> Cell:     510 589-2625
> 
>  
> 
> 
> -- 
> 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* <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.
Received on Mon Jul 21 07:41:48 2008

This archive was generated by hypermail 2.1.8 : Mon Jul 21 2008 - 07:41:59 PDT