Module `Includemod.Error`

type ('elt, 'explanation) mdiff = {

got : 'elt;
expected : 'elt;
modes : Includecore.mmodes;
symptom : 'explanation;

}

type ('elt, 'explanation) diff = {

got : 'elt;
expected : 'elt;
symptom : 'explanation;

}

type 'elt core_diff = ('elt, unit) Includemod.Error.diff

type 'elt core_mdiff = ('elt, unit) Includemod.Error.mdiff

type functor_arg_descr =

| Anonymous
| Named of Path.t
| Unit
| Empty_struct
(*
For backward compatibility's sake, an empty struct can be implicitly converted to an unit module.
*)

type class_declaration_symptom =

| Class_type of Ctype.class_match_failure list
| Class_mode of Mode.Value.error

type core_sigitem_symptom =

| Value_descriptions of (Types.value_description, Includecore.value_mismatch) Includemod.Error.mdiff
| Type_declarations of (Types.type_declaration, Includecore.type_mismatch) Includemod.Error.diff
| Extension_constructors of (Types.extension_constructor, Includecore.extension_constructor_mismatch) Includemod.Error.diff
| Class_type_declarations of (Types.class_type_declaration, Ctype.class_match_failure list) Includemod.Error.diff
| Class_declarations of (Types.class_declaration, Includemod.Error.class_declaration_symptom) Includemod.Error.mdiff
| Modalities of Mode.Modality.error

type core_module_type_symptom =

| Not_an_alias
| Not_an_identifier
| Incompatible_aliases
| Abstract_module_type
| Unbound_module_path of Path.t

type module_type_symptom =

| Mt_core of Includemod.Error.core_module_type_symptom
| Signature of Includemod.Error.signature_symptom
| Functor of Includemod.Error.functor_symptom
| Invalid_module_alias of Path.t
| After_alias_expansion of Includemod.Error.module_type_diff
| Mode of Mode.Value.error

and module_type_diff =
  (Types.module_type, Includemod.Error.module_type_symptom)
    Includemod.Error.mdiff

and functor_symptom =

| Params of Includemod.Error.functor_params_diff
| Result of Includemod.Error.module_type_diff

and ('arg, 'path) functor_param_symptom =

| Incompatible_params of 'arg * Types.functor_parameter
| Mismatch of Includemod.Error.module_type_diff

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

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

and signature_symptom = {

env : Env.t;
missings : Types.signature_item list;
incompatibles : (Ident.t * Includemod.Error.sigitem_symptom) list;

}

and sigitem_symptom =

| Core of Includemod.Error.core_sigitem_symptom
| Module_type_declaration of (Types.modtype_declaration, Includemod.Error.module_type_declaration_symptom) Includemod.Error.diff
| Module_type of Includemod.Error.module_type_diff

and module_type_declaration_symptom =

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

type compilation_unit_comparison =

| Implementation_vs_interface
| Argument_vs_parameter

type all =

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