My own corner of monopam
fmt: dune-fmt sweep across docstrings and pattern matches
Cosmetic-only changes from a workspace-wide $(dune fmt) run that
were pending in the working tree across packages: docstring re-wraps
in several .mli files (rego, space-packet, spacewire, tcpcl), and
single-line collapses of trivial match arms in test files (atp,
ldpc, mst, pus, sse) and one xtce.ml site.
No behavioural changes.
+21
-30
+3
-6
ocaml-atp/bin/tangled/test/test_tangled_config.ml
+3
-6
ocaml-atp/bin/tangled/test/test_tangled_config.ml
···
57
57
let config' =
58
58
match Tomlt_bytesrw.decode_string Tangled.Config.tomlt toml_str with
59
59
| Ok c -> c
60
-
| Error e ->
61
-
Alcotest.failf "decode failed: %s" (Tomlt.Error.to_string e)
60
+
| Error e -> Alcotest.failf "decode failed: %s" (Tomlt.Error.to_string e)
62
61
in
63
62
Alcotest.(check string) "handle roundtrip" config.handle config'.handle;
64
63
Alcotest.(check string) "pds roundtrip" config.pds config'.pds
···
71
70
let config' =
72
71
match Tomlt_bytesrw.decode_string Tangled.Config.tomlt toml_str with
73
72
| Ok c -> c
74
-
| Error e ->
75
-
Alcotest.failf "decode failed: %s" (Tomlt.Error.to_string e)
73
+
| Error e -> Alcotest.failf "decode failed: %s" (Tomlt.Error.to_string e)
76
74
in
77
75
Alcotest.(check string) "handle" "user.example.com" config'.handle;
78
76
Alcotest.(check string) "custom pds" "https://pds.example.com" config'.pds
···
83
81
let config =
84
82
match Tomlt_bytesrw.decode_string Tangled.Config.tomlt toml_str with
85
83
| Ok c -> c
86
-
| Error e ->
87
-
Alcotest.failf "decode failed: %s" (Tomlt.Error.to_string e)
84
+
| Error e -> Alcotest.failf "decode failed: %s" (Tomlt.Error.to_string e)
88
85
in
89
86
Alcotest.(check string) "handle" "alice.bsky.social" config.handle;
90
87
Alcotest.(check string) "default pds" "https://bsky.social" config.pds
+1
-2
ocaml-ldpc/test/test_ldpc.ml
+1
-2
ocaml-ldpc/test/test_ldpc.ml
···
242
242
(Fmt.str "syndrome zero for seed %d" seed)
243
243
(Bytes.to_string data)
244
244
(Bytes.to_string recovered)
245
-
| Error e ->
246
-
Alcotest.failf "syndrome check failed for seed %d: %s" seed e)
245
+
| Error e -> Alcotest.failf "syndrome check failed for seed %d: %s" seed e)
247
246
seeds
248
247
249
248
(* --- BP convergence: test max_iter=1,5,50 on same corrupted codeword --- *)
+1
-2
ocaml-mst/bench/bench.ml
+1
-2
ocaml-mst/bench/bench.ml
···
60
60
let pp_stats label n_ops stats =
61
61
Fmt.epr
62
62
" %-30s minor=%.0fw major=%.0fw minor_gc=%d major_gc=%d (per-op: \
63
-
%.0fw)\n\
64
-
"
63
+
%.0fw)\n"
65
64
label stats.minor_words stats.major_words stats.minor_collections
66
65
stats.major_collections
67
66
(stats.minor_words /. Float.of_int (max 1 n_ops))
+1
-2
ocaml-mst/bench2/quick_bench.ml
+1
-2
ocaml-mst/bench2/quick_bench.ml
+1
-2
ocaml-pus/test/test_pus.ml
+1
-2
ocaml-pus/test/test_pus.ml
···
76
76
let test_st3_hk_report_request () =
77
77
roundtrip_tc (ST3 (HK_report_request [ 1; 2; 3; 100 ]))
78
78
79
-
let test_st3_hk_empty () =
80
-
roundtrip_tc (ST3 (HK_report_request []))
79
+
let test_st3_hk_empty () = roundtrip_tc (ST3 (HK_report_request []))
81
80
82
81
(* {1 ST[5] Event Reporting} *)
83
82
+2
-2
ocaml-rego/lib/lexer.mli
+2
-2
ocaml-rego/lib/lexer.mli
···
4
4
(** Raised on unrecognized input. *)
5
5
6
6
type state
7
-
(** Lexer state, threading through the previous token for automatic
8
-
semicolon insertion. *)
7
+
(** Lexer state, threading through the previous token for automatic semicolon
8
+
insertion. *)
9
9
10
10
val v : string -> state
11
11
(** [v src] creates a fresh lexer state from a source string. *)
+4
-3
ocaml-space-packet/lib/space_packet.mli
+4
-3
ocaml-space-packet/lib/space_packet.mli
···
190
190
(** {1 Wire Codec} *)
191
191
192
192
val codec : t Wire.Codec.t
193
-
(** [codec] is the Wire codec for the full space packet (header + data). It models the
194
-
complete packet: the 6-byte primary header followed by a variable-length
195
-
data field whose size is determined by the [data_length] header field. *)
193
+
(** [codec] is the Wire codec for the full space packet (header + data). It
194
+
models the complete packet: the 6-byte primary header followed by a
195
+
variable-length data field whose size is determined by the [data_length]
196
+
header field. *)
196
197
197
198
val header_size : int
198
199
(** Fixed wire size of the primary header (6 bytes). *)
+2
-2
ocaml-spacewire/lib/spacewire.mli
+2
-2
ocaml-spacewire/lib/spacewire.mli
···
357
357
(** Convert a status to its wire value. *)
358
358
359
359
val rmap_status_of_int : int -> rmap_status option
360
-
(** [rmap_status_of_int n] converts a wire value to a status. Returns [None]
361
-
for undefined codes. *)
360
+
(** [rmap_status_of_int n] converts a wire value to a status. Returns [None] for
361
+
undefined codes. *)
+3
-6
ocaml-sse/test/test_sse.ml
+3
-6
ocaml-sse/test/test_sse.ml
···
428
428
test_spec_with_trailing_nl;
429
429
(* Named events *)
430
430
Alcotest.test_case "named event" `Quick test_named_event;
431
-
Alcotest.test_case "event type resets" `Quick
432
-
test_event_type_resets;
431
+
Alcotest.test_case "event type resets" `Quick test_event_type_resets;
433
432
Alcotest.test_case "event type without data" `Quick
434
433
test_event_type_without_data;
435
434
(* ID field *)
···
456
455
Alcotest.test_case "comment keepalive" `Quick test_comment_as_keepalive;
457
456
(* Field parsing *)
458
457
Alcotest.test_case "space stripping" `Quick test_space_stripping;
459
-
Alcotest.test_case "double space" `Quick
460
-
test_double_space_strip;
458
+
Alcotest.test_case "double space" `Quick test_double_space_strip;
461
459
Alcotest.test_case "no space after colon" `Quick test_no_space_after_colon;
462
460
Alcotest.test_case "unknown field" `Quick test_unknown_field_ignored;
463
461
Alcotest.test_case "field no colon" `Quick test_field_no_colon;
···
472
470
Alcotest.test_case "BOM only first chunk" `Quick test_bom_only_first_chunk;
473
471
(* Incremental *)
474
472
Alcotest.test_case "split across chunks" `Quick test_split_across_chunks;
475
-
Alcotest.test_case "split at blank line" `Quick
476
-
test_event_split_blank;
473
+
Alcotest.test_case "split at blank line" `Quick test_event_split_blank;
477
474
Alcotest.test_case "CRLF split" `Quick test_crlf_split_across_chunks;
478
475
Alcotest.test_case "empty chunks" `Quick test_empty_chunks;
479
476
Alcotest.test_case "byte at a time" `Quick test_byte_at_a_time;
+2
-1
ocaml-tcpcl/lib/tcpcl.mli
+2
-1
ocaml-tcpcl/lib/tcpcl.mli
···
382
382
(** [pp_shutdown_reason] is the pretty-printer for shutdown reasons. *)
383
383
384
384
val shutdown_reason_to_int : shutdown_reason -> int
385
-
(** [shutdown_reason_to_int r] converts a shutdown reason to its wire value. *)
385
+
(** [shutdown_reason_to_int r] converts a shutdown reason to its wire value.
386
+
*)
386
387
387
388
val shutdown_reason_of_int : int -> shutdown_reason
388
389
(** [shutdown_reason_of_int n] converts a wire value to a shutdown reason. *)
+1
-2
ocaml-xtce/lib/xtce.ml
+1
-2
ocaml-xtce/lib/xtce.ml
···
317
317
let parse_parameter_set (el : Xml.Tree.element) =
318
318
match Xml.Tree.find "ParameterSet" el with
319
319
| None -> []
320
-
| Some ps_el ->
321
-
List.map parse_parameter (Xml.Tree.find_all "Parameter" ps_el)
320
+
| Some ps_el -> List.map parse_parameter (Xml.Tree.find_all "Parameter" ps_el)
322
321
323
322
let parse_comparison (el : Xml.Tree.element) =
324
323
let parameter_ref = req_attr "parameterRef" el in