package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.04.2 release

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Maintainers

David Allsopp

Sources

4.04.2.tar.gz

sha256=6277a477956fc7b76f28af9941dce2984d0df809a0361093eb2e28234bf9c8ed

md5=5ce661a2d8b760dc77c2facf46ccddd1

doc/ocamlcommon/Translcore/index.html

Module `Translcore`

val transl_exp : Typedtree.expression -> Lambda.lambda

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_let : 
  Asttypes.rec_flag ->
  Typedtree.value_binding list ->
  Lambda.lambda ->
  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 =

| Illegal_letrec_pat
| Illegal_letrec_expr
| Free_super_var
| Unknown_builtin_primitive of string
| Unreachable_reached

exception Error of Location.t * error

val report_error : Format.formatter -> error -> unit

val transl_module : 
  (Typedtree.module_coercion ->
    Path.t option ->
    Typedtree.module_expr ->
    Lambda.lambda)
    Pervasives.ref

val transl_object : 
  (Ident.t ->
    string list ->
    Typedtree.class_expr ->
    Lambda.lambda)
    Pervasives.ref