Module `Translprim`

val event_before : 
  Lambda.scoped_location ->
  Typedtree.expression ->
  Lambda.lambda ->
  Lambda.lambda

val event_after : 
  Lambda.scoped_location ->
  Typedtree.expression ->
  Lambda.lambda ->
  Lambda.lambda

val add_exception_ident : Ident.t -> unit

val remove_exception_ident : Ident.t -> unit

val clear_used_primitives : unit -> unit

val get_units_with_used_primitives : unit -> Compilation_unit.t list

val check_primitive_arity : Location.t -> Primitive.description -> unit

val transl_primitive : 
  Lambda.scoped_location ->
  Primitive.description ->
  Env.t ->
  Types.type_expr ->
  poly_mode:Mode.Locality.l option ->
  poly_sort:Jkind.Sort.t option ->
  Path.t option ->
  Lambda.lambda

val transl_primitive_application : 
  Lambda.scoped_location ->
  Primitive.description ->
  Env.t ->
  Types.type_expr ->
  poly_mode:Mode.Locality.l option ->
  stack:bool ->
  poly_sort:Jkind.Sort.t option ->
  Path.t ->
  Typedtree.expression option ->
  Lambda.lambda list ->
  Typedtree.expression list ->
  Lambda.region_close ->
  Lambda.lambda

val sort_of_native_repr : 
  poly_sort:Jkind.Sort.t option ->
  Primitive.native_repr ->
  Jkind.Sort.Const.t

sort_of_native_repr returns the sort expected after typechecking (which may be different than the sort used in the external interface).

poly_sort must be Some sort when Repr_poly is given. It will produce fatal error if it's None.

type invalid_stack_primitive =

| Not_primitive
| Not_allocating
| Allocating_on_heap

type error =

| Unknown_builtin_primitive of string
| Wrong_arity_builtin_primitive of string
| Wrong_layout_for_peek_or_poke of string
| Invalid_floatarray_glb
| Invalid_array_kind_for_uninitialized_makearray_dynamic
| Invalid_stack_primitive of Translprim.invalid_stack_primitive

exception Error of Location.t * Translprim.error

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

Module Translprim

Module `Translprim`