syntax sugar problem

Question

syntax sugar problem

kailiangji opened this issue 3 years ago · comments

spin does not work well on the following example. If the type of the chan element is a reference, it works.
active proctype test() {
int i;
chan x = [4] of { int };
x ! 1;
x ! 2;
x ! 3;
x ! 4;
for (i in x) {
printf("i = %d\n", i);
}
}

typedef Int {
int v;
}
active proctype test() {
Int i;
chan x = [4] of { Int };
x ! 1;
x ! 2;
x ! 3;
x ! 4;
for (i in x) {
printf("i = %d\n", i.v);
}
}

nimble-code · Answer 1 · Fri Oct 22 2021 03:11:19 GMT+0800 (China Standard Time)

interesting! will check it

nimble-code · Answer 2 · Sun Oct 24 2021 22:19:19 GMT+0800 (China Standard Time)

It is true that this fails, but the manual page
http://spinroot.com/spin/Man/for.html
mentions this explicitly:

"The third use of the for statement is to retrieve all messages from a channel in sequence. To be able to do this the channel has to be defined in a special way, with a single user-defined type as its contents."

syntax sugar problem

spin does not work well on the following example. If the type of the chan element is a reference, it works. active proctype test() { int i; chan x = [4] of { int }; x ! 1; x ! 2; x ! 3; x ! 4; for (i in x) { printf("i = %d\n", i); } }

spin does not work well on the following example. If the type of the chan element is a reference, it works.
active proctype test() {
int i;
chan x = [4] of { int };
x ! 1;
x ! 2;
x ! 3;
x ! 4;
for (i in x) {
printf("i = %d\n", i);
}
}