CCSDS Space Data Link Security (355.0-B-2)
0
fork

Configure Feed

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

use Fmt.failwith across 7 files (merlint E215)

Replace failwith (Fmt.str ...) with Fmt.failwith ... in spacedata,
squashfs, sdls, and sigstore.

+4 -4
+1 -1
eio/kek.ml
··· 106 106 match Eio.Path.kind ~follow:true path with 107 107 | `Directory -> () 108 108 | `Not_found -> Eio.Path.mkdir ~perm:0o700 path 109 - | _ -> failwith (Fmt.str "%a: not a directory" Eio.Path.pp path) 109 + | _ -> Fmt.failwith "%a: not a directory" Eio.Path.pp path 110 110 | exception Eio.Io (Eio.Fs.E (Eio.Fs.Not_found _), _) -> 111 111 Eio.Path.mkdir ~perm:0o700 path 112 112
+1 -1
eio/keystore_eio.ml
··· 26 26 match Eio.Path.kind ~follow:true path with 27 27 | `Directory -> () 28 28 | `Not_found -> Eio.Path.mkdir ~perm:0o755 path 29 - | _ -> failwith (Fmt.str "%a: not a directory" Eio.Path.pp path) 29 + | _ -> Fmt.failwith "%a: not a directory" Eio.Path.pp path 30 30 | exception Eio.Io (Eio.Fs.E (Not_found _), _) -> 31 31 Eio.Path.mkdir ~perm:0o755 path 32 32
+1 -1
eio/kv.ml
··· 65 65 match kind ~follow:true path with 66 66 | `Directory -> () 67 67 | `Not_found -> mkdir ~perm:0o700 path 68 - | _ -> failwith (Fmt.str "%a: not a directory" pp path) 68 + | _ -> Fmt.failwith "%a: not a directory" pp path 69 69 | exception Eio.Io (Eio.Fs.E (Not_found _), _) -> mkdir ~perm:0o700 path 70 70 71 71 (* {1 Constructors} *)
+1 -1
eio/schema.ml
··· 21 21 match Eio.Path.kind ~follow:true path with 22 22 | `Directory -> () 23 23 | `Not_found -> Eio.Path.mkdir ~perm:0o755 path 24 - | _ -> failwith (Fmt.str "%a: not a directory" Eio.Path.pp path) 24 + | _ -> Fmt.failwith "%a: not a directory" Eio.Path.pp path 25 25 | exception Eio.Io (Eio.Fs.E (Not_found _), _) -> 26 26 Eio.Path.mkdir ~perm:0o755 path 27 27