use Option in printing of Gc keys

hannesm · Dec 11, 2023 · 1439e52 · 1439e52
1 parent b89de8a
commit 1439e52
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/lib/mirage/mirage.ml b/lib/mirage/mirage.ml
@@ -439,11 +439,10 @@ let gc_control =
     Fmt.(
       any name
       ++ any " = "
-      ++ any "(match "
-      ++ Mirage_impl_misc.pp_key
-      ++ any " with None -> ctrl."
+      ++ any "Option.value ~default:ctrl."
       ++ any name
-      ++ any " | Some x -> x)")
+      ++ any " "
+      ++ Mirage_impl_misc.pp_key)
   in
   let keys =
     Key.
@@ -462,8 +461,8 @@ let gc_control =
   in
   let connect _ _ _ =
     Fmt.str
-      "return (@.@[<v 2>let open Gc in@ let ctrl = get () in@ set ({ ctrl with \
-       %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a })@]@.)"
+      "return (@.@[<v 2>let open Gc in@ let ctrl = get () in@ set { ctrl with \
+       %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a;@ %a }@]@.)"
       (pp_pol ~name:"allocation_policy")
       Key.allocation_policy
       (pp_k ~name:"minor_heap_size")