RE: [sv-ac] Mantis 2658

Hi John,

I mean the text written below in this subclause:

The substitution of an actual argument for a reference to the corresponding untyped formal argument in the
rewriting algorithm retains the actual as an expression term.

I updated the proposal to reference directly to the rewriting algorithm (see attachment).

Regards,
Dmitry

From: Havlicek John-R8AAAU [mailto:john.havlicek@freescale.com]
Sent: Sunday, April 26, 2009 10:01 PM
To: Korchemny, Dmitry; sv-ac@server.eda.org
Subject: RE: [sv-ac] Mantis 2658

Hi Dmitry:

I am worried that your reference to "substition algorithm" is not clear.

The phrase "substitution algorithm" does not appear in the LRM.

Are you talking about the rewriting algorithms in Annex F?  If so, a clearer  reference will help.

J.H.

________________________________
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Friday, April 24, 2009 4:59 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] Mantis 2658
Hi all,

I have uploaded a proposal for Mantis 2658 for your review.

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.