summaryrefslogtreecommitdiff
path: root/file_formats
diff options
context:
space:
mode:
authorDaniel Bünzli <daniel.buenzli@erratique.ch>2020-01-29 21:35:09 +0100
committerDaniel Bünzli <daniel.buenzli@erratique.ch>2020-01-31 11:20:17 +0100
commit45d480a8fa81e2656da7c6675fcdcea8668c6462 (patch)
treefa9ae002ad7883e15de1b134b38f525847717414 /file_formats
parentb237282e97095f8ac9dfd8c18a03412406bde6e9 (diff)
downloadocaml-45d480a8fa81e2656da7c6675fcdcea8668c6462.tar.gz
Cm[ox]_format: document fields that are stored in reverse order.
Diffstat (limited to 'file_formats')
-rw-r--r--file_formats/cmo_format.mli2
-rw-r--r--file_formats/cmx_format.mli2
2 files changed, 4 insertions, 0 deletions
diff --git a/file_formats/cmo_format.mli b/file_formats/cmo_format.mli
index d953a8817a..0952157b37 100644
--- a/file_formats/cmo_format.mli
+++ b/file_formats/cmo_format.mli
@@ -53,6 +53,8 @@ type compilation_unit =
type library =
{ lib_units: compilation_unit list; (* List of compilation units *)
lib_custom: bool; (* Requires custom mode linking? *)
+ (* In the following fields the lists are reversed with respect to
+ how they end up being used on the command line. *)
lib_ccobjs: string list; (* C object files needed for -custom *)
lib_ccopts: string list; (* Extra opts to C compiler *)
lib_dllibs: string list } (* DLLs needed *)
diff --git a/file_formats/cmx_format.mli b/file_formats/cmx_format.mli
index 0efa32eec3..91ad2d1ff1 100644
--- a/file_formats/cmx_format.mli
+++ b/file_formats/cmx_format.mli
@@ -52,5 +52,7 @@ type unit_infos =
type library_infos =
{ lib_units: (unit_infos * Digest.t) list; (* List of unit infos w/ MD5s *)
+ (* In the following fields the lists are reversed with respect to
+ how they end up being used on the command line. *)
lib_ccobjs: string list; (* C object files needed *)
lib_ccopts: string list } (* Extra opts to C compiler *)