package ocaml-base-compiler

  1. Overview
  2. Docs
val transl_apply : ?should_be_tailcall:bool -> ?inlined:Lambda.inline_attribute -> ?specialised:Lambda.specialise_attribute -> Lambda.lambda -> (Asttypes.arg_label * Typedtree.expression option) list -> Location.t -> Lambda.lambda
val transl_primitive : Location.t -> Primitive.description -> Env.t -> Types.type_expr -> Path.t option -> Lambda.lambda
val transl_extension_constructor : Env.t -> Path.t option -> Typedtree.extension_constructor -> Lambda.lambda
val check_recursive_lambda : Ident.t list -> Lambda.lambda -> bool
val used_primitives : (Path.t, Location.t) Hashtbl.t
type error =
  1. | Illegal_letrec_pat
  2. | Illegal_letrec_expr
  3. | Free_super_var
  4. | Unknown_builtin_primitive of string
  5. | Unreachable_reached
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
OCaml

Innovation. Community. Security.