Module LicEvalTypeSource

Performs static evaluations of predefined operators in type expressions

Sourceexception EvalType_error of string
Sourceval raise_arity_error : string -> int -> int -> 'b
Sourceval raise_type_error : Lic.type_ list -> Lic.type_ list -> string -> 'a

Provides the type profile of predef operators. More precisely, given an operator and a list of types, This function checks that the provided types are ok, and returns the list of the operator output types.

Sourceval make_node_exp_eff : IdSolver.t -> bool option -> bool -> AstPredef.op -> Lxm.t -> Lic.node_exp

PIS ALLER : 2 versions

  • une pour les macros, qui nĂ©cessite un IdSolver.t pour traiter les Lic.static_arg list
  • l'autre pour les noeuds simple qui peut ĂȘtre utilisĂ©e statiquement
Sourceval make_simple_node_exp_eff : bool option -> bool -> AstPredef.op -> Lxm.t -> Lic.node_exp