Module tower 

Structs

Tower

A loaded evaluator and the heap it runs in; two towers do not share cells. The interpreter and environment are held here rather than in the evaluator because both accumulate: the prelude pushes a frame onto env, and an alteration replaces m.

Constants

LOCK

Resolves naj.deps into naj.lock. An object program for the same reason the prompt is one: everything it needed was already a capability.

PRELUDE

The library, evaluated by the evaluator rather than compiled beside it.

REPL

The prompt. An object program and a task like any other: nothing about a REPL needs to be built into the host.

SOURCE