[sv-ac] error on page 358 of D7?

Hello,

 

I think that the following example on pp 358 has one ( missing at the
beginning of the sequence expression:

 

sequence s8;

int x,y;

(a ##1 (b, x = data, y = data1) ##1 c)

and (d ##1 (`true, x = data) ##0 (e==x))) ##1 (y==data2);

// legal because y is in the difference

endsequence

 

I do not know if it has been reported, however.

 


Also, on page 327, it says

 

Another example, in which a local variable is used to sample a formal
argument, shows how to get the effect

of "pass by value". Pass by value is not currently supported as a mode
of argument passing.

 

Yet, pass by value is supported using "local input...". should the 2nd
sentence be removed?

 

Best regards,

 

ed

 


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