changes & dune build @fmt

mirage · Jun 20, 2023 · defe1e8 · defe1e8
1 parent 0b51cb2
commit defe1e8
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -9,7 +9,7 @@
 - Adapt to docteur 0.0.6 release (#1419 @dinosaure)
 - Upgrade tests to cmdliner 1.2.0 (#1418 @hannesm)
 - Fail if jobs without arguments are registered (reported #873 @kit-ty-kate
-  #1426 @reynir @PizieDust, fixed #1428 @hannesm)
+  #1426 @reynir @PizieDust, fixed #1428 @hannesm and #1431 @reynir)
 - Console is marked as deprecated (#1429 @hannesm)
 - Tracing has been removed, since it was not used anymore and not supported with
   solo5-xen-pvh (#1430 @hannesm)

diff --git a/lib/functoria/impl.ml b/lib/functoria/impl.ml
@@ -46,8 +46,8 @@ let rec app_has_no_arguments = function
   | App { args = Cons _; _ } | Dev { args = Cons _; _ } -> false
   | App _ | Dev _ -> true
   | If { cond = _; branches; default } ->
-    app_has_no_arguments default ||
-    List.exists (fun (_, branch) -> app_has_no_arguments branch) branches
+      app_has_no_arguments default
+      || List.exists (fun (_, branch) -> app_has_no_arguments branch) branches
 
 (* Devices *)
 

diff --git a/test/mirage/job-no-device-behind-if/config.ml b/test/mirage/job-no-device-behind-if/config.ml
@@ -6,4 +6,8 @@ let key =
   let doc = Key.Arg.info ~doc:"How to say hello." [ "hello" ] in
   Key.(create "hello" Arg.(opt string "Hello World!" doc))
 
-let () = register ~keys:[ Key.v key ] ~src:`None "noop" [ if_impl Key.is_solo5 main main ]
+let () =
+  register
+    ~keys:[ Key.v key ]
+    ~src:`None "noop"
+    [ if_impl Key.is_solo5 main main ]