diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-12-29 00:07:16 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-12-29 00:07:16 +0200 |
| commit | 90b0d817fedfa5715b195e16da67fa6bdd67638e (patch) | |
| tree | de5c01884a434ffcc940be2e96474f188c95362c /TODO | |
| parent | 0e0c41af58a0f4ec5a39ce77822de71e5523fcba (diff) | |
| download | fwd-90b0d817fedfa5715b195e16da67fa6bdd67638e.tar.gz fwd-90b0d817fedfa5715b195e16da67fa6bdd67638e.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-- | 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); |
