Module Errors.Type_l

This module contains the type for typing errors, in the scripting language, not in the lambda-terms.

type t =
  1. | Variable of string * string * string * string * string
    (*

    Variable (func, param, var, exp, act) represents a typing error of the variable var, given as parameter param of function func. exp is the expected type, and act is the actual type of var.

    *)
  2. | Literal of string * string * string * string
    (*

    Literal (func, param, ext, act) represents a typing error of a literal value, given as paramater param of function func. exp is the expected type, and act is the actual type of the literal value.

    *)
  3. | DefaultValue of string * string * string * string
    (*

    DefaultValue (func, param, ext, act) represents a typing error of the default value of parameter param of new function func. exp is the expected type, and act is the actual type.

    *)
  4. | Other
val kind : string
val pp : Stdlib.Format.formatter -> t -> unit