package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.14.2

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

4.14.2.tar.gz

sha256=c2d706432f93ba85bd3383fa451d74543c32a4e84a1afaf3e8ace18f7f097b43

doc/ocamlcommon/Primitive/index.html

Module `Primitive`

type boxed_integer =

| Pnativeint
| Pint32
| Pint64

type native_repr =

| Same_as_ocaml_repr
| Unboxed_float
| Unboxed_integer of boxed_integer
| Untagged_int

type description = private {

prim_name : string;
prim_arity : int;
prim_alloc : bool;
prim_native_name : string;
prim_native_repr_args : native_repr list;
prim_native_repr_res : native_repr;

}

val simple : name:string -> arity:int -> alloc:bool -> description

val make : 
  name:string ->
  alloc:bool ->
  native_name:string ->
  native_repr_args:native_repr list ->
  native_repr_res:native_repr ->
  description

val parse_declaration : 
  Parsetree.value_description ->
  native_repr_args:native_repr list ->
  native_repr_res:native_repr ->
  description

val print : description -> Outcometree.out_val_decl -> Outcometree.out_val_decl

val native_name : description -> string

val byte_name : description -> string

val equal_boxed_integer : boxed_integer -> boxed_integer -> bool

val equal_native_repr : native_repr -> native_repr -> bool

val native_name_is_external : description -> bool

native_name_is_externa returns true iff the native_name for the given primitive identifies that the primitive is not implemented in the compiler itself.

type error =

| Old_style_float_with_native_repr_attribute
| Old_style_noalloc_with_noalloc_attribute
| No_native_primitive_with_repr_attribute

exception Error of Location.t * error