Cms_format (merlin-lib.merlin-lib.ocaml_typing.Ocaml_typing.Cms

module Uid = Shape.Uid

type 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;

}

type error =

| Not_a_shape of string

exception Error of error

val read : string -> cms_infos

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

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.

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

val read_magic_number : in_channel -> string

val clear : unit -> unit

val shape_format_to_string : Ocaml_utils.Clflags.shape_format -> string