Module `Ocaml_typing.Signature_with_global_bindings`

type t = private {

sign : Ocaml_typing.Subst.Lazy.signature;
bound_globals : Ocaml_typing.Global_module.With_precision.t array;

}

The cmi_sign and cmi_globals fields from a .cmi file, seen as a single term of the form:

let <global name 1> = <global 1> in
   ...
   let <global name n> = <global n> in
   sig
     ...
   end

Note that globals without parameters are understood to be bound but aren't represented explicitly.

val read_from_cmi : 
  Ocaml_typing.Cmi_format.cmi_infos_lazy ->
  Ocaml_typing.Signature_with_global_bindings.t

val subst : 
  Ocaml_typing.Signature_with_global_bindings.t ->
  (Ocaml_typing.Global_module.Parameter_name.t * Ocaml_typing.Global_module.t)
    list ->
  Ocaml_typing.Signature_with_global_bindings.t

To see how substitution will work on t, suppose we have something like

let X = X in
   let Y = Y in
   let M = M{X}{Y} in
   ... X ... Y ... M ...

Now suppose we import this module and pass A as the value of X.

1. We substitute A for X in the bound global names:

let X = A in
   let Y = Y in
   let M = M[X:A]{Y} in
   ... X ... Y ... M ...

2. Now, as usual, to work with the signature, we need to add these bindings to the environment. However, we can't lift them in this form, as X and M may have different bindings in different modules. To achieve consistency, we alpha-rename to a canonical form:

let A = A in
   let Y = Y in
   let M[X:A] = M[X:A]{Y}
   ... A ... Y ... M[X:A] ...

In general, the plan of action is:

1. Form a substitution S mapping each argument's name to its value 2. Apply S to the RHSes of the global name bindings 3. For each new binding L = R', let L' be the Global_module.to_name of R', substitute L' for L in the body, and update the binding to L' = R'

Note that the argument values themselves won't be returned in the new list of bound globals, since it's assumed that they are already accounted for in the environment.

Module Ocaml_typing.Signature_with_global_bindings

Module `Ocaml_typing.Signature_with_global_bindings`