RE: [sv-ac] call for vote on 1601

From: Miller Hillel-R53776 <r53776_at_.....>
Date: Sun Jan 21 2007 - 03:27:51 PST
John,

I vote no on 1601

I do not understand what this means "The second is to use the context
type. context is used to specify that the argument can have any type
that is legal for an actual argument."

Sure it needs to be legal within the context it is placed. For example
if an expression was passed to a bit slicing operator.

This is also confusing "The assignment rules for assigning actual
argument expressions to formal arguments, at the time of
sequence instantiation, are the same as the general rules for doing
assignment of a typed variable
with a typed expression (see Clause 4)."

What about padding and truncation?

 
Thanks
Hillel


-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Saturday, January 20, 2007 7:01 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call for vote on 1601

All:

Lisa has updated the proposal for 1601 to use the keyword "context", as
suggested by Bassam, instead of "implicit" (1601_context_type_1.pdf).

I have not seen any discussion in response to Bassam's explanation of
the rationale behind the use of "context"
for this purpose.

Therefore, I am calling for an email vote on the revised
1601 proposal.

Below is the voting eligibility for this ballot.  If you are eligible to
vote then please do, as 80% participation in ballots is required to
maintain eligibility.

J.H.

Ballot on Mantis 1601

- Called on 2007-01-20, final ballots due by 23:59 PST on 2007-01-27.

 n[------xxx------] Shalom Bresticker (Intel)  v[xxxxxxxxxxxx-xx] Doron
Bustan (Freescale)
 v[xxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)    
 n[--x-x-xxx-x---x] Surrendra Dudani (Synopsys)  v[-xxx-xxx-------]
Yaniv Fais (Freescale)  n[--x------x-----] Faisal Haque (Cisco)
t[xxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)  v[xxxxxxxxxxx-xxx]
Dmitry Korchemny (Intel - Co-Chair)  n[--------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)  n[x-------x-xx-x-] Jiang Long (Mentor
Graphics)  n[--xx-xxxxxxx-x-] Hillel Miller (Freescale)
n[----xx-xxx-----] Don Mills (Microchip)  v[xxxxx-xxxxxxxxx] Lisa Piper
(Cadence)  v[xx-xx----------] Tej Singh (Mentor Graphics)
n[-----xx-x------] Stu Sutherland (Sutherland HDL)  v[xxxxxxxxxxxxxxx]
Bassam Tabbara (Synopsys)
   |-------------- attendance on 2007-01-09
 |---------------- voting eligibility for this ballot

        Legend:
                x = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3)
                n = not valid voter
                t = chair eligible to vote only to make or break a tie

--
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.
Received on Sun Jan 21 03:28:16 2007

This archive was generated by hypermail 2.1.8 : Sun Jan 21 2007 - 03:29:36 PST