Repr (liquidsoap-lang.Liquidsoap_lang

val show_record_schemes : bool Stdlib.ref

Show generalized variables in records.

val global_evar_names : bool Stdlib.ref

Use globally unique names for existential variables.

include module type of struct include Type_base.R end

type 'a meth = 'a Type_base.R.meth = {

name : string;
optional : bool;
scheme : 'a var list * 'a {t}1/shadowed/(5762290624aa53a03196acf8eea6736a);
json_name : string option;

}

and 'a var = string * 'a Liquidsoap_lang_types__.Type_constraints.t

type t = Type_base.constr Type_base.R.t

val excerpt : Liquidsoap_lang_prelude.Pos.t -> string option

Given a position, find the relevant excerpt.

val excerpt_opt : Liquidsoap_lang_prelude.Pos.t option -> string option

val name : int -> string

Given a strictly positive integer, generate a name in a-z+: a, b, ... z, aa, ab, ... az, ba, ...

val evar_global_name : int -> string

Generate a globally unique name for evars (used for debugging only).

val make : 
  ?filter_out:(Type_base.t -> bool) ->
  ?generalized:Type_base.var list ->
  Type_base.t ->
  t

Compute the structure that a term represents, given the list of universally quantified variables. Also takes care of computing the printing name of variables, including constraint symbols, which are removed from constraint lists. It supports a mechanism for filtering out parts of the type, which are then translated as `Ellipsis.

val print : Stdlib.Format.formatter -> Type_base.constr Type_base.R.t -> unit

Print a type representation. Unless in debug mode, variable identifiers are not shown, and variable names are generated. Names are only meaningful over one printing, as they are re-used.

val to_string : Type_base.constr Type_base.R.t -> string

val print_type : Stdlib.Format.formatter -> Type_base.t -> unit

val print_scheme : 
  Stdlib.Format.formatter ->
  (Type_base.var list * Type_base.t) ->
  unit

val string_of_type : ?generalized:Type_base.var list -> Type_base.t -> string

String representation of a type.

val string_of_scheme : (Type_base.var list * Type_base.t) -> string

String representation of a type scheme.

type explanation = bool * Type_base.t * Type_base.t * t * t

exception Type_error of explanation

val print_type_error : 
  formatter:Stdlib.Format.formatter ->
  (Liquidsoap_lang_prelude.Pos.Option.t -> 'a) ->
  explanation ->
  unit