diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2023-02-07 13:29:15 +0100 |
---|---|---|
committer | Sébastien Hinderer <seb@tarides.com> | 2023-02-22 17:31:52 +0100 |
commit | 2cff470317783a1483c19abcba4a2de034b5845f (patch) | |
tree | 287c88f00f7d53fed920748ffd2c0a41f17e7690 /file_formats | |
parent | 39a6e64997b9b6eb86636041870e7c8f3ce78470 (diff) | |
download | ocaml-2cff470317783a1483c19abcba4a2de034b5845f.tar.gz |
Replace structured constants by their Obj.t representation in CMO files
Before this commit, relocatable literals under the Reloc_literal
constructor were represented by objects
of type Lambda.structured_constant
in the CMO files. These objects were translated into their Obj.t
representation as they were loaded.
With this commit, the translation from Lambda.structured_constant
to Obj.t occurs as part of the compilation rather than when the CMO file
is loaded.
Diffstat (limited to 'file_formats')
-rw-r--r-- | file_formats/cmo_format.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/file_formats/cmo_format.mli b/file_formats/cmo_format.mli index 0952157b37..545e4ec264 100644 --- a/file_formats/cmo_format.mli +++ b/file_formats/cmo_format.mli @@ -20,7 +20,7 @@ open Misc (* Relocation information *) type reloc_info = - Reloc_literal of Lambda.structured_constant (* structured constant *) + Reloc_literal of Obj.t (* structured constant *) | Reloc_getglobal of Ident.t (* reference to a global *) | Reloc_setglobal of Ident.t (* definition of a global *) | Reloc_primitive of string (* C primitive number *) |