package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=67da3b34f2fea07678267309f61da4a2c6f08298de0dc59655b8d30fd8269af1

sha512=1fb3b5180d36aa82b82a319e15b743b802b6888f0dc67645baafdb4e18dfc23a7b90064ec9bc42f7424061cf8cde7f8839178d8a8537bf4596759f3ff4891873

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