CCSDS Command Link Control Word (CLCW) for spacecraft command
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

wal, block, sse, zephyr: remove [mutable] from never-reassigned fields

Warning 69 (unused-field, mutable-never-assigned). Four independent
record fields were flagged as mutable but the code only mutates their
referents in place, never rebinds the record slot itself:

- ocaml-wal/lib/wal.ml: [t.file] (the Eio file resource; methods call
Eio.File.pwrite_all etc., the slot is set once at open time).
- ocaml-block/lib/block.ml: [Memory.state.data] (the backing bytes,
written via Bytes.blit_string; [Bytes.t] is already mutable).
- ocaml-sse/lib/sse.ml: [Parser.t.data_buf] (a Buffer.t, written via
Buffer.add_*; the slot never changes).
- ocaml-zephyr/lib/zephyr.ml: drop [mode : Read | Write] entirely —
set at open-time, read nowhere. The open_read / open_write
constructors already distinguish the two call shapes, so mode
tracking was redundant.

+11
+3
dune
··· 1 + (env 2 + (dev 3 + (flags :standard %{dune-warnings})))
+8
lib/clcw.mli
··· 153 153 154 154 (** {1 FFI Code Generation} *) 155 155 156 + val module_ : Wire.Everparse.Raw.module_ 157 + (** [module_] is the Everparse raw module describing the CLCW format, 158 + ready to hand to the EverParse code generator. *) 159 + 160 + val c_stubs : unit -> string 161 + (** [c_stubs ()] generates C FFI stub code for CLCW encoding/decoding. *) 162 + 163 + val ml_stubs : unit -> string 156 164 (** [ml_stubs ()] generates OCaml FFI stub code for CLCW encoding/decoding. *)