CSY/reowolf Files · testdata/parser/negative/8.txt · Centrum Wiskunde & Informatica (CWI)

Files @ a6f53f74e58c

Branch filter:

a6f53f74e58c 95 B text/plain Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent

1
2
3

Parse error at 8.pdl:11:1: Defined symbol clash: syncdrain
primitive syncdrain(in a, in b) {
^