Module `Ocaml_typing.Cms_format`

cms and cmsi files format.

module Uid = Ocaml_typing.Shape.Uid

type cms_infos = {

cms_modname : Ocaml_typing.Compilation_unit.t;
cms_comments : (string * Ocaml_parsing.Location.t) list;
cms_sourcefile : string option;
cms_builddir : string;
cms_source_digest : string option;
cms_initial_env : Ocaml_typing.Env.t option;
cms_uid_to_loc : string Ocaml_parsing.Location.loc Ocaml_typing.Shape.Uid.Tbl.t;
cms_uid_to_attributes : Ocaml_parsing.Parsetree.attributes Ocaml_typing.Shape.Uid.Tbl.t;
cms_shape_format : Ocaml_utils.Clflags.shape_format;
cms_impl_shape : Ocaml_typing.Shape.t option;
cms_ident_occurrences : (Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc * Ocaml_typing.Shape_reduce.result) array;
cms_declaration_dependencies : (Ocaml_typing.Cmt_format.dependency_kind * Uid.t * Uid.t) list;
cms_externals : Ocaml_typing.Vicuna_value_shapes.extfun array;

}

type error =

| Not_a_shape of string

exception Error of Ocaml_typing.Cms_format.error

val read : string -> Ocaml_typing.Cms_format.cms_infos

read filename opens filename, and extract the cms_infos. It can be used with .cms and .cmsi files.

val save_cms : 
  Ocaml_typing.Unit_info.Artifact.t ->
  Ocaml_typing.Compilation_unit.t ->
  Ocaml_typing.Cmt_format.binary_annots ->
  Ocaml_typing.Env.t ->
  Ocaml_typing.Shape.t option ->
  (Ocaml_typing.Cmt_format.dependency_kind * Uid.t * Uid.t) list ->
  unit

save_cms filename modname sourcefile shape writes a cms(i) file.

val register_toplevel_attributes : 
  Ocaml_typing.Shape.Uid.t ->
  attributes:Ocaml_parsing.Parsetree.attribute list ->
  loc:Ocaml_parsing.Location.t ->
  unit

val read_magic_number : Stdlib.in_channel -> string

val clear : unit -> unit

val shape_format_to_string : Ocaml_utils.Clflags.shape_format -> string

Module Ocaml_typing.Cms_format

Module `Ocaml_typing.Cms_format`