blob: 11e2a24e1184cec91d7586a64cead31a0c6089cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// io ::= nms {
// #include "std/io.toc";
// };
// p ::= struct(x::Type,y::=3) {
// b:int;
// };
foo ::= fn(x::int) Type {
[x]int
};
z ::= fn(a::=,b:foo(a)) {
};
main ::= fn() {
n:foo(3);
z(n);
};
|