package ocaml-base-compiler

  1. Overview
  2. Docs
package ocaml-base-compiler
Legend:
Library
Module
Module type
Parameter
Class
Class type
val transl_implementation : string -> (Typedtree.structure * Typedtree.module_coercion) -> Lambda.program
val transl_store_phrases : string -> Typedtree.structure -> int * Lambda.lambda
val transl_store_implementation : string -> (Typedtree.structure * Typedtree.module_coercion) -> Lambda.program
val transl_implementation_flambda : string -> (Typedtree.structure * Typedtree.module_coercion) -> Lambda.program
val transl_toplevel_definition : Typedtree.structure -> Lambda.lambda
val transl_package : Ident.t option list -> Ident.t -> Typedtree.module_coercion -> Lambda.lambda
val transl_store_package : Ident.t option list -> Ident.t -> Typedtree.module_coercion -> int * Lambda.lambda
val transl_package_flambda : Ident.t option list -> Typedtree.module_coercion -> int * Lambda.lambda
val toplevel_name : Ident.t -> string
val nat_toplevel_name : Ident.t -> Ident.t * int
val primitive_declarations : Primitive.description list ref
type unsafe_component =
  1. | Unsafe_module_binding
  2. | Unsafe_functor
  3. | Unsafe_non_function
  4. | Unsafe_typext
type unsafe_info =
  1. | Unsafe of {
    1. reason : unsafe_component;
    2. loc : Location.t;
    3. subid : Ident.t;
    }
  2. | Unnamed
type error =
  1. | Circular_dependency of (Ident.t * unsafe_info) list
  2. | Conflicting_inline_attributes
exception Error of Location.t * error
val report_error : Location.t -> error -> Location.error
val reset : unit -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct