jon.recoil.org

Module Lambda

type compile_time_constant =
  1. | Big_endian
  2. | Word_size
  3. | Int_size
  4. | Max_wosize
  5. | Ostype_unix
  6. | Ostype_win32
  7. | Ostype_cygwin
  8. | Backend_type
type immediate_or_pointer =
  1. | Immediate
  2. | Pointer
type initialization_or_assignment =
  1. | Assignment
  2. | Heap_initialization
  3. | Root_initialization
type is_safe =
  1. | Safe
  2. | Unsafe
type lazy_block_tag =
  1. | Lazy_tag
  2. | Forward_tag
type primitive =
  1. | Pbytes_to_string
  2. | Pbytes_of_string
  3. | Pignore
  4. | Pgetglobal of Ident.t
  5. | Psetglobal of Ident.t
  6. | Pmakeblock of int * Asttypes.mutable_flag * Lambda.block_shape
  7. | Pmakelazyblock of Lambda.lazy_block_tag
  8. | Pfield of int * Lambda.immediate_or_pointer * Asttypes.mutable_flag
  9. | Pfield_computed
  10. | Psetfield of int * Lambda.immediate_or_pointer * Lambda.initialization_or_assignment
  11. | Psetfield_computed of Lambda.immediate_or_pointer * Lambda.initialization_or_assignment
  12. | Pfloatfield of int
  13. | Psetfloatfield of int * Lambda.initialization_or_assignment
  14. | Pduprecord of Types.record_representation * int
  15. | Prunstack
  16. | Pperform
  17. | Presume
  18. | Preperform
  19. | Pccall of Primitive.description
  20. | Praise of Lambda.raise_kind
  21. | Psequand
  22. | Psequor
  23. | Pnot
  24. | Pnegint
  25. | Paddint
  26. | Psubint
  27. | Pmulint
  28. | Pdivint of Lambda.is_safe
  29. | Pmodint of Lambda.is_safe
  30. | Pandint
  31. | Porint
  32. | Pxorint
  33. | Plslint
  34. | Plsrint
  35. | Pasrint
  36. | Pintcomp of Lambda.integer_comparison
  37. | Pcompare_ints
  38. | Pcompare_floats
  39. | Pcompare_bints of Lambda.boxed_integer
  40. | Poffsetint of int
  41. | Poffsetref of int
  42. | Pintoffloat
  43. | Pfloatofint
  44. | Pnegfloat
  45. | Pabsfloat
  46. | Paddfloat
  47. | Psubfloat
  48. | Pmulfloat
  49. | Pdivfloat
  50. | Pfloatcomp of Lambda.float_comparison
  51. | Pstringlength
  52. | Pstringrefu
  53. | Pstringrefs
  54. | Pbyteslength
  55. | Pbytesrefu
  56. | Pbytessetu
  57. | Pbytesrefs
  58. | Pbytessets
  59. | Pmakearray of Lambda.array_kind * Asttypes.mutable_flag
  60. | Pduparray of Lambda.array_kind * Asttypes.mutable_flag
    (*

    For Pduparray, the argument must be an immutable array. The arguments of Pduparray give the kind and mutability of the array being *produced* by the duplication.

    *)
  61. | Parraylength of Lambda.array_kind
  62. | Parrayrefu of Lambda.array_kind
  63. | Parraysetu of Lambda.array_kind
  64. | Parrayrefs of Lambda.array_kind
  65. | Parraysets of Lambda.array_kind
  66. | Pisint
  67. | Pisout
  68. | Pbintofint of Lambda.boxed_integer
  69. | Pintofbint of Lambda.boxed_integer
  70. | Pcvtbint of Lambda.boxed_integer * Lambda.boxed_integer
  71. | Pnegbint of Lambda.boxed_integer
  72. | Paddbint of Lambda.boxed_integer
  73. | Psubbint of Lambda.boxed_integer
  74. | Pmulbint of Lambda.boxed_integer
  75. | Pdivbint of {
    1. size : Lambda.boxed_integer;
    2. is_safe : Lambda.is_safe;
    }
  76. | Pmodbint of {
    1. size : Lambda.boxed_integer;
    2. is_safe : Lambda.is_safe;
    }
  77. | Pandbint of Lambda.boxed_integer
  78. | Porbint of Lambda.boxed_integer
  79. | Pxorbint of Lambda.boxed_integer
  80. | Plslbint of Lambda.boxed_integer
  81. | Plsrbint of Lambda.boxed_integer
  82. | Pasrbint of Lambda.boxed_integer
  83. | Pbintcomp of Lambda.boxed_integer * Lambda.integer_comparison
  84. | Pbigarrayref of bool * int * Lambda.bigarray_kind * Lambda.bigarray_layout
  85. | Pbigarrayset of bool * int * Lambda.bigarray_kind * Lambda.bigarray_layout
  86. | Pbigarraydim of int
  87. | Pstring_load_16 of bool
  88. | Pstring_load_32 of bool
  89. | Pstring_load_64 of bool
  90. | Pbytes_load_16 of bool
  91. | Pbytes_load_32 of bool
  92. | Pbytes_load_64 of bool
  93. | Pbytes_set_16 of bool
  94. | Pbytes_set_32 of bool
  95. | Pbytes_set_64 of bool
  96. | Pbigstring_load_16 of bool
  97. | Pbigstring_load_32 of bool
  98. | Pbigstring_load_64 of bool
  99. | Pbigstring_set_16 of bool
  100. | Pbigstring_set_32 of bool
  101. | Pbigstring_set_64 of bool
  102. | Pctconst of Lambda.compile_time_constant
  103. | Pbswap16
  104. | Pbbswap of Lambda.boxed_integer
  105. | Pint_as_pointer
  106. | Patomic_load
  107. | Popaque
  108. | Pdls_get
  109. | Ppoll
