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

The restrictions on the declaration of a constant function are found in
13.4.3 of Draft 6. You have to see which of those restrictions are
relevant to constant let expressions.
 
Regards,
Shalom


________________________________

	From: Korchemny, Dmitry 
	Sent: Friday, July 25, 2008 8:01 AM
	To: Bresticker, Shalom; 'sv-sc@server.eda.org'
	Cc: 'sv-champions@server.eda.org'
	Subject: 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.