Module `Ocaml_typing.Cms_format`Source

cms and cmsi files format.

Sourcemodule Uid = Shape.Uid

Sourcetype cms_infos = {

cms_modname : 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 : Env.t option;
cms_uid_to_loc : string Ocaml_parsing.Location.loc Shape.Uid.Tbl.t;
cms_uid_to_attributes : Ocaml_parsing.Parsetree.attributes Shape.Uid.Tbl.t;
cms_shape_format : Ocaml_utils.Clflags.shape_format;
cms_impl_shape : Shape.t option;
cms_ident_occurrences : (Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc * Shape_reduce.result) array;
cms_declaration_dependencies : (Cmt_format.dependency_kind * Uid.t * Uid.t) list;
cms_externals : Vicuna_value_shapes.extfun array;

}

Sourcetype error =

| Not_a_shape of string

Sourceexception Error of error

Sourceval read : string -> cms_infos

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

Source

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

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

Source

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

Sourceval read_magic_number : in_channel -> string

Sourceval clear : unit -> unit

Sourceval shape_format_to_string : Ocaml_utils.Clflags.shape_format -> string

Module Ocaml_typing.Cms_formatSource

Module `Ocaml_typing.Cms_format`Source