[sv-champions] RE: [sv-sc] some comments on 1900, part 2

Mike, thanks. 

> > Do you mean "constant actuals" or "const actuals"? If an 
> actual is a 
> > real constant, such as a number or a parameter, is that 
> included? What 
> > about a const NON-free variable? If "constant" is used too loosely 
> > here, it may be in other places as well, and this should be checked.
> 
> No, I mean const actuals. That I must change - I used 
> "constant" in one part, which is wrong. It doesn't matter 
> whether the const actual is a free variable or not.

So I am now unclear again. When you write here "const actual", what do
you mean? Please define precisely.

Thanks,
Shalom
---------------------------------------------------------------------
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.