Build:
- 0
2026-06-24 11:35.53: New job: build gxl-light.1.0 (adddad41c901)
2026-06-24 11:35.53: Waiting for resource in pool day11-builds
2026-06-24 13:08.12: Got resource from pool day11-builds
2026-06-24 13:08.12: [profile full] build gxl-light.1.0
2026-06-24 13:08.12: build gxl-light.1.0 (adddad41c901)
=== DEPENDENCIES (9 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
compiler-cloning.enabled 439a1fc77aa6
dune.3.23.1 a59dd9b14fe3
ocaml.5.5.0 383268832c4b
ocaml-base-compiler.5.5.0 522c248944c8
ocaml-compiler.5.5.0 eb1a8babf54c
ocamlfind.1.9.8 b506a15fcd6c
xml-light.2.5 8725ddba6425
=== STDOUT ===
Processing: [default: loading data]
[gxl-light.1.0: dl]
[gxl-light.1.0: extract]
-> retrieved gxl-light.1.0 (https://opam.ocaml.org/cache)
[gxl-light: make build]
+ /usr/bin/make "build" (CWD=/home/opam/.opam/default/.opam-switch/build/gxl-light.1.0)
- ocamlopt -I `ocamlfind query xml-light` -c GXL.ml gxlDocument.ml
- File "GXL.ml", line 243, characters 17-21:
- 243 | let set_type t ?(kind="simple") ~ref =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 258, characters 20-24:
- 258 | let set_locator l ?(kind="simple") ~ref =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 382, characters 15-32:
- 382 | let lc = get_attr_children attr in
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 390, characters 35-48:
- 390 | (GXLAttr (_,_,_) as h)::t -> iter_gxl_attr func h; eval_attr_list func t
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 963, characters 38-55:
- 963 | eval_attr_to_xml children_list (get_attr_children el);
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 965, characters 42-56:
- 965 | children_list := (gxl_value_to_xml (get_attr_value el)) :: !children_list;
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 1195, characters 66-79:
- 1195 | let gxl_attr_make ~attr_value ?(attr_id=None) ?(attr_kind=None) ?(attr_children=[]) ~attr_name =
- ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1195, characters 48-57:
- 1195 | let gxl_attr_make ~attr_value ?(attr_id=None) ?(attr_kind=None) ?(attr_children=[]) ~attr_name =
- ^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1195, characters 32-39:
- 1195 | let gxl_attr_make ~attr_value ?(attr_id=None) ?(attr_kind=None) ?(attr_children=[]) ~attr_name =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1208, characters 17-33:
- 1208 | ?(attrs=[]) ?(local_connection = None) ~target =
- ^^^^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1208, characters 5-10:
- 1208 | ?(attrs=[]) ?(local_connection = None) ~target =
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 71-80:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 54-62:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 35-45:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 22-26:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1238, characters 18-26:
- 1238 | ?(attrs=[]) ?(elements=[]) (* ?(rels=[]) *) ~id =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1238, characters 6-11:
- 1238 | ?(attrs=[]) ?(elements=[]) (* ?(rels=[]) *) ~id =
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 90-98:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 69-77:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 50-60:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 34-41:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 21-25:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1253, characters 49-55:
- 1253 | let gxl_node_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ~id =
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1253, characters 37-42:
- 1253 | let gxl_node_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ~id =
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1253, characters 20-28:
- 1253 | let gxl_node_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ~id =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1271, characters 22-32:
- 1271 | ?(toorder=None) ?(isdirected= None) ~from_node ~to_node =
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1271, characters 6-13:
- 1271 | ?(toorder=None) ?(isdirected= None) ~from_node ~to_node =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 73-82:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 62-64:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 49-55:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 37-42:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 20-28:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1302, characters 26-33:
- 1302 | ?(isdirected= None) ?(relends=[]) ~id =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1302, characters 6-16:
- 1302 | ?(isdirected= None) ?(relends=[]) ~id =
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1301, characters 48-54:
- 1301 | let gxl_rel_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[])
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1301, characters 36-41:
- 1301 | let gxl_rel_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[])
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1301, characters 19-27:
- 1301 | let gxl_rel_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[])
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1311, characters 19-25:
- 1311 | let gxl_gxl_make ?(graphs=[]) ~xlink = GXLGXL ({xlink=xlink;graphs=graphs});;
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "gxlDocument.ml", line 178, characters 22-47:
- 178 | element_list := gxl_local_connection_make (x) :: !element_list
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 189, characters 36-57:
- 189 | | ("int",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_int_make (int_of_string y))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 189, characters 59-71:
- 189 | | ("int",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_int_make (int_of_string y))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 190, characters 38-59:
- 190 | | ("float",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_float_make (float_of_string y))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 190, characters 61-75:
- 190 | | ("float",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_float_make (float_of_string y))
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 191, characters 39-60:
- 191 | | ("string",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_string_make y)
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 191, characters 62-77:
- 191 | | ("string",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_string_make y)
- ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 192, characters 38-59:
- 192 | | ("enum", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_enum_make y)
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 192, characters 61-74:
- 192 | | ("enum", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_enum_make y)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 193, characters 38-59:
- 193 | | ("bool", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_bool_make (bool_of_string y))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 193, characters 61-74:
- 193 | | ("bool", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_bool_make (bool_of_string y))
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 199, characters 72-85:
- 199 | raise (GXLParseError "GXLType xlink:href not found") in PGXLType (gxl_type_make link)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label xlink_href was omitted in the application
- of this function.
-
- File "gxlDocument.ml", line 202, characters 74-96:
- 202 | raise (GXLParseError "GXLLocator xlink:href missing") in PGXLValue (gxl_locator_value_make (gxl_locator_make link))
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 202, characters 98-114:
- 202 | raise (GXLParseError "GXLLocator xlink:href missing") in PGXLValue (gxl_locator_value_make (gxl_locator_make link))
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 209, characters 17-41:
- 209 | | "bag" -> gxl_composite_value_make (gxl_bag_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 209, characters 43-55:
- 209 | | "bag" -> gxl_composite_value_make (gxl_bag_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 210, characters 17-41:
- 210 | | "tup" -> gxl_composite_value_make (gxl_tup_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 210, characters 43-55:
- 210 | | "tup" -> gxl_composite_value_make (gxl_tup_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 211, characters 17-41:
- 211 | | "set" -> gxl_composite_value_make (gxl_set_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 211, characters 43-55:
- 211 | | "set" -> gxl_composite_value_make (gxl_set_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 212, characters 17-41:
- 212 | | "seq" -> gxl_composite_value_make (gxl_seq_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 212, characters 43-55:
- 212 | | "seq" -> gxl_composite_value_make (gxl_seq_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
- ocamlopt -I `ocamlfind query xml-light` -a GXL.cmx gxlDocument.cmx -o gxl-light.cmxa
- ocamlc -I `ocamlfind query xml-light` -c GXL.ml gxlDocument.ml
- File "GXL.ml", line 243, characters 17-21:
- 243 | let set_type t ?(kind="simple") ~ref =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 258, characters 20-24:
- 258 | let set_locator l ?(kind="simple") ~ref =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 382, characters 15-32:
- 382 | let lc = get_attr_children attr in
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 390, characters 35-48:
- 390 | (GXLAttr (_,_,_) as h)::t -> iter_gxl_attr func h; eval_attr_list func t
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 963, characters 38-55:
- 963 | eval_attr_to_xml children_list (get_attr_children el);
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 965, characters 42-56:
- 965 | children_list := (gxl_value_to_xml (get_attr_value el)) :: !children_list;
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label attr was omitted in the application of this
- function.
-
- File "GXL.ml", line 1195, characters 66-79:
- 1195 | let gxl_attr_make ~attr_value ?(attr_id=None) ?(attr_kind=None) ?(attr_children=[]) ~attr_name =
- ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1195, characters 48-57:
- 1195 | let gxl_attr_make ~attr_value ?(attr_id=None) ?(attr_kind=None) ?(attr_children=[]) ~attr_name =
- ^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1195, characters 32-39:
- 1195 | let gxl_attr_make ~attr_value ?(attr_id=None) ?(attr_kind=None) ?(attr_children=[]) ~attr_name =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1208, characters 17-33:
- 1208 | ?(attrs=[]) ?(local_connection = None) ~target =
- ^^^^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1208, characters 5-10:
- 1208 | ?(attrs=[]) ?(local_connection = None) ~target =
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 71-80:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 54-62:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 35-45:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1207, characters 22-26:
- 1207 | let gxl_relend_make ?(role=None) ?(startorder=None) ?(endorder=None) ?(direction=GXL_NONE)
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1238, characters 18-26:
- 1238 | ?(attrs=[]) ?(elements=[]) (* ?(rels=[]) *) ~id =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1238, characters 6-11:
- 1238 | ?(attrs=[]) ?(elements=[]) (* ?(rels=[]) *) ~id =
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 90-98:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 69-77:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 50-60:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 34-41:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1237, characters 21-25:
- 1237 | let gxl_graph_make ?(role=None) ?(edgeids=None) ?(hypergraph=None) ?(edgemode=Directed) ?(gxl_type=None)
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1253, characters 49-55:
- 1253 | let gxl_node_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ~id =
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1253, characters 37-42:
- 1253 | let gxl_node_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ~id =
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1253, characters 20-28:
- 1253 | let gxl_node_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ~id =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1271, characters 22-32:
- 1271 | ?(toorder=None) ?(isdirected= None) ~from_node ~to_node =
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1271, characters 6-13:
- 1271 | ?(toorder=None) ?(isdirected= None) ~from_node ~to_node =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 73-82:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 62-64:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 49-55:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 37-42:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1270, characters 20-28:
- 1270 | let gxl_edge_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[]) ?(id=None) ?(fromorder=None)
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1302, characters 26-33:
- 1302 | ?(isdirected= None) ?(relends=[]) ~id =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1302, characters 6-16:
- 1302 | ?(isdirected= None) ?(relends=[]) ~id =
- ^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1301, characters 48-54:
- 1301 | let gxl_rel_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[])
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1301, characters 36-41:
- 1301 | let gxl_rel_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[])
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1301, characters 19-27:
- 1301 | let gxl_rel_make ?(gxl_type=None) ?(attrs=[]) ?(graphs=[])
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "GXL.ml", line 1311, characters 19-25:
- 1311 | let gxl_gxl_make ?(graphs=[]) ~xlink = GXLGXL ({xlink=xlink;graphs=graphs});;
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "gxlDocument.ml", line 178, characters 22-47:
- 178 | element_list := gxl_local_connection_make (x) :: !element_list
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 189, characters 36-57:
- 189 | | ("int",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_int_make (int_of_string y))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 189, characters 59-71:
- 189 | | ("int",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_int_make (int_of_string y))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 190, characters 38-59:
- 190 | | ("float",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_float_make (float_of_string y))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 190, characters 61-75:
- 190 | | ("float",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_float_make (float_of_string y))
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 191, characters 39-60:
- 191 | | ("string",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_string_make y)
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 191, characters 62-77:
- 191 | | ("string",[(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_string_make y)
- ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 192, characters 38-59:
- 192 | | ("enum", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_enum_make y)
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 192, characters 61-74:
- 192 | | ("enum", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_enum_make y)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 193, characters 38-59:
- 193 | | ("bool", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_bool_make (bool_of_string y))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 193, characters 61-74:
- 193 | | ("bool", [(Xml.PCData y)]) -> gxl_atomic_value_make (gxl_bool_make (bool_of_string y))
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 199, characters 72-85:
- 199 | raise (GXLParseError "GXLType xlink:href not found") in PGXLType (gxl_type_make link)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label xlink_href was omitted in the application
- of this function.
-
- File "gxlDocument.ml", line 202, characters 74-96:
- 202 | raise (GXLParseError "GXLLocator xlink:href missing") in PGXLValue (gxl_locator_value_make (gxl_locator_make link))
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 202, characters 98-114:
- 202 | raise (GXLParseError "GXLLocator xlink:href missing") in PGXLValue (gxl_locator_value_make (gxl_locator_make link))
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 209, characters 17-41:
- 209 | | "bag" -> gxl_composite_value_make (gxl_bag_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 209, characters 43-55:
- 209 | | "bag" -> gxl_composite_value_make (gxl_bag_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 210, characters 17-41:
- 210 | | "tup" -> gxl_composite_value_make (gxl_tup_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 210, characters 43-55:
- 210 | | "tup" -> gxl_composite_value_make (gxl_tup_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 211, characters 17-41:
- 211 | | "set" -> gxl_composite_value_make (gxl_set_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 211, characters 43-55:
- 211 | | "set" -> gxl_composite_value_make (gxl_set_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 212, characters 17-41:
- 212 | | "seq" -> gxl_composite_value_make (gxl_seq_make (List.map lambda children))
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
-
- File "gxlDocument.ml", line 212, characters 43-55:
- 212 | | "seq" -> gxl_composite_value_make (gxl_seq_make (List.map lambda children))
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label value was omitted in the application of
- this function.
- ocamlc -I `ocamlfind query xml-light` -a GXL.cmo gxlDocument.cmo -o gxl-light.cma
-> compiled gxl-light.1.0
[gxl-light: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/gxl-light.1.0)
- ocamlfind install gxl-light gxl-light.cmxa gxl-light.cma META gxlDocument.cmi GXL.cmi gxl-light.a
- Installed /home/opam/.opam/default/lib/gxl-light/gxl-light.a
- Installed /home/opam/.opam/default/lib/gxl-light/GXL.cmi
- Installed /home/opam/.opam/default/lib/gxl-light/gxlDocument.cmi
- Installed /home/opam/.opam/default/lib/gxl-light/gxl-light.cma
- Installed /home/opam/.opam/default/lib/gxl-light/gxl-light.cmxa
- Installed /home/opam/.opam/default/lib/gxl-light/META
-> installed gxl-light.1.0
=== STDERR ===
2026-06-24 13:08.34: OK: build gxl-light.1.0 (runc: 3.1s, disk: 40KB)
2026-06-24 13:08.34: Job succeeded