Files
@ 643b55b4af53
Branch filter:
Location: CSY/reowolf/testdata/parser/positive/10.pdl - annotation
643b55b4af53
412 B
text/plain
Prepare for rewrite of monomorphs in type table
1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 2982ea49738a 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 | #version 100
composite main() {}
primitive example(in a, out[] b) {
while (true) {
sync {
if (fires(a)) {
int i = 0;
while (i < b.length) {
if (fires(b[i])) {
int j = i + 1;
while (j < b.length)
assert !fires(b[j++]);
break;
}
i++;
}
assert i < b.length;
} else {
int i = 0;
while (i < b.length)
assert !fires(b[i++]);
}
}
}
}
|