jon.recoil.org

Module Ocaml_typing.Typedecl

type transl_value_decl_modal =
  1. | Str_primitive
    (*

    A primitive in structure, in which case the modality syntax is treated as modes, and the returned value description will have empty modalities.

    *)
  2. | Sig_value of Ocaml_typing.Mode.Value.l * Ocaml_typing.Mode.Modality.Const.t
    (*

    A value description in a signature, in which case we require the mode of the structure that the value lives in, as well as the default modalities of the signature.

    *)

Returns a value description and the mode that the VD is based on, and a new environment that contains the VD at the mode.

val abstract_type_decl : injective:bool -> jkind:Ocaml_typing.Types.jkind_l -> params:Ocaml_typing.Types.jkind_lr list -> Ocaml_typing.Types.type_declaration
val is_fixed_type : Ocaml_parsing.Parsetree.type_declaration -> bool
type native_repr_kind =
  1. | Unboxed
  2. | Untagged
type jkind_sort_loc =
  1. | Cstr_tuple of {
    1. unboxed : bool;
    }
  2. | Record of {
    1. unboxed : bool;
    }
  3. | Record_unboxed_product
  4. | Inlined_record of {
    1. unboxed : bool;
    }
  5. | Mixed_product
  6. | External
  7. | External_with_layout_poly
type reaching_type_path = Ocaml_typing.Typedecl.reaching_type_step list
module Mixed_product_kind : sig ... end
val assert_mixed_product_support : Ocaml_utils.Warnings.loc -> Ocaml_typing.Typedecl.Mixed_product_kind.t -> value_prefix_len:int -> unit
type mixed_product_violation =
  1. | Runtime_support_not_enabled of Ocaml_typing.Typedecl.Mixed_product_kind.t
  2. | Extension_constructor
  3. | Value_prefix_too_long of {
    1. value_prefix_len : int;
    2. max_value_prefix_len : int;
    3. mixed_product_kind : Ocaml_typing.Typedecl.Mixed_product_kind.t;
    }
  4. | Insufficient_level of {
    1. required_layouts_level : Ocaml_parsing.Language_extension.maturity;
    2. mixed_product_kind : Ocaml_typing.Typedecl.Mixed_product_kind.t;
    }
type bad_jkind_inference_location =
  1. | Check_constraints
  2. | Delayed_checks
type error =
  1. | Repeated_parameter
  2. | Duplicate_constructor of string
  3. | Too_many_constructors
  4. | Duplicate_label of string
  5. | Unboxed_mutable_label
  6. | Recursive_abbrev of string * Ocaml_typing.Env.t * Ocaml_typing.Typedecl.reaching_type_path
  7. | Cycle_in_def of string * Ocaml_typing.Env.t * Ocaml_typing.Typedecl.reaching_type_path
  8. | Unboxed_recursion of string * Ocaml_typing.Env.t * Ocaml_typing.Typedecl.reaching_type_path
  9. | Definition_mismatch of Ocaml_typing.Types.type_expr * Ocaml_typing.Env.t * Ocaml_typing.Includecore.type_mismatch option
  10. | Constraint_failed of Ocaml_typing.Env.t * Ocaml_typing.Errortrace.unification_error
  11. | Inconsistent_constraint of Ocaml_typing.Env.t * Ocaml_typing.Errortrace.unification_error
  12. | Type_clash of Ocaml_typing.Env.t * Ocaml_typing.Errortrace.unification_error
  13. | Non_regular of {
    1. definition : Ocaml_typing.Path.t;
    2. used_as : Ocaml_typing.Types.type_expr;
    3. defined_as : Ocaml_typing.Types.type_expr;
    4. reaching_path : Ocaml_typing.Typedecl.reaching_type_path;
    }
  14. | Null_arity_external
  15. | Missing_native_external
  16. | Unbound_type_var of Ocaml_typing.Types.type_expr * Ocaml_typing.Types.type_declaration
  17. | Cannot_extend_private_type of Ocaml_typing.Path.t
  18. | Not_extensible_type of Ocaml_typing.Path.t
  19. | Extension_mismatch of Ocaml_typing.Path.t * Ocaml_typing.Env.t * Ocaml_typing.Includecore.type_mismatch
  20. | Rebind_wrong_type of Ocaml_parsing.Longident.t * Ocaml_typing.Env.t * Ocaml_typing.Errortrace.unification_error
  21. | Rebind_mismatch of Ocaml_parsing.Longident.t * Ocaml_typing.Path.t * Ocaml_typing.Path.t
  22. | Rebind_private of Ocaml_parsing.Longident.t
  23. | Variance of Ocaml_typing.Typedecl_variance.error
  24. | Unavailable_type_constructor of Ocaml_typing.Path.t
  25. | Unbound_type_var_ext of Ocaml_typing.Types.type_expr * Ocaml_typing.Types.extension_constructor
  26. | Val_in_structure
  27. | Multiple_native_repr_attributes
  28. | Cannot_unbox_or_untag_type of Ocaml_typing.Typedecl.native_repr_kind
  29. | Deep_unbox_or_untag_attribute of Ocaml_typing.Typedecl.native_repr_kind
  30. | Jkind_mismatch_of_type of Ocaml_typing.Types.type_expr * Ocaml_typing.Jkind.Violation.t
  31. | Jkind_mismatch_of_path of Ocaml_typing.Path.t * Ocaml_typing.Jkind.Violation.t
  32. | Jkind_mismatch_due_to_bad_inference of Ocaml_typing.Types.type_expr * Ocaml_typing.Jkind.Violation.t * Ocaml_typing.Typedecl.bad_jkind_inference_location
  33. | Jkind_sort of {
    1. kloc : Ocaml_typing.Typedecl.jkind_sort_loc;
    2. typ : Ocaml_typing.Types.type_expr;
    3. err : Ocaml_typing.Jkind.Violation.t;
    }
  34. | Jkind_empty_record
  35. | Non_representable_in_module of Ocaml_typing.Jkind.Violation.t * Ocaml_typing.Types.type_expr
  36. | Invalid_jkind_in_block of Ocaml_typing.Types.type_expr * Ocaml_typing.Jkind.Sort.Const.t * Ocaml_typing.Typedecl.jkind_sort_loc
  37. | Illegal_mixed_product of Ocaml_typing.Typedecl.mixed_product_violation
  38. | Separability of Ocaml_typing.Typedecl_separability.error
  39. | Bad_unboxed_attribute of string
  40. | Boxed_and_unboxed
  41. | Nonrec_gadt
  42. | Invalid_private_row_declaration of Ocaml_typing.Types.type_expr
  43. | Local_not_enabled
  44. | Unexpected_layout_any_in_primitive of string
  45. | Useless_layout_poly
  46. | Zero_alloc_attr_unsupported of Ocaml_parsing.Builtin_attributes.zero_alloc_attribute
  47. | Zero_alloc_attr_non_function
  48. | Zero_alloc_attr_bad_user_arity
  49. | Invalid_reexport of {
    1. definition : Ocaml_typing.Path.t;
    2. expected : Ocaml_typing.Path.t;
    }
  50. | Non_abstract_reexport of Ocaml_typing.Path.t
  51. | Unsafe_mode_crossing_on_invalid_type_kind
  52. | Illegal_baggage of Ocaml_typing.Types.jkind_l
  53. | No_unboxed_version of Ocaml_typing.Path.t
  54. | Atomic_field_must_be_mutable of string
  55. | Constructor_submode_failed of Ocaml_typing.Mode.Value.error
  56. | Atomic_field_in_mixed_block
  57. | Non_value_atomic_field