package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (18)

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.7.1-504.tbz
sha256=139b073cf914b38b725c54f75b8b642f654c3498d0a4ba8cfa831ff02a8970d5
sha512=9391d3a0aaa5065a02c6f5faaf7149f8f800c748d9be5ccff6af800ce73bdf418ead72dbeaf6ee7a6cbeae2c8e56285fbe422740ed407bcc4edab889dd1c8f9c

doc/merlin-lib.ocaml_typing/Ocaml_typing/Msupport/index.html

Module Ocaml_typing.MsupportSource

Sourceval raise_error : ?ignore_unify:bool -> exn -> unit

Raise an error that can be caught: normal flow is resumed if a catch_errors handler was installed.

Sourceexception Resume

Resume after error: like raise_error, but if a handler was provided a Resume exception is raised. This allows to specify a special case when an error is caught.

Sourceval resume_raise : exn -> 'a

Installing (and removing) error handlers.

Sourceval catch_errors : Ocaml_utils.Warnings.state -> exn list ref -> (unit -> 'a) -> 'a

Any raise_error invoked inside catch_errors will be added to the list.

Sourceval uncatch_errors : (unit -> 'a) -> 'a

Temporary disable catching errors

Sourceval monitor_errors : unit -> bool ref

Returns a reference initially set to false that will be set to true when a type error is raised.

Sourceexception Warning of Ocaml_parsing.Location.t * string

Warnings can also be stored in the caught exception list, wrapped inside this exception

Sourceval erroneous_type_register : Types.type_expr -> unit
Sourceval erroneous_type_check : Types.type_expr -> bool
Sourceval erroneous_expr_check : Typedtree.expression -> bool
Sourceval flush_saved_types : unit -> Ocaml_parsing.Parsetree.attributes

Turn saved types from Cmt_format into attributes

Sourceval incorrect_attribute : Ocaml_parsing.Parsetree.attribute

Extend the given attributes with an incorrect attribute and the saved types after turning them into attributes

Sourceval get_saved_types_from_attributes : Ocaml_parsing.Parsetree.attributes -> Cmt_format.binary_part list

Retrieve saved types that were turned into attributes

Sourceval with_saved_types : ?warning_attribute:Ocaml_parsing.Parsetree.attributes -> ?save_part:('a -> Cmt_format.binary_part) -> (unit -> 'a) -> 'a