aboutsummaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorKimplul <kimi.h.kuparinen@gmail.com>2025-12-29 00:07:16 +0200
committerKimplul <kimi.h.kuparinen@gmail.com>2025-12-29 00:07:16 +0200
commit90b0d817fedfa5715b195e16da67fa6bdd67638e (patch)
treede5c01884a434ffcc940be2e96474f188c95362c /TODO
parent0e0c41af58a0f4ec5a39ce77822de71e5523fcba (diff)
downloadfwd-gnc.tar.gz
fwd-gnc.zip
work towards a simple integer vector implementationgnc
+ Hopefully shows that useful programs can be implemented with the rules present + Still missing at least external functions with non-void returns
Diffstat (limited to 'TODO')
-rw-r--r--TODO27
1 files changed, 27 insertions, 0 deletions
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);