Compatibility with printbox 0.12

bclement-ocp · c-cube · commit ef9e5449d5cc · 2025-03-20T08:52:11.000-04:00
diff --git a/benchpress-server.opam b/benchpress-server.opam
@@ -22,8 +22,8 @@ depends: [
   "sqlite3"
   "sqlite3_utils" { >= "0.4" & < "0.5" }
   "tiny_httpd" { >= "0.17" & < "1.0" }
-  "printbox" { >= "0.6" }
-  "printbox-text" { >= "0.6" }
+  "printbox" { >= "0.12" }
+  "printbox-text" { >= "0.12" }
   "ocaml" {>= "4.12" }
   "jemalloc" { >= "0.2" & < "0.3" }
 ]
diff --git a/src/server/benchpress_server.ml b/src/server/benchpress_server.ml
@@ -122,7 +122,7 @@ end = struct
           l
       in
       H.div a l
-    | B.Pad (_, b) | B.Frame b -> to_html_rec b
+    | B.Pad (_, b) | B.Frame { sub = b; _ } -> to_html_rec b
     | B.Align { h = `Right; inner = b; v = _ } ->
       H.div [ A.class_ "align-right" ] [ to_html_rec b ]
     | B.Align { h = `Center; inner = b; v = _ } ->

Original file line number	Diff line number	Diff line change
`@@ -122,7 +122,7 @@ end = struct`
`122`	`122`	`l`
`123`	`123`	`in`
`124`	`124`	`H.div a l`
`125`		`- \| B.Pad (_, b) \| B.Frame b -> to_html_rec b`
	`125`	`+ \| B.Pad (_, b) \| B.Frame { sub = b; _ } -> to_html_rec b`
`126`	`126`	\| B.Align { h = `Right; inner = b; v = _ } ->
`127`	`127`	`H.div [ A.class_ "align-right" ] [ to_html_rec b ]`
`128`	`128`	\| B.Align { h = `Center; inner = b; v = _ } ->