From 90b0d817fedfa5715b195e16da67fa6bdd67638e Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Mon, 29 Dec 2025 00:07:16 +0200
Subject: work towards a simple integer vector implementation

+ Hopefully shows that useful programs can be implemented with
  the rules present

+ Still missing at least external functions with non-void returns
---
 TODO | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 TODO

(limited to 'TODO')

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..e1c6a24
--- /dev/null
+++ b/TODO
@@ -0,0 +1,27 @@
++ Some kind of "unreachable" might be nice to help the move checker? for
+instance,
+
+	if abc {
+		release(var);
+		fwdpanic("!!!");
+	}
+
+	use(var)
+
+might be nicer to write than
+
+	if abc {
+		release(var);
+		fwdpanic("!!!");
+	} else {
+		use(var);
+	}
+
+or the current alternative
+
+	guard(abc) => {
+		release(var);
+		fwdpanic("!!!");
+	} => ;
+
+	use (var);
-- 
cgit v1.2.3