remove uneeded type

robur-coop · Jan 13, 2025 · 747d845 · 747d845
1 parent f8deb13
commit 747d845
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/builder_web.ml b/builder_web.ml
@@ -28,7 +28,6 @@ type o_diff = {
 }
 
 type duniverse = { name : string; value_ : string }
-type duniverse_detailed_diff = { name : string }
 
 type package_diff = {
   left_packages : package list;
@@ -39,7 +38,7 @@ type package_diff = {
 type duniverse_diff = {
   left : duniverse list;
   right : duniverse list;
-  detailed_diff : duniverse_detailed_diff list;
+  detailed_diff : string list;
 }
 
 type opam_diff = {
@@ -71,7 +70,7 @@ let list_of_json parse_fn json =
 let duniverse_detailed_diff_of_json = function
   | `Assoc xs -> (
       match Utils.Json.(get "name" xs) with
-      | Some (`String name) -> Ok { name }
+      | Some (`String name) -> Ok name
       | _ ->
           Error
             (`Msg

diff --git a/unikernel_update.ml b/unikernel_update.ml
@@ -429,9 +429,7 @@ let unikernel_update_layout unikernel current_time
                         div
                           ~a:[ a_class [ "flex gap-4" ] ]
                           (List.map
-                             (fun (package :
-                                    Builder_web.duniverse_detailed_diff) ->
-                               p [ txt package.name ])
+                             (fun (package : string) -> p [ txt package ])
                              build_comparison.opam_diff.duniverse_diff
                                .detailed_diff);
                       ];