package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.06.1 release

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Maintainers

David Allsopp

Sources

4.06.1.tar.gz

sha256=fef12a65cab5f6d15ea22a72e328349530e179308f1005100e45e50a228d72c4

md5=d02eb67b828de22c3f97d94b3c46acba

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