author | Tony Garnock-Jones <tonyg@kcbbs.gen.nz> |
Sat, 08 Aug 2009 15:21:23 +0100 | |
changeset 279 | 0a1cc4c2eacb |
parent 278 | 843b43973b4c |
child 280 | f0535598e4af |
etng-r2/boot.tng | file | annotate | diff | comparison | revisions |
--- a/etng-r2/boot.tng Sat Aug 08 15:21:03 2009 +0100 +++ b/etng-r2/boot.tng Sat Aug 08 15:21:23 2009 +0100 @@ -121,3 +121,10 @@ -- (1, 2, 3) | s:foldr s:empty s:cons | s:do write; -- (1, 2) | s:append (3, 4) | s:do write; -- (| s:append (3, 4) | s:do write) (1, 2); + +-- define xyz = { .x .y .z -> .w ; +-- .x .y .w -> .a ; +-- .x .a .z -> 345 }; +-- define xx = xyz.x; +-- define xy = xx.y; +-- xx (xy (xy.z)) .z;