diff options
Diffstat (limited to 'examples/guard.fwd')
| -rw-r--r-- | examples/guard.fwd | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/examples/guard.fwd b/examples/guard.fwd index cf9578e..df42ef3 100644 --- a/examples/guard.fwd +++ b/examples/guard.fwd @@ -2,6 +2,12 @@ * eventually be replaced but this is good enough to play around with */ fwd_println(auto s); +/* this is a hack, just creates two copies of whatever is passed to it. + * Primitive types should probably be excluded from the move checking, and more + * complex types would presumably implement some kind of .copy(), but at the + * moment that's still TODO */ +fwd_copy(auto n, (auto, auto) n1); + guard(bool cond, () err, () ok) { if cond { @@ -13,15 +19,17 @@ guard(bool cond, () err, () ok) try_print_one(int a) { - guard(a < 1) => { + fwd_copy(a) => int a1, int a2; + guard(a1 < 1) => { fwd_println("smaller than 1"); } => ; - guard(a > 1) => { + fwd_copy(a2) => int a3, int a4; + guard(a3 > 1) => { fwd_println("larger than 1"); } => ; - fwd_println(a); + fwd_println(a4); } main() |