package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.1.0

Install

dune-project

Dependency

ocaml.org Edit opam file Versions (70)

Authors

Xavier Leroy

Maintainers

Sources

5.1.0.tar.gz

sha256=43a3ac7aab7f8880f2bb6221317be55319b356e517622fdc28359fe943e6a450

doc/compiler-libs.common/Persistent_env/index.html

Module `Persistent_env`

module Consistbl : 
  module type of struct include Consistbl.Make(Misc.Stdlib.String) end

type error =

| Illegal_renaming of Misc.modname * Misc.modname * Misc.filepath
| Inconsistent_import of Misc.modname * Misc.filepath * Misc.filepath
| Need_recursive_types of Misc.modname

exception Error of error

val report_error : Format.formatter -> 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 t

val clear : 'a t -> unit

val clear_missing : 'a t -> unit

val fold : 'a t -> (Misc.modname -> 'a -> 'b -> 'b) -> 'b -> 'b

val read : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  Misc.modname ->
  Misc.filepath ->
  'a

val find : 'a t -> (Persistent_signature.t -> 'a) -> Misc.modname -> 'a

val find_in_cache : 'a t -> Misc.modname -> 'a option

val check : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  loc:Location.t ->
  Misc.modname ->
  unit

val looked_up : 'a t -> Misc.modname -> bool

val is_imported : 'a t -> Misc.modname -> bool

val is_imported_opaque : 'a t -> Misc.modname -> bool

val register_import_as_opaque : 'a t -> Misc.modname -> unit

val make_cmi : 
  'a t ->
  Misc.modname ->
  Types.signature ->
  Misc.alerts ->
  Cmi_format.cmi_infos

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

val can_load_cmis : 'a t -> can_load_cmis

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

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

val import_crcs : 'a t -> source:Misc.filepath -> Misc.crcs -> unit

val imports : 'a t -> Misc.crcs

val crc_of_unit : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  Misc.modname ->
  Digest.t

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