CCSDS Synchronization and Channel Coding (131.0-B, 231.0-B)
Upgrade to ocamlformat 0.29.0; fix csvt/sexpt streaming; reformat
- Update .ocamlformat to 0.29.0 across all 591 files
- csvt: reuse single Buffer.t for field reads (no alloc per field)
- sexpt: Obj members decoded from stream into Dict, typed Variant GADT
- Reformat all source files for 0.29.0
+3
-3
+3
-3
lib/sync.ml
+3
-3
lib/sync.ml
···
402
402
Bytes.set frame pos byte;
403
403
let new_pos = pos + 1 in
404
404
let frame_len = Bytes.length frame in
405
-
if new_pos >= frame_len then begin
406
-
match mode with
405
+
if new_pos >= frame_len then
406
+
begin match mode with
407
407
| Fixed _ ->
408
408
(* Complete fixed-length frame *)
409
409
(Searching { buf = Buffer.create 4; mode }, Some (Ok frame))
···
434
434
else
435
435
(* Complete variable-length frame *)
436
436
(Searching { buf = Buffer.create 4; mode }, Some (Ok frame))
437
-
end
437
+
end
438
438
else process (Reading { frame; pos = new_pos; mode }) (i + 1)
439
439
in
440
440
process state 0