jon.recoil.org

Module Jkind_intf.History

type concrete_creation_reason =
  1. | Match
  2. | Constructor_declaration of int
  3. | Label_declaration of Ident.t
  4. | Record_projection
  5. | Record_assignment
  6. | Record_functional_update
  7. | Let_binding
  8. | Function_argument
  9. | Function_result
  10. | Structure_item_expression
  11. | External_argument
  12. | External_result
  13. | Statement
  14. | Optional_arg_default
  15. | Layout_poly_in_external
  16. | Unboxed_tuple_element
  17. | Peek_or_poke
  18. | Old_style_unboxed_type
  19. | Array_element
  20. | Idx_element
  21. | Structure_item
  22. | Signature_item
  23. | Layout_poly
type concrete_legacy_creation_reason =
  1. | Unannotated_type_parameter of Path.t
  2. | Wildcard
  3. | Unification_var
type 'd 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. | Implicit_jkind : string -> (Allowance.allowed * Allowance.allowed) annotation_context
  9. | Type_wildcard : Location.t -> (Allowance.allowed * Allowance.allowed) annotation_context
  10. | Type_of_kind : Location.t -> (Allowance.allowed * Allowance.allowed) annotation_context
  11. | Jkind_declaration : Path.t -> (Allowance.allowed * Allowance.allowed) annotation_context
  12. | With_error_message : string * 'd annotation_context -> 'd annotation_context
type 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;
    }
  10. | Recmod_fun_arg
  11. | Array_comprehension_element
  12. | Array_comprehension_iterator_element
  13. | Idx_base
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 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. | List_comprehension_iterator_element
  23. | Lazy_expression
  24. | Class_type_argument
  25. | Class_term_argument
  26. | Debug_printer_argument
  27. | Array_type_kind
  28. | Quoted_expression
  29. | Unknown of string
type immediate_creation_reason =
  1. | Empty_record
  2. | Enumeration
  3. | Primitive of Ident.t
  4. | Immediate_polymorphic_variant
type immediate_or_null_creation_reason =
  1. | Primitive of Ident.t
type scannable_creation_reason =
  1. | Dummy_jkind
type void_creation_reason = |
type 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;
    }
  10. | Overapproximation_of_with_bounds
  11. | Inside_quote
  12. | Evaluated_quote
type product_creation_reason =
  1. | Unboxed_tuple
  2. | Unboxed_record
type creation_reason =
  1. | Annotated : ('l * 'r) annotation_context * 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. | Scannable_creation of scannable_creation_reason
  8. | Void_creation of void_creation_reason
  9. | Any_creation of any_creation_reason
  10. | Product_creation of product_creation_reason
  11. | Concrete_creation of concrete_creation_reason
  12. | Concrete_legacy_creation of concrete_legacy_creation_reason
  13. | Primitive of Ident.t
  14. | Unboxed_primitive of Ident.t
  15. | Imported
  16. | Imported_type_argument of {
    1. parent_path : Path.t;
    2. position : int;
    3. arity : int;
    }
  17. | Generalized of Ident.t option * Location.t
  18. | Abbreviation
type interact_reason =
  1. | Gadt_equation of Path.t
  2. | Tyvar_refinement_intersection
  3. | Subjkind