jon.recoil.org

Module Ocaml_typing.Persistent_envSource

Sourcemodule Consistbl_data = Import_info.Intf.Nonalias.Kind
Sourcetype error =
  1. | Illegal_renaming of Compilation_unit.Name.t * Compilation_unit.Name.t * Ocaml_utils.Misc.filepath
  2. | Inconsistent_import of Compilation_unit.Name.t * Ocaml_utils.Misc.filepath * Ocaml_utils.Misc.filepath
  3. | Need_recursive_types of Compilation_unit.Name.t
  4. | Inconsistent_package_declaration_between_imports of Ocaml_utils.Misc.filepath * Compilation_unit.t * Compilation_unit.t
  5. | Direct_reference_from_wrong_package of Compilation_unit.t * Ocaml_utils.Misc.filepath * Compilation_unit.Prefix.t
  6. | Illegal_import_of_parameter of Global_module.Name.t * Ocaml_utils.Misc.filepath
  7. | Not_compiled_as_parameter of Global_module.Name.t
  8. | Imported_module_has_unset_parameter of {
    1. imported : Global_module.Name.t;
    2. parameter : Global_module.Parameter_name.t;
    }
  9. | 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;
    }
  10. | Not_compiled_as_argument of {
    1. param : Global_module.Parameter_name.t;
    2. value : Global_module.Name.t;
    3. filename : Ocaml_utils.Misc.filepath;
    }
  11. | Argument_type_mismatch of {
    1. value : Global_module.Name.t;
    2. filename : Ocaml_utils.Misc.filepath;
    3. expected : Global_module.Parameter_name.t;
    4. actual : Global_module.Parameter_name.t;
    }
  12. | Unbound_module_as_argument_value of {
    1. instance : Global_module.Name.t;
    2. value : Global_module.Name.t;
    }
Sourceexception Error of error
Sourcemodule Persistent_signature : sig ... end
Sourcetype can_load_cmis =
  1. | Can_load_cmis
  2. | Cannot_load_cmis of Ocaml_utils.Lazy_backtrack.log
Sourcetype 'a t
Sourceval empty : unit -> 'a t
Sourceval short_paths_basis : 'a t -> Short_paths.Basis.t
Sourceval clear : 'a t -> unit
Sourceval clear_missing : 'a t -> unit
Sourceval fold : 'a t -> (Global_module.Name.t -> 'a -> 'b -> 'b) -> 'b -> 'b
Sourcetype address =
  1. | Aunit of Compilation_unit.t
  2. | Alocal of Ident.t
  3. | Adot of address * Types.module_representation * int
Sourcetype 'a sig_reader = Subst.Lazy.persistent_signature -> Global_module.Name.t -> Shape.Uid.t -> shape:Shape.t -> address:address -> flags:Cmi_format.pers_flags list -> 'a
Sourceval find : allow_hidden:bool -> 'a t -> 'a sig_reader -> (Global_module.Name.t -> 'a -> Ocaml_typing.Short_paths.Desc.Module.components Lazy.t) -> Global_module.Name.t -> allow_excess_args:bool -> 'a
Sourceval find_in_cache : 'a t -> Global_module.Name.t -> 'a option
Sourceval register_parameter : 'a t -> Global_module.Parameter_name.t -> unit
Sourceval is_parameter_import : 'a t -> Global_module.Name.t -> bool
Sourceval looked_up : 'a t -> Global_module.Name.t -> bool
Sourceval is_imported_opaque : 'a t -> Compilation_unit.Name.t -> bool
Sourceval register_import_as_opaque : 'a t -> Compilation_unit.Name.t -> unit
Sourceval implemented_parameter : 'a t -> Global_module.Name.t -> Global_module.Parameter_name.t option
Sourceval global_of_global_name : 'a t -> check:bool -> Global_module.Name.t -> allow_excess_args:bool -> Global_module.t
Sourceval normalize_global_name : 'a t -> Global_module.Name.t -> Global_module.Name.t
Sourceval save_cmi : 'a t -> Persistent_signature.t -> unit
Sourceval can_load_cmis : 'a t -> can_load_cmis
Sourceval set_can_load_cmis : 'a t -> can_load_cmis -> unit
Sourceval without_cmis : 'a t -> ('b -> 'c) -> 'b -> 'c
Sourceval import_crcs : 'a t -> source:Ocaml_utils.Misc.filepath -> Import_info.Intf.t array -> unit
Sourceval imports : 'a t -> Import_info.Intf.t list
Sourceval require_intf_for_quote : 'a t -> Compilation_unit.Name.t -> unit
Sourceval quoted_intfs : 'a t -> Compilation_unit.Name.Set.t
Sourceval loaded_transitive_dependencies : 'a t -> Compilation_unit.Name.Set.t -> Compilation_unit.Name.Set.t
Sourceval require_impl_for_quote : 'a t -> Compilation_unit.t -> unit
Sourceval quoted_impls : 'a t -> Compilation_unit.Set.t
Sourceval runtime_parameter_bindings : 'a t -> (Global_module.t * Ident.t) list
Sourceval is_bound_to_runtime_parameter : 'a t -> Ident.t -> bool
Sourceval is_imported_parameter : 'a t -> Global_module.Name.t -> bool
Sourceval parameters : 'a t -> Global_module.Parameter_name.t list
Sourceval crc_of_unit : 'a t -> Compilation_unit.Name.t -> Digest.t
Sourceval add_delayed_check_forward : ((unit -> unit) -> unit) ref
Sourceval with_cmis : 'a t -> ('b -> 'c) -> 'b -> 'c
Sourceval forall : found: (Compilation_unit.Name.t -> Ocaml_utils.Misc.filepath -> Compilation_unit.Name.t -> bool) -> missing:(Compilation_unit.Name.t -> bool) -> 'a t -> bool