[sv-champions] RE: [sv-sc] Let proposal (1728)

Hi Shalom,

 

Yes, there is a problem here. I just copied the note about constant
function with appropriate changes. One can say that let statement is a
constant let statement if all its formals are constant expressions, and
its right-hand side is a constant expression provided that the let
formals are considered as constant primaries there. Would you agree with
this definition?

 

Thanks,

Dmitry

 

 

________________________________

From: Bresticker, Shalom 
Sent: Friday, July 25, 2008 7:40 AM
To: Korchemny, Dmitry; sv-sc@server.eda.org
Cc: sv-champions@server.eda.org
Subject: RE: [sv-sc] Let proposal (1728)

 

Dmitry,

 

I see you have already inserted a constant_let_expression into
constant_primary, as was suggested in the Champions' meeting. Maybe
someone spoke to you about the Champions' discussion. 

 

Your proposal only restricts constant_let_expression to have constant
arguments. It was discussed at the Champions' meeting that this
restriction is probably not enough. For example, a let expression can
contain references to variables, in addition to formal arguments. That
would not be allowed in a constant_let_expression. We thought that
probably the restrictions would have to be similar to those in a
constant function. Alternately, if it is too difficult to get these
restrictions right in such a short time, maybe it would be better not to
allow constant_let_expressions at all than to do it wrong.

 

Regards,

Shalom

	 

	
________________________________


	From: owner-sv-sc@server.eda.org
[mailto:owner-sv-sc@server.eda.org] On Behalf Of Korchemny, Dmitry
	Sent: Friday, July 25, 2008 7:24 AM
	To: sv-sc@server.eda.org
	Subject: [sv-sc] Let proposal (1728)

	Hi all,

	 

	I updated the let proposal according to the champions' feedback
and posted it to the Mantis.

	 

	Thanks,

	Dmitry

	
---------------------------------------------------------------------
	Intel Israel (74) Limited
	 
	This e-mail and any attachments may contain confidential
material for
	the sole use of the intended recipient(s). Any review or
distribution
	by others is strictly prohibited. If you are not the intended
	recipient, please contact the sender and delete all copies.

	
	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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