test.toc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// io ::= nms {
// #include "std/io.toc";
// };


Thing ::= struct(t::=int, u::t=3) {
   it : t;
   that : [u]t;
};

f ::= fn(t::=,u::=,th : Thing(t,u)) {
  x: t = 17 as t;
  th.it = x;
};

main ::= fn() {
	 a: Thing(u = 172, t = u8);
	 f(a);
};