fwd/src, branch masterA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=master2026-05-01T19:42:23Zadd type_mismatch test2026-05-01T19:42:23ZKimplulkimi.h.kuparinen@gmail.com2026-05-01T19:42:23Zurn:sha1:f1e9860ab638594e95db0ada848157b860eeb831add support for coverage2026-05-01T19:16:26ZKimplulkimi.h.kuparinen@gmail.com2026-05-01T17:35:00Zurn:sha1:8946c27306abed7065afad3f015df5ee81e72ad2run formatter2026-05-01T11:40:06ZKimplulkimi.h.kuparinen@gmail.com2026-05-01T11:40:06Zurn:sha1:7a68d1106b37e16c24e58bc77ce49fc6beadce9c
+ Should really get this done automatically somehow
add write_codeline to make lowering a bit prettier2026-05-01T11:33:59ZKimplulkimi.h.kuparinen@gmail.com2026-05-01T11:02:37Zurn:sha1:48cd04e1a57f076287fb6ecdd0a4236e191ff7d3add initial reference invalidation2026-03-13T12:09:53ZKimplulkimi.h.kuparinen@gmail.com2026-03-13T12:07:29Zurn:sha1:ed7da0d9e31e8dd6847e2e603f0d1943330cf4d0
+ Makes vec example actually memory safe, which is cool
+ Specify owner > sub relationships with ">" in closure parameter
lists, uses the same group idea as closure calls
+ Relies on users implementing functions in a consistent manner,
since you can kind of do whatever with pointers. Presumably
there would be a stdlib of vec/map/set etc. which applications
could then use and by proxy be memory safe. Although some more
checks wouldn't hurt, I suppose?
+ Not sure I like having reference invalidation be 'just a move',
seems to work alright but the semantics of it are a bit muddy.
fix nil check lowering2026-02-25T23:19:44ZKimplulkimi.h.kuparinen@gmail.com2026-02-25T23:19:44Zurn:sha1:bdb66a2de5cd1e6c192f7342b9d0b3349d8c9c6afix type -> t2026-02-25T22:31:38ZKimplulkimi.h.kuparinen@gmail.com2026-02-25T22:31:38Zurn:sha1:1b9cc15a515180aa154d2af40c0b54823363c2bffix extern closure call arg type2026-02-25T22:25:13ZKimplulkimi.h.kuparinen@gmail.com2026-02-25T22:25:13Zurn:sha1:22f6ba2e3dac13d615fb63722c96dd4939208966fix occasional missing return2026-02-25T22:18:24ZKimplulkimi.h.kuparinen@gmail.com2026-02-25T22:18:24Zurn:sha1:cb22d6ede6440112acb555470508ae4fa58412abadd exploded variables to context2026-02-25T22:16:06ZKimplulkimi.h.kuparinen@gmail.com2026-02-25T22:15:11Zurn:sha1:1570c08f967c6b68544f90ac59a3baec123073a1