Fn-main apps boot the roster — #34 closed; BROKEN ratchets 43 -> 42 #168
Loading…
Reference in a new issue
No description provided.
Delete branch "feat/168-fn-main-apps-boot-the-roster-34-closed-broken"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fn-main apps boot the roster — #34 closed; BROKEN ratchets 43 -> 42
Along the way:
Touches 9 files:
docs/actors.md,docs/modules.md,src/rust/crates/ck_driver/src/compile/mod.rs,src/rust/crates/ck_driver/tests/capability.rs,src/rust/crates/ck_load/src/desugar/boot.rs,src/rust/crates/ck_load/src/loader.rsand 3 more.It is reachable. The function in
src/rust/crates/ck_load/src/desugar/boot.rsreturns a Result now and the caller reports it, so the unwrap onunwrapis gone.Split. The decision in
mainis a pure function now, with its own tests insrc/rust/crates/ck_load/src/loader.rs.Reads well. One question on
src/rust/crates/ck_load/src/desugar/boot.rs, nothing blocking.@ -276,0 +367,4 @@&roster(&[("W::W", 2)]),Some("App"),).unwrap();unwrapunwraps here. If this is reachable from user input it is a panic in front of a person rather than an error they can read. Is it provably there at this point, or should it carry a??@ -541,0 +606,4 @@the shell CALLS this `fn main` instead of being replaced by it (owner ruling #34: \entry is an entry, not a topology class). A call across a module boundary reaches \only what the callee's header declares, so the entry is public surface now. \Declare it in `{module}.ckh`:\n\n mod {module}\n\n fn main() -> Unit\n\n\mainreads, decides and writes in one function. The deciding part is the piece I would want to test on its own. Worth splitting?, at src/rust/crates/ck_load/src/loader.rs:609.