test.toc


1
2
3
4
5
6
7
8
9
10
11
12

s ::= fn(t:: Type) Type {
	struct {
		c :: t = 7 as t;
		m: t;
	}
}

main ::= fn() {
	o: s(int);
	x := o["m"];
	y ::= o["c"];
}