merlin-lib 4.11-500 · OCaml Package

type ('elt, 'explanation) diff = {

}

type 'elt core_diff = ('elt, unit) diff

type functor_arg_descr =

type core_sigitem_symptom =

type core_module_type_symptom =

type module_type_symptom =

and module_type_diff = (Types.module_type, module_type_symptom) diff

and functor_symptom =

and ('arg, 'path) functor_param_symptom =

and arg_functor_param_symptom =
  (Types.functor_parameter, Ident.t) functor_param_symptom

and functor_params_diff =
  (Types.functor_parameter list * Types.module_type) core_diff

and signature_symptom = {

env : Env.t;
missings : Types.signature_item list;
incompatibles : (Ident.t * sigitem_symptom) list;
oks : (int * Typedtree.module_coercion) list;
leftovers : (Types.signature_item as 'it * 'it * int) list;
(*
signature items that could not be compared due to type divergence
*)

}

and sigitem_symptom =

and module_type_declaration_symptom =

| Illegal_permutation of Typedtree.module_coercion
| Not_greater_than of module_type_diff
| Not_less_than of module_type_diff
| Incomparable of {
1. less_than : module_type_diff;
2. greater_than : module_type_diff;
}

type all =

| In_Compilation_unit of (string, signature_symptom) diff
| In_Signature of signature_symptom
| In_Module_type of module_type_diff
| In_Module_type_substitution of Ident.t * (Types.module_type, module_type_declaration_symptom) diff
| In_Type_declaration of Ident.t * core_sigitem_symptom
| In_Expansion of core_module_type_symptom

package merlin-lib