Orbit Data Messages (CCSDS 502.0-B-3)
0
fork

Configure Feed

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

claude: complete Err -> Error module rename across call sites

Follow up to the module rename: update the remaining callers that
still referenced [Err] (library [claude.ml{,i}], [client.ml], the test
driver [test.ml]), and fix one stray [^ e] string concatenation in
hermest's CLI that needed [Json.Error.to_string e] now that
[Json.of_string] yields a structured error.

+2 -2
+2 -2
test/test_oem.ml
··· 68 68 ignore (Fmt.str "%a" Odm.pp oem) 69 69 70 70 (* Parse an invalid OEM file — should either return Error or at least not crash *) 71 - let check_invalid name path () = 71 + let check_invalid path () = 72 72 if skip_if_no_vectors () then () 73 73 else 74 74 let content = read_file path in ··· 128 128 let name = Filename.chop_extension f in 129 129 Alcotest.test_case 130 130 (Fmt.str "invalid %s" name) 131 - `Quick (check_invalid name path)) 131 + `Quick (check_invalid path)) 132 132 133 133 (* Specific checks on real orbit data *) 134 134 let leo_orbit_checks () =