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

Hierarchical references to let are forbidden, therefore there should not
be a problem with it,

 

Dmitry

 

________________________________

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

 

For example, that it shall not be declared within a generate block?

 

Shalom

	 

	
________________________________


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

	I think that my definition covers them all.

	 

	Dmitry

	 

	
________________________________


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