eval.mli 503 Bytes
Newer Older
1
open Value
2
open Ident
3
open Lambda
4

5 6
val ns_table: Ns.table ref

7
val register_op: string -> (t list -> t) -> unit
8

9 10 11
val get_globals: (Compunit.t -> t array) ref
val get_external: (Compunit.t -> int -> t) ref
val set_external: (Compunit.t -> int -> t -> unit) ref
12
val get_builtin: (string -> t) ref
13

14
val expr: Lambda.expr -> int -> t
15

16 17
val eval_toplevel: code_item list -> unit
val eval_var: var_loc -> t
18

19
val eval_unit: Value.t array -> code_item list -> unit
20

21
val eval_apply: Value.t -> Value.t -> Value.t