package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.06.0 release

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Maintainers

David Allsopp

Sources

4.06.0.tar.gz

sha256=011879c913e8f988ecdac020b205e2baa4023052efed25013bdb9a6b0d5c6a80

md5=4f3906e581181c5435078ffe3e485e3f

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 used_primitives : (Path.t, Location.t) Hashtbl.t

type error =

| 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