Module Jkind.History

include module type of struct include Jkind_intf.History end
type concrete_creation_reason = Jkind_intf.History.concrete_creation_reason =
  1. | Merlin
  2. | Match
  3. | Constructor_declaration of int
  4. | Label_declaration of Ident.t
  5. | Record_projection
  6. | Record_assignment
  7. | Record_functional_update
  8. | Let_binding
  9. | Function_argument
  10. | Function_result
  11. | Structure_item_expression
  12. | External_argument
  13. | External_result
  14. | Statement
  15. | Optional_arg_default
  16. | Layout_poly_in_external
  17. | Unboxed_tuple_element
  18. | Peek_or_poke
  19. | Old_style_unboxed_type
  20. | Array_element
  21. | Idx_element
  22. | Structure_item
  23. | Signature_item
type concrete_legacy_creation_reason = Jkind_intf.History.concrete_legacy_creation_reason =
  1. | Unannotated_type_parameter of Path.t
  2. | Wildcard
  3. | Unification_var
type 'd annotation_context = 'd Jkind_intf.History.annotation_context =
  1. | Type_declaration : Path.t -> (Allowance.allowed * 'r) annotation_context
  2. | Type_parameter : Path.t * string option -> (Allowance.allowed * Allowance.allowed) annotation_context
  3. | Newtype_declaration : string -> (Allowance.allowed * Allowance.allowed) annotation_context
  4. | Constructor_type_parameter : Path.t * string -> (Allowance.allowed * Allowance.allowed) annotation_context
  5. | Existential_unpack : string -> (Allowance.allowed * Allowance.allowed) annotation_context
  6. | Univar : string -> (Allowance.allowed * Allowance.allowed) annotation_context
  7. | Type_variable : string -> (Allowance.allowed * Allowance.allowed) annotation_context
  8. | Type_wildcard : Ocaml_parsing.Location.t -> (Allowance.allowed * Allowance.allowed) annotation_context
  9. | Type_of_kind : Ocaml_parsing.Location.t -> (Allowance.allowed * Allowance.allowed) annotation_context
  10. | With_error_message : string * 'd annotation_context -> 'd annotation_context
type value_or_null_creation_reason = Jkind_intf.History.value_or_null_creation_reason =
  1. | Primitive of Ident.t
  2. | Tuple_element
  3. | Separability_check
  4. | Polymorphic_variant_field
  5. | V1_safety_check
  6. | Probe
  7. | Captured_in_object
  8. | Let_rec_variable of Ident.t
  9. | Type_argument of {
    1. parent_path : Path.t;
    2. position : int;
    3. arity : int;
    }
type value_creation_reason = Jkind_intf.History.value_creation_reason =
  1. | Class_let_binding
  2. | Object
  3. | Instance_variable
  4. | Object_field
  5. | Class_field
  6. | Boxed_record
  7. | Boxed_variant
  8. | Extensible_variant
  9. | Primitive of Ident.t
  10. | Type_argument of {
    1. parent_path : Path.t;
    2. position : int;
    3. arity : int;
    }
  11. | Tuple
  12. | Row_variable
  13. | Polymorphic_variant
  14. | Polymorphic_variant_too_big
  15. | Arrow
  16. | Tfield
  17. | Tnil
  18. | First_class_module
  19. | Univar
  20. | Default_type_jkind
  21. | Existential_type_variable
  22. | Idx_base
  23. | Array_comprehension_element
  24. | List_comprehension_iterator_element
  25. | Array_comprehension_iterator_element
  26. | Lazy_expression
  27. | Class_type_argument
  28. | Class_term_argument
  29. | Debug_printer_argument
  30. | Recmod_fun_arg
  31. | Quotation_result
  32. | Antiquotation_result
  33. | Tquote
  34. | Tsplice
  35. | Array_type_kind
  36. | Unknown of string
type immediate_creation_reason = Jkind_intf.History.immediate_creation_reason =
  1. | Empty_record
  2. | Enumeration
  3. | Primitive of Ident.t
  4. | Immediate_polymorphic_variant
type immediate_or_null_creation_reason = Jkind_intf.History.immediate_or_null_creation_reason =
  1. | Primitive of Ident.t
type void_creation_reason = Jkind_intf.History.void_creation_reason = |
type any_creation_reason = Jkind_intf.History.any_creation_reason =
  1. | Missing_cmi of Path.t
  2. | Initial_typedecl_env
  3. | Dummy_jkind
  4. | Type_expression_call
  5. | Inside_of_Tarrow
  6. | Wildcard
  7. | Unification_var
  8. | Array_type_argument
  9. | Type_argument of {
    1. parent_path : Path.t;
    2. position : int;
    3. arity : int;
    }
type product_creation_reason = Jkind_intf.History.product_creation_reason =
  1. | Unboxed_tuple
  2. | Unboxed_record
type creation_reason = Jkind_intf.History.creation_reason =
  1. | Annotated : ('l * 'r) annotation_context * Ocaml_parsing.Location.t -> creation_reason
  2. | Missing_cmi of Path.t
  3. | Value_or_null_creation of value_or_null_creation_reason
  4. | Value_creation of value_creation_reason
  5. | Immediate_creation of immediate_creation_reason
  6. | Immediate_or_null_creation of immediate_or_null_creation_reason
  7. | Void_creation of void_creation_reason
  8. | Any_creation of any_creation_reason
  9. | Product_creation of product_creation_reason
  10. | Concrete_creation of concrete_creation_reason
  11. | Concrete_legacy_creation of concrete_legacy_creation_reason
  12. | Primitive of Ident.t
  13. | Unboxed_primitive of Ident.t
  14. | Imported
  15. | Imported_type_argument of {
    1. parent_path : Path.t;
    2. position : int;
    3. arity : int;
    }
  16. | Generalized of Ident.t option * Ocaml_parsing.Location.t
  17. | Abbreviation
type interact_reason = Jkind_intf.History.interact_reason =
  1. | Gadt_equation of Path.t
  2. | Tyvar_refinement_intersection
  3. | Subjkind
val is_imported : 'd Types.jkind -> bool
val update_reason : 'd Types.jkind -> creation_reason -> 'd Types.jkind
val with_warning : 'd Types.jkind -> 'd Types.jkind
val has_warned : 'd Types.jkind -> bool