package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=49b3b4c778c12125fc7405e73790b0b312d5d79749dd73d4838b6562a2533022

sha512=6350ff076ac61727c48bc098a05520c5d343f3323b2f3b6d7d69fdd568e51abca6945cbcbc3a6ae97fd198bd7bbdcae823fbd0f3f14a37972fe713da2ed14f2d

Sourcetype t

The state of the linking check. It keeps track of compilation units provided and required so far.

Sourcetype compunit = string

Sourcetype filename = string

Sourceval create : complete:bool -> t

create ~complete returns an empty state. If complete is true, missing compilation units will be treated as errors.

val add : 
  t ->
  filename:filename ->
  compunit:compunit ->
  provides:compunit list ->
  requires:compunit list ->
  unit

add t ~filename ~compunit ~provides ~requires registers the compilation unit compunit found in filename to t.

add should be called in reverse topological order.

Sourceval required : t -> compunit -> bool

required t compunit returns true if compunit is a dependency of previously added compilation units.

Sourcetype compunit_and_source = {

}

Sourcetype error =

Sourceval check : t -> error option

check t should be called once all the compilation units to be linked have been added. It returns some error if:

val report_error : 
  print_filename:string Merlin_utils.Format_doc.printer ->
  error Merlin_utils.Format_doc.format_printer

val report_error_doc : 
  print_filename:string Merlin_utils.Format_doc.printer ->
  error Merlin_utils.Format_doc.printer