Files @ ef37386d0c6f
Branch filter:

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

MH
Put expression types of procedures in type table

Before we annotated the AST. But that is silly in hindsight:
certain operations have a completely different meaning when applied
in a polymorphic context (i.e. the field index determined by a
select expression).
1
2
3
4
5
6
7
8
9
#version 100

// illegal node declaration
primitive main(in a, out b) {
	while (true) {
		channel x -> y;
		synchronous {}
	}
}