• en

Module Translcore

val transl_exp : Typedtree.expression -> Lambda.lambda
val transl_apply : Lambda.lambda -> (Asttypes.label * Typedtree.expression option * Typedtree.optional) list -> Location.t -> Lambda.lambda
val transl_let : Asttypes.rec_flag -> Typedtree.value_binding list -> Lambda.lambda -> Lambda.lambda
val transl_primitive : Location.t -> Primitive.description -> Lambda.lambda
val check_recursive_lambda : Ident.t list -> Lambda.lambda -> bool
type error =
| Illegal_letrec_pat
| Illegal_letrec_expr
| Free_super_var
| Unknown_builtin_primitive of string
exception Error of Location.t * error
val report_error : Format.formatter -> error -> unit
val transl_object : Ident.t -> string list -> Typedtree.class_expr -> Lambda.lambda Pervasives.ref