Licklider Transmission Protocol (CCSDS 734.1-B) for reliable DTN links
ltp: Use open Result.Syntax and String.concat
- Replace local `let ( let* ) = Result.bind in` with file-level
`open Result.Syntax`
- Replace chained ^ operators with String.concat ""
+2
-2
+2
-2
lib/ltp.ml
+2
-2
lib/ltp.ml
···
255
255
let encode_extension ext =
256
256
let tag = Char.chr (extension_tag_to_int ext.tag) in
257
257
let len_sdnv = encode_sdnv (Int64.of_int (String.length ext.value)) in
258
-
String.make 1 tag ^ len_sdnv ^ ext.value
258
+
String.concat "" [ String.make 1 tag; len_sdnv; ext.value ]
259
259
260
260
let encode_extensions exts = String.concat "" (List.map encode_extension exts)
261
261
···
318
318
319
319
(* {1 Decoding} *)
320
320
321
-
let ( let* ) = Result.bind
321
+
open Result.Syntax
322
322
323
323
let decode_extensions buf off count =
324
324
let rec loop acc off remaining =