implement move checking furthermvcheck

+ Enough that examples still compile, but missing references etc.

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()