and integer_comparison =
  1. | Ceq
  2. | Cne
  3. | Clt
  4. | Cgt
  5. | Cle
  6. | Cge
and float_comparison =
  1. | CFeq
  2. | CFneq
  3. | CFlt
  4. | CFnlt
  5. | CFgt
  6. | CFngt
  7. | CFle
  8. | CFnle
  9. | CFge
  10. | CFnge
and array_kind =
  1. | Pgenarray
  2. | Paddrarray
  3. | Pintarray
  4. | Pfloatarray
and value_kind =
  1. | Pgenval
  2. | Pfloatval
  3. | Pboxedintval of Lambda.boxed_integer
  4. | Pintval
and block_shape = Lambda.value_kind list option
and boxed_integer = Primitive.boxed_integer =
  1. | Pnativeint
  2. | Pint32
  3. | Pint64
and bigarray_kind =
  1. | Pbigarray_unknown
  2. | Pbigarray_float16
  3. | Pbigarray_float32
  4. | Pbigarray_float64
  5. | Pbigarray_sint8
  6. | Pbigarray_uint8
  7. | Pbigarray_sint16
  8. | Pbigarray_uint16
  9. | Pbigarray_int32
  10. | Pbigarray_int64
  11. | Pbigarray_caml_int
  12. | Pbigarray_native_int
  13. | Pbigarray_complex32
  14. | Pbigarray_complex64
and bigarray_layout =
  1. | Pbigarray_unknown_layout
  2. | Pbigarray_c_layout
  3. | Pbigarray_fortran_layout
and raise_kind =
  1. | Raise_regular
  2. | Raise_reraise
  3. | Raise_notrace
val equal_primitive : Lambda.primitive -> Lambda.primitive -> bool
val equal_value_kind : Lambda.value_kind -> Lambda.value_kind -> bool
val equal_boxed_integer : Lambda.boxed_integer -> Lambda.boxed_integer -> bool
type structured_constant =
  1. | Const_base of Asttypes.constant
  2. | Const_block of int * Lambda.structured_constant list
  3. | Const_float_array of string list
  4. | Const_immstring of string
type tailcall_attribute =
  1. | Tailcall_expectation of bool
  2. | Default_tailcall
type inline_attribute =
  1. | Always_inline
  2. | Never_inline
  3. | Hint_inline
  4. | Unroll of int
  5. | Default_inline
val equal_inline_attribute : Lambda.inline_attribute -> Lambda.inline_attribute -> bool
type specialise_attribute =
  1. | Always_specialise
  2. | Never_specialise
  3. | Default_specialise
val equal_specialise_attribute : Lambda.specialise_attribute -> Lambda.specialise_attribute -> bool
type local_attribute =
  1. | Always_local
  2. | Never_local
  3. | Default_local
type poll_attribute =
  1. | Error_poll
  2. | Default_poll
type function_kind =
  1. | Curried
  2. | Tupled
type let_kind =
  1. | Strict
  2. | Alias
  3. | StrictOpt
type meth_kind =
  1. | Self
  2. | Public
  3. | Cached
val equal_meth_kind : Lambda.meth_kind -> Lambda.meth_kind -> bool
type shared_code = (int * int) list
type function_attribute = {
  1. inline : Lambda.inline_attribute;
  2. specialise : Lambda.specialise_attribute;
  3. local : Lambda.local_attribute;
  4. poll : Lambda.poll_attribute;
  5. is_a_functor : bool;
  6. stub : bool;
  7. tmc_candidate : bool;
  8. may_fuse_arity : bool;
}
type scoped_location = Debuginfo.Scoped_location.t
and rec_binding = {
  1. id : Ident.t;
  2. def : Lambda.lfunction;
}
and lfunction = private {
  1. kind : Lambda.function_kind;
  2. params : (Ident.t * Lambda.value_kind) list;
  3. return : Lambda.value_kind;
  4. body : Lambda.lambda;
  5. attr : Lambda.function_attribute;
  6. loc : Lambda.scoped_location;
}
and lambda_apply = {
  1. ap_func : Lambda.lambda;
  2. ap_args : Lambda.lambda list;
  3. ap_loc : Lambda.scoped_location;
  4. ap_tailcall : Lambda.tailcall_attribute;
  5. ap_inlined : Lambda.inline_attribute;
  6. ap_specialised : Lambda.specialise_attribute;
}
and lambda_switch = {
  1. sw_numconsts : int;
  2. sw_consts : (int * Lambda.lambda) list;
  3. sw_numblocks : int;
  4. sw_blocks : (int * Lambda.lambda) list;
  5. sw_failaction : Lambda.lambda option;
}
and lambda_event = {
  1. lev_loc : Lambda.scoped_location;
  2. lev_kind : Lambda.lambda_event_kind;
  3. lev_repr : int Stdlib.ref option;
  4. lev_env : Env.t;
}
and lambda_event_kind =
  1. | Lev_before
  2. | Lev_after of Types.type_expr
  3. | Lev_function
  4. | Lev_pseudo
