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

Files @ 17fe648a8934

Branch filter:

Location: CSY/reowolf/testdata/parser/negative/4.pdl - annotation

17fe648a8934 208 B text/plain Show Source Show as Raw Download as Raw

Partial reimplementation of compiler and TypeTable

Every type symbol and its possible polymorphic variables are now
parsed up front and put in the SymbolTable, doing away with the
complicated and error-prone NamespacedIdentifier. Still pending
changes to parts of the compiler and the runtime, so not working
at the moment.

1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395

#version 100

// built-in outside sync block
primitive main(in a, out b) {
	int x = 0;
	msg y = create(0); // legal
	while (x < 10) {
		y = get(a); // illegal
		synchronous {
			y = get(a); // legal
		}
	}
}