package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.4.1-503.tbz
sha256=49b3b4c778c12125fc7405e73790b0b312d5d79749dd73d4838b6562a2533022
sha512=6350ff076ac61727c48bc098a05520c5d343f3323b2f3b6d7d69fdd568e51abca6945cbcbc3a6ae97fd198bd7bbdcae823fbd0f3f14a37972fe713da2ed14f2d

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

Module Ocaml_typing.IncludecoreSource

Sourcetype position = Errortrace.position =
  1. | First
  2. | Second
Sourcetype primitive_mismatch =
  1. | Name
  2. | Arity
  3. | No_alloc of position
  4. | Native_name
  5. | Result_repr
  6. | Argument_repr of int
Sourcetype value_mismatch =
  1. | Primitive_mismatch of primitive_mismatch
  2. | Not_a_primitive
  3. | Type of Errortrace.moregen_error
Sourceexception Dont_match of value_mismatch
Sourcetype privacy_mismatch =
  1. | Private_type_abbreviation
  2. | Private_variant_type
  3. | Private_record_type
  4. | Private_extensible_variant
  5. | Private_row_type
Sourcetype type_kind =
  1. | Kind_abstract
  2. | Kind_record
  3. | Kind_variant
  4. | Kind_open
Sourcetype kind_mismatch = type_kind * type_kind
Sourcetype label_mismatch =
  1. | Type of Errortrace.equality_error
  2. | Mutability of position
Sourcetype record_mismatch =
  1. | Label_mismatch of record_change list
  2. | Unboxed_float_representation of position
Sourcetype constructor_mismatch =
  1. | Type of Errortrace.equality_error
  2. | Arity
  3. | Inline_record of record_change list
  4. | Kind of position
  5. | Explicit_return_type of position
Sourcetype extension_constructor_mismatch =
  1. | Constructor_privacy
  2. | Constructor_mismatch of Ident.t * Types.extension_constructor * Types.extension_constructor * constructor_mismatch
Sourcetype private_variant_mismatch =
  1. | Only_outer_closed
  2. | Missing of position * string
  3. | Presence of string
  4. | Incompatible_types_for of string
  5. | Types of Errortrace.equality_error
Sourcetype private_object_mismatch =
  1. | Missing of string
  2. | Types of Errortrace.equality_error
Sourcetype type_mismatch =
  1. | Arity
  2. | Privacy of privacy_mismatch
  3. | Kind of kind_mismatch
  4. | Constraint of Errortrace.equality_error
  5. | Manifest of Errortrace.equality_error
  6. | Private_variant of Types.type_expr * Types.type_expr * private_variant_mismatch
  7. | Private_object of Types.type_expr * Types.type_expr * private_object_mismatch
  8. | Variance
  9. | Record_mismatch of record_mismatch
  10. | Variant_mismatch of variant_change list
  11. | Unboxed_representation of position
  12. | Immediate of Type_immediacy.Violation.t
Sourceval type_declarations : ?equality:bool -> loc:Ocaml_parsing.Location.t -> Env.t -> mark:bool -> string -> Types.type_declaration -> Path.t -> Types.type_declaration -> type_mismatch option

The functions value_descriptions_consistency and type_declarations_consistency check if two declaration are consistent. Declarations are consistent when there exists an environment such that the first declaration is a subtype of the second one.

Notably, if a type declaration td1 is consistent with td2 then a type expression te which is well-formed with the td2 declaration in scope is still well-formed with the td1 declaration: E, td2 |- te => E, td1 |- te.

Sourceval type_declarations_consistency : Env.t -> Types.type_declaration -> Types.type_declaration -> type_mismatch option
Sourceval report_value_mismatch : string -> string -> Env.t -> value_mismatch Merlin_utils.Format_doc.printer
Sourceval report_type_mismatch : string -> string -> string -> Env.t -> type_mismatch Merlin_utils.Format_doc.printer
Sourceval report_extension_constructor_mismatch : string -> string -> string -> Env.t -> extension_constructor_mismatch Merlin_utils.Format_doc.printer