fx 0.7.4 - composition under regions
fx 0.7.4 — composition under regions
Language package for ledocorp/fxlang
Docs: ledocorp.org/fx · composition · tracking
Composition-under-regions pack closeout. Tag: v0.7.4.
Highlights
| Area | What landed |
|---|---|
| Composition method | docs/COMPOSITION.md — ids/pools, local mut, grow/freeze discipline |
| Dual-emit tracking | docs/TRACKING.md — annotate / .fxmap / #line / fx locate |
| Pool / ids | std/pool + lib/id_pool (make/alloc/get/set/len) |
| Slot mut | vec_set(v, i, x) (needs mut) — stable slot write; still no v[i]=x |
| Patterns | examples/pattern_{ids,mut_table,grow_freeze,ring,pool} |
| Native emit | vec_set in live sh_* CallExpr (FX-SH-NAT-8) |
| Honesty | No unsafe dialect; phase types / convenience helper skipped |
Install
fx doctor
fx version # expect v0.7.4
fx new hello && cd hello && fx run main.fx # exit 42
Try
fx run examples/pattern_pool/main.fx
fx run examples/pattern_ids/main.fx
fx run examples/tool_result/main.fx
Honesty bounds
Still out: full generic Map<K,V>, &mut Vec as slice, mut sub-slices, Vec index assign sugar, traits/closures/Option, package manager, advanced fx Runtime, Neuton. No unsafe path.
Thanks
Stewarded by Shawn Londono / LedoCorp · Apache-2.0