Open mattunlv opened 7 years ago
public proc void guard(chan.read[] up, chan.read[] down) [yield=true] { int seated = 0; boolean any;
while (true) { alt { any = down[0].read(): { seated++; } } } }
code gen error in any=down[0].read()
public proc void guard(chan.read[] up,
chan.read[] down) [yield=true] {
int seated = 0;
boolean any;
while (true) { alt { any = down[0].read(): { seated++; } } } }
code gen error in any=down[0].read()