[sv-ac] RE: feedback on 1758, -> and <-> operators

Hello Lisa,
 
The change in 8.2 is in the addition of -> and <-> in binary_operator.
 
Regarding the arguments to the operators: the operators -> and <-> are
overloaded, so that in Clause 8 it talks about expressions only. Hence !
etc. are correct. In Clause 17 it is a property operator.
 
Yes, property_expr is also sequence_expr.
 
Hope it explains the intent of the proposal.
 
Best regards,
ed
 


________________________________

	From: Lisa Piper [mailto:piper@cadence.com] 
	Sent: Sunday, April 08, 2007 6:16 PM
	To: Eduard Cerny
	Cc: sv-ac@eda.org
	Subject: feedback on 1758, -> and <-> operators
	
	

	Hi Ed,

	 

	I read the 1758 proposal.  I cannot tell where the change is in
section 8.2.  They look the same.

	 

	My understanding from 17.11 is that it must be a property_expr
on both sides of these operators. If so, then the text to insert between
8-1 and Table 8-1 is wrong. It should use not instead of "!" and and/or
instead of && and //.  But then other places it looks like it can be a
sequence expression.  Perhaps this is because a sequence expr is a
property expr?  I'm confused.

	 

	Lisa

	 

	 


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