diff options
Diffstat (limited to 'asmcomp/compilenv.mli')
| -rw-r--r-- | asmcomp/compilenv.mli | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli index 9ffb145a85..9c2eb62975 100644 --- a/asmcomp/compilenv.mli +++ b/asmcomp/compilenv.mli @@ -54,9 +54,18 @@ val need_send_fun: int -> unit val new_const_symbol : unit -> string val new_const_label : unit -> int -val new_structured_constant : Lambda.structured_constant -> bool -> string -val structured_constants : - unit -> (string * bool * Lambda.structured_constant) list + +val new_structured_constant: + Clambda.ustructured_constant -> + shared:bool -> (* can be shared with another structually equal constant *) + string +val structured_constants: unit -> (string * bool * Clambda.ustructured_constant) list +val add_exported_constant: string -> unit + +type structured_constants +val snapshot: unit -> structured_constants +val backtrack: structured_constants -> unit + val read_unit_info: string -> unit_infos * Digest.t (* Read infos and MD5 from a [.cmx] file. *) |