SRP-6a Secure Remote Password protocol for OCaml
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.

+3 -2
+1 -1
dune-project
··· 1 - (lang dune 3.0) 1 + (lang dune 3.21) 2 2 3 3 (name srp) 4 4
+2 -1
srp.opam
··· 9 9 license: "MIT" 10 10 tags: ["org:blacksun" "crypto"] 11 11 depends: [ 12 - "dune" {>= "3.0"} 12 + "dune" {>= "3.21"} 13 13 "ocaml" {>= "4.08"} 14 14 "zarith" {>= "1.12"} 15 15 "digestif" {>= "1.2.0"} ··· 32 32 "@doc" {with-doc} 33 33 ] 34 34 ] 35 + x-maintenance-intent: ["(latest)"] 35 36 x-quality-build: "2026-04-15" 36 37 x-quality-fuzz: "2026-04-15" 37 38 x-quality-test: "2026-04-15"