diff options
Diffstat (limited to 'test.toc')
-rw-r--r-- | test.toc | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -1,7 +1,8 @@ -f ::= fn(t::=, x :t) t { - x + 1 +P ::= struct { + x, y:int; }; - main ::= fn() { - f(13); + p:P; + x::="y"; + p[x]; };
\ No newline at end of file |