diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-12-29 00:07:16 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2026-01-06 17:19:52 +0200 |
| commit | c7b41b47d038fd4973da05224b7aa29efaae1784 (patch) | |
| tree | ad439ff996aa5121bced46bdb7e42eb419702be0 /TODO | |
| parent | d501b2c9ebab6f5b90c808ea0e5fde912818707d (diff) | |
| download | fwd-c7b41b47d038fd4973da05224b7aa29efaae1784.tar.gz fwd-c7b41b47d038fd4973da05224b7aa29efaae1784.zip | |
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
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 27 |
1 files changed, 27 insertions, 0 deletions
@@ -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); |
