jon.recoil.org

Module Jkind_intf.History

type concrete_creation_reason =
  1. | Merlin
  2. | Match
  3. | Constructor_declaration of int
  4. | Label_declaration of Ocaml_typing.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 =
  1. | Unannotated_type_parameter of Ocaml_typing.Path.t
  2. | Wildcard
  3. | Unification_var
type 'd annotation_context =
  1. | Type_declaration : Ocaml_typing.Path.t -> (Ocaml_typing.Allowance.allowed * 'r) Ocaml_typing.Jkind_intf.History.annotation_context
  2. | Type_parameter : Ocaml_typing.Path.t * string option -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  3. | Newtype_declaration : string -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  4. | Constructor_type_parameter : Ocaml_typing.Path.t * string -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  5. | Existential_unpack : string -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  6. | Univar : string -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  7. | Type_variable : string -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  8. | Type_wildcard : Ocaml_parsing.Location.t -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  9. | Type_of_kind : Ocaml_parsing.Location.t -> (Ocaml_typing.Allowance.allowed * Ocaml_typing.Allowance.allowed) Ocaml_typing.Jkind_intf.History.annotation_context
  10. | With_error_message : string * 'd Ocaml_typing.Jkind_intf.History.annotation_context -> 'd Ocaml_typing.Jkind_intf.History.annotation_context
type value_or_null_creation_reason =
  1. | Primitive of Ocaml_typing.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 Ocaml_typing.Ident.t
  9. | Type_argument of {
    1. parent_path : Ocaml_typing.Path.t;
    2. position : int;
    3. arity : int;
    }
type 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 Ocaml_typing.Ident.t
  10. | Type_argument of {
    1. parent_path : Ocaml_typing.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 =
  1. | Empty_record
  2. | Enumeration
  3. | Primitive of Ocaml_typing.Ident.t
  4. | Immediate_polymorphic_variant
type immediate_or_null_creation_reason =
  1. | Primitive of Ocaml_typing.Ident.t
type void_creation_reason = |
type any_creation_reason =
  1. | Missing_cmi of Ocaml_typing.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 : Ocaml_typing.Path.t;
    2. position : int;
    3. arity : int;
    }
type product_creation_reason =
  1. | Unboxed_tuple
  2. | Unboxed_record
type interact_reason =
  1. | Gadt_equation of Ocaml_typing.Path.t
  2. | Tyvar_refinement_intersection
  3. | Subjkind