MetaTest.meta
Copyright Ó 1991 by Xerox Corporation. All rights reserved.
Michael Plass, September 9, 1988 11:38:54 pm PDT
MetaTest:
CEDAR
PROGRAM =
BEGIN
i: [0..8) ¬ 5;
j: NAT ~ 3;
p:
PROC = {
a: ARRAY [0..10) OF ARRAY [0..8) OF CARDINAL ¬ ALL[ALL[0]];
FOR s: [0..10)
IN [0..10)
DO
FOR f: [0..7)
IN [0..7)
DO
a[s][f] ¬ a[s][f] + a[s][f+1]
ENDLOOP;
ENDLOOP;
FOR s: [0..10)
IN [0..10)
DO
FOR f: [0..7)
IN [0..7)
DO
a[&s][&f] ¬ a[&s][&f] + a[&s][&f+1];
ENDLOOP;
ENDLOOP;
};
q: PROC[i,j: CARDINAL] ~ {};
{
F:
PROC [s, d:
ROPE] = {
%s+%s
};
t: INT = ?F[13,[this is ignored, because it is not used]];
};
FOR i:
INT
IN [0..800)
DO
q[&i, 10];
ENDLOOP;
END.