type program = {
  1. module_ident : Ident.t;
  2. main_module_block_size : int;
  3. required_globals : Ident.Set.t;
  4. code : Lambda.lambda;
}
val make_key : Lambda.lambda -> Lambda.lambda option
val const_int : int -> Lambda.structured_constant
val lambda_unit : Lambda.lambda
val dummy_constant : Lambda.lambda

dummy_constant produces a plecholder value with a recognizable bit pattern (currently 0xBBBB in its tagged form)

val name_lambda_list : Lambda.lambda list -> (Lambda.lambda list -> Lambda.lambda) -> Lambda.lambda
val iter_head_constructor : (Lambda.lambda -> unit) -> Lambda.lambda -> unit

iter_head_constructor f lam apply f to only the first level of sub expressions of lam. It does not recursively traverse the expression.

val shallow_iter : tail:(Lambda.lambda -> unit) -> non_tail:(Lambda.lambda -> unit) -> Lambda.lambda -> unit

Same as iter_head_constructor, but use a different callback for sub-terms which are in tail position or not.

val transl_prim : string -> string -> Lambda.lambda

Translate a value from a persistent module. For instance:

  transl_prim "CamlinternalLazy" "force"
val is_evaluated : Lambda.lambda -> bool

is_evaluated lam returns true if lam is either a constant, a variable or a function abstract.

val free_variables : Lambda.lambda -> Ident.Set.t
val transl_module_path : Lambda.scoped_location -> Env.t -> Path.t -> Lambda.lambda
val transl_value_path : Lambda.scoped_location -> Env.t -> Path.t -> Lambda.lambda
val transl_extension_path : Lambda.scoped_location -> Env.t -> Path.t -> Lambda.lambda
val transl_class_path : Lambda.scoped_location -> Env.t -> Path.t -> Lambda.lambda
val make_sequence : ('a -> Lambda.lambda) -> 'a list -> Lambda.lambda
val subst : (Ident.t -> Types.value_description -> Env.t -> Env.t) -> ?freshen_bound_variables:bool -> Lambda.lambda Ident.Map.t -> Lambda.lambda -> Lambda.lambda

subst update_env ?freshen_bound_variables s lt applies a substitution s to the lambda-term lt.

Assumes that the image of the substitution is out of reach of the bound variables of the lambda-term (no capture).

update_env is used to refresh the environment contained in debug events.

freshen_bound_variables, which defaults to false, freshens the bound variables within lt.

A version of subst specialized for the case where we're just renaming idents.

val duplicate_function : Lambda.lfunction -> Lambda.lfunction

Duplicate a term, freshening all locally-bound identifiers.

Bottom-up rewriting, applying the function on each node from the leaves to the root.

Apply the given transformation on the function's body

Rewrite each immediate sub-term with the function.

val negate_integer_comparison : Lambda.integer_comparison -> Lambda.integer_comparison
val swap_integer_comparison : Lambda.integer_comparison -> Lambda.integer_comparison
val negate_float_comparison : Lambda.float_comparison -> Lambda.float_comparison
val swap_float_comparison : Lambda.float_comparison -> Lambda.float_comparison
val default_function_attribute : Lambda.function_attribute
val default_stub_attribute : Lambda.function_attribute
val function_is_curried : Lambda.lfunction -> bool
val find_exact_application : Lambda.function_kind -> arity:int -> Lambda.lambda list -> Lambda.lambda list option
val max_arity : unit -> int

Maximal number of parameters for a function, or in other words, maximal length of the params list of a lfunction record. This is unlimited (max_int) for bytecode, but limited (currently to 126) for native code.

val tag_of_lazy_tag : Lambda.lazy_block_tag -> int
val next_raise_count : unit -> int
val staticfail : Lambda.lambda
val is_guarded : Lambda.lambda -> bool
val patch_guarded : Lambda.lambda -> Lambda.lambda -> Lambda.lambda
val raise_kind : Lambda.raise_kind -> string
val reset : unit -> unit