tur/r7rs/eval

(r7rs-eval-c-eval__ [sets :cstr expr :cstr] :int)

internal: evaluate expr (written) with the import sets sets (written); the result kind (see r7rs_embed.h). The first call sets the embedded evaluator up with the stdlib this program was built against and the host trampoline below.

(r7rs-eval-c-load__ [sets :cstr path :cstr] :int)

internal: load the file at path.

(r7rs-eval-c-apply__ [id :int] :int)

internal: call embedded procedure id with the pushed arguments; the result kind.

(r7rs-eval-c-push-datum__ [text :cstr] :nil)

internal: one argument.

(r7rs-eval-c-push-host__ [id :int] :nil)

(r7rs-eval-c-push-proc__ [id :int] :nil)

(r7rs-eval-c-result-text__ :cstr)

internal: the last result's payload (the text is copied: an error message outlives the next call).

(r7rs-eval-c-result-id__ :int)

(r7rs-eval-c-frame-count__ :int)

internal: the arguments of the host call in progress.

(r7rs-eval-c-frame-kind__ [i :int] :int)

(r7rs-eval-c-frame-text__ [i :int] :cstr)

(r7rs-eval-c-frame-id__ [i :int] :int)

(r7rs-eval-c-answer-datum__ [text :cstr] :nil)

internal: the host call's answer.

(r7rs-eval-c-answer-host__ [id :int] :nil)

(r7rs-eval-c-answer-proc__ [id :int] :nil)

(r7rs-eval-c-answer-unspecified__ :nil)

(r7rs-eval-c-answer-raise__ [condition :cstr] :nil)

(r7rs-eval-c-cont-hook__ [which :int] :ptr<void>)

internal: the evaluator's continuation hooks (src/turi/r7rs_embed.h), by number: 0 capture, 1 resumable, 2 restore, 3 resumed. A continuation the program captures inside a call from evaluated code to a program procedure copies the evaluator's frames with the stack; through these the evaluator keeps what the frames need on a re-entry (r7rs-eval-continuation-reentry-across-bridge).

(r7rs-eval-index-of__ [x l i :int] :int)

internal: the position of x (eq?) in l, or -1.

(r7rs-eval-host-id__ [f] :int)

internal: the host id of program procedure f, assigned on its first crossing.

(r7rs-eval-host-ref__ [id :int] :any)

internal: the program procedure with host id id.

(r7rs-eval-wrapper-id__ [f l] :int)

internal: the embedded id f wraps, or -1.

(r7rs-eval-wrapper-of__ [id :int l] :any)

internal: the wrapper made for embedded id.

(r7rs-eval-proc__ [id :int] :any)

internal: a program procedure for embedded procedure id: calling it calls the embedded one. One wrapper per id, so a procedure that crosses twice is eq? to itself.

(r7rs-eval-unspecified?__ [x] :bool)

internal: #t for the unspecified value.

(r7rs-eval-import__ [kind :int text :cstr id :int] :any)

internal: the program value a result or an argument of kind kind names. What evaluated code raised ('R') is raised again here; an error of the evaluator's own ('E': an unbound name, a form that does not elaborate) is raised as an error object with its message.

(r7rs-eval-result__ [kind :int] :any)

internal: the value of the last eval, load or apply.

(r7rs-eval-push__ [x] :nil)

internal: one argument of a call into the embedded env.

(r7rs-eval-push-all__ [l] :nil)

(r7rs-eval-apply__ [id :int args] :any)

internal: call embedded procedure id on args.

(r7rs-eval-frame-args__ [i :int acc] :any)

internal: the host call's arguments, as a list.

(r7rs-eval-answer__ [r] :nil)

internal: hand a program value back as the answer.

(r7rs-eval-host-call__ [id :int] :int)

internal: evaluated code called program procedure id. The embedded evaluator calls this through its C name. What the procedure raises is caught here and raised again on the embedded side, so no escape unwinds through the evaluator's C frames.

(defstruct R7rsEnvironment :heap [sets :cstr])

an environment specifier: the import sets evaluated code sees, written.

(r7rs-environment?__ [x] :bool)

(r7rs-environment-sets__ [e :R7rsEnvironment] :cstr)

(r7rs-environment [& sets :any] :any)

(environment set ...): an environment with those import sets.

(r7rs-report-version__ [who :cstr v sets :cstr] :any)

internal: (null-environment 5) and (scheme-report-environment 5) name the fifth report and nothing else.

(r7rs-null-environment [v] :any)

(null-environment 5): the syntax of R5RS.

(r7rs-scheme-report-environment [v] :any)

(scheme-report-environment 5): R5RS.

(r7rs-interaction-environment :any)

the REPL's environment: every library; definitions evaluated in it persist for the rest of the run.

(r7rs-eval-sets__ [who :cstr env] :cstr)

internal: the import sets of an environment argument.

(r7rs-eval [x env] :any)

(eval expr-or-def environment): evaluate the datum in the environment. A definition persists in the evaluator for later evals.

(r7rs-load [path & more :any] :any)

(load filename [environment]): evaluate every form of the file (in the interaction environment when none is given).