From 89bac537165bf262594cca343cb45e16a2167145 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Mon, 6 Jan 2025 01:05:21 +0200 Subject: implement move checking further + Enough that examples still compile, but missing references etc. --- examples/guard.fwd | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'examples/guard.fwd') 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() -- cgit v1.2.3