Module `Typetexp`

type jkind_initialization_choice =

| Sort
| Any

module TyVarEnv : sig ... end

val type_open : 
  (?used_slot:bool Stdlib.ref ->
    Asttypes.override_flag ->
    Env.t ->
    Location.t ->
    Longident.t Asttypes.loc ->
    Path.t * Env.t)
    Stdlib.ref

val valid_tyvar_name : string -> bool

val transl_label : 
  Parsetree.arg_label ->
  Parsetree.core_type option ->
  Types.arg_label

transl_label lbl ty produces a Typedtree argument label for an argument with label lbl and type ty.

Position arguments (lbl:[%call_pos] -> ...) are parsed as Labelled l. This function converts them to Position l when the type is of the form [%call_pos].

val transl_label_from_pat : 
  Parsetree.arg_label ->
  Parsetree.pattern ->
  Types.arg_label * Parsetree.pattern

Produces a Typedtree argument label, as well as the pattern corresponding to the argument. transl_label lbl pat is equal to:

Position l, P when lbl is Labelled l and pat represents (P : [%call_pos])
transl_label lbl None, pat otherwise.

val transl_label_from_expr : 
  Parsetree.arg_label ->
  Parsetree.expression ->
  Types.arg_label * Parsetree.expression

Like transl_label_from_pat, but with special handling for expressions (E : [%call_pos]) instead of for patterns.

val transl_simple_type : 
  Env.t ->
  new_var_jkind:Typetexp.jkind_initialization_choice ->
  ?univars:Typetexp.TyVarEnv.poly_univars ->
  closed:bool ->
  Mode.Alloc.Const.t ->
  Parsetree.core_type ->
  Typedtree.core_type

val transl_simple_type_univars : 
  Env.t ->
  Parsetree.core_type ->
  Typedtree.core_type

val transl_simple_type_delayed : 
  Env.t ->
  Mode.Alloc.Const.t ->
  Parsetree.core_type ->
  Typedtree.core_type * Types.type_expr * (unit -> unit)

val transl_type_scheme : Env.t -> Parsetree.core_type -> Typedtree.core_type

val transl_type_param : 
  Env.t ->
  Path.t ->
  Types.jkind_lr ->
  Parsetree.core_type ->
  Typedtree.core_type

val get_type_param_jkind : Path.t -> Parsetree.core_type -> Types.jkind_lr

val get_type_param_name : Parsetree.core_type -> string option

exception Already_bound

type value_loc =

| Tuple
| Poly_variant
| Object_field

type sort_loc =

| Fun_arg
| Fun_ret

type cannot_quantify_reason

type jkind_info

type unbound_variable_reason

type error =

| Unbound_type_variable of string * string list * Typetexp.unbound_variable_reason option
| No_type_wildcards of Typetexp.unbound_variable_reason option
| Undefined_type_constructor of Path.t
| Type_arity_mismatch of Longident.t * int * int
| Bound_type_variable of string
| Recursive_type
| Type_mismatch of Errortrace.unification_error
| Alias_type_mismatch of Errortrace.unification_error
| Present_has_conjunction of string
| Present_has_no_type of string
| Constructor_mismatch of Types.type_expr * Types.type_expr
| Not_a_variant of Types.type_expr
| Variant_tags of string * string
| Invalid_variable_name of string
| Cannot_quantify of string * Typetexp.cannot_quantify_reason
| Bad_univar_jkind of {
1. name : string;
2. jkind_info : Typetexp.jkind_info;
3. inferred_jkind : Types.jkind_lr;
}
| Multiple_constraints_on_type of Longident.t
| Method_mismatch of string * Types.type_expr * Types.type_expr
| Opened_object of Path.t option
| Not_an_object of Types.type_expr
| Unsupported_extension : _ Language_extension.t -> Typetexp.error
| Polymorphic_optional_param
| Non_value of {
1. vloc : Typetexp.value_loc;
2. typ : Types.type_expr;
3. err : Jkind.Violation.t;
}
| Non_sort of {
1. vloc : Typetexp.sort_loc;
2. typ : Types.type_expr;
3. err : Jkind.Violation.t;
}
| Bad_jkind_annot of Types.type_expr * Jkind.Violation.t
| Did_you_mean_unboxed of Longident.t
| Invalid_label_for_call_pos of Parsetree.arg_label
| Invalid_variable_stage of {
1. name : string;
2. intro_stage : Env.stage;
3. usage_stage : Env.stage;
}

exception Error of Location.t * Env.t * Typetexp.error

val report_error : Env.t -> Stdlib.Format.formatter -> Typetexp.error -> unit

val transl_modtype_longident : 
  (Location.t -> Env.t -> Longident.t -> Path.t) Stdlib.ref

val transl_modtype : 
  (Env.t -> Parsetree.module_type -> Typedtree.module_type) Stdlib.ref

val check_package_with_type_constraints : 
  (Location.t ->
    Env.t ->
    Types.module_type ->
    (Longident.t Asttypes.loc * Typedtree.core_type) list ->
    Types.module_type)
    Stdlib.ref

Module Typetexp

Module `Typetexp`