Module `Persistent_env`

module Consistbl_data = Import_info.Intf.Nonalias.Kind

module Consistbl : 
  module type of struct include Consistbl.Make(Compilation_unit.Name)(Consistbl_data) end

type error =

| Illegal_renaming of Compilation_unit.Name.t * Compilation_unit.Name.t * Misc.filepath
| Inconsistent_import of Compilation_unit.Name.t * Misc.filepath * Misc.filepath
| Need_recursive_types of Compilation_unit.Name.t
| Inconsistent_package_declaration_between_imports of Misc.filepath * Compilation_unit.t * Compilation_unit.t
| Direct_reference_from_wrong_package of Compilation_unit.t * Misc.filepath * Compilation_unit.Prefix.t
| Illegal_import_of_parameter of Global_module.Name.t * Misc.filepath
| Not_compiled_as_parameter of Global_module.Name.t
| Imported_module_has_unset_parameter of {
1. imported : Global_module.Name.t;
2. parameter : Global_module.Parameter_name.t;
}
| Imported_module_has_no_such_parameter of {
1. imported : Compilation_unit.Name.t;
2. valid_parameters : Global_module.Parameter_name.t list;
3. parameter : Global_module.Parameter_name.t;
4. value : Global_module.Name.t;
}
| Not_compiled_as_argument of {
1. param : Global_module.Parameter_name.t;
2. value : Global_module.Name.t;
3. filename : Misc.filepath;
}
| Argument_type_mismatch of {
1. value : Global_module.Name.t;
2. filename : Misc.filepath;
3. expected : Global_module.Parameter_name.t;
4. actual : Global_module.Parameter_name.t;
}
| Unbound_module_as_argument_value of {
1. instance : Global_module.Name.t;
2. value : Global_module.Name.t;
}

exception Error of Persistent_env.error

val report_error : Stdlib.Format.formatter -> Persistent_env.error -> unit

module Persistent_signature : sig ... end

type can_load_cmis =

| Can_load_cmis
| Cannot_load_cmis of Lazy_backtrack.log

type 'a t

val empty : unit -> 'a Persistent_env.t

val clear : 'a Persistent_env.t -> unit

val clear_missing : 'a Persistent_env.t -> unit

val fold : 
  'a Persistent_env.t ->
  (Global_module.Name.t -> 'a -> 'b -> 'b) ->
  'b ->
  'b

type address =

| Aunit of Compilation_unit.t
| Alocal of Ident.t
| Adot of Persistent_env.address * Types.module_representation * int

type 'a sig_reader =
  Subst.Lazy.signature ->
  Global_module.Name.t ->
  Shape.Uid.t ->
  shape:Shape.t ->
  address:Persistent_env.address ->
  flags:Cmi_format.pers_flags list ->
  'a

val read : 
  'a Persistent_env.t ->
  Global_module.Name.t ->
  Unit_info.Artifact.t ->
  Subst.Lazy.signature

val find : 
  allow_hidden:bool ->
  'a Persistent_env.t ->
  'a Persistent_env.sig_reader ->
  Global_module.Name.t ->
  allow_excess_args:bool ->
  'a

val find_in_cache : 'a Persistent_env.t -> Global_module.Name.t -> 'a option

val check : 
  allow_hidden:bool ->
  'a Persistent_env.t ->
  'a Persistent_env.sig_reader ->
  loc:Location.t ->
  Global_module.Name.t ->
  unit

val register_parameter : 
  'a Persistent_env.t ->
  Global_module.Parameter_name.t ->
  unit

val is_parameter_import : 'a Persistent_env.t -> Global_module.Name.t -> bool

val looked_up : 'a Persistent_env.t -> Global_module.Name.t -> bool

val is_imported_opaque : 'a Persistent_env.t -> Compilation_unit.Name.t -> bool

val register_import_as_opaque : 
  'a Persistent_env.t ->
  Compilation_unit.Name.t ->
  unit

val implemented_parameter : 
  'a Persistent_env.t ->
  Global_module.Name.t ->
  Global_module.Parameter_name.t option

val global_of_global_name : 
  'a Persistent_env.t ->
  check:bool ->
  Global_module.Name.t ->
  allow_excess_args:bool ->
  Global_module.t

val normalize_global_name : 
  'a Persistent_env.t ->
  Global_module.Name.t ->
  Global_module.Name.t

val make_cmi : 
  'a Persistent_env.t ->
  Compilation_unit.Name.t ->
  Cmi_format.kind ->
  Subst.Lazy.signature ->
  Misc.alerts ->
  Cmi_format.cmi_infos_lazy

val save_cmi : 
  'a Persistent_env.t ->
  Persistent_env.Persistent_signature.t ->
  unit

val can_load_cmis : 'a Persistent_env.t -> Persistent_env.can_load_cmis

val set_can_load_cmis : 
  'a Persistent_env.t ->
  Persistent_env.can_load_cmis ->
  unit

val without_cmis : 'a Persistent_env.t -> ('b -> 'c) -> 'b -> 'c

val import_crcs : 
  'a Persistent_env.t ->
  source:Misc.filepath ->
  Import_info.Intf.t array ->
  unit

val imports : 'a Persistent_env.t -> Import_info.Intf.t list

val require_global_for_quote : 
  'a Persistent_env.t ->
  Compilation_unit.Name.t ->
  unit

val quoted_globals : 'a Persistent_env.t -> Compilation_unit.Name.t list

val runtime_parameter_bindings : 
  'a Persistent_env.t ->
  (Global_module.t * Ident.t) list

val is_bound_to_runtime_parameter : 'a Persistent_env.t -> Ident.t -> bool

val is_imported_parameter : 'a Persistent_env.t -> Global_module.Name.t -> bool

val parameters : 'a Persistent_env.t -> Global_module.Parameter_name.t list

val crc_of_unit : 
  'a Persistent_env.t ->
  Compilation_unit.Name.t ->
  Stdlib.Digest.t

val add_delayed_check_forward : ((unit -> unit) -> unit) Stdlib.ref

Module Persistent_env

Module `Persistent_env`