Expand description
REPL command implementations (:help, :env, :ctx, :load, :reset).
Functions§
- cmd_ctx
:ctx— show the staging context’s counters: tower level, fresh variable counter, pending ANF block depth, and memoised closure count.- cmd_env
:env— list every binding intop, or inspect the single bindingnamewhen given.- cmd_
help :help— list the REPL commands.- display_
binding - Print one
name : Kind valueline for:env, truncating long values so a big code tree cannot flood the listing. - type_of
- A one-word kind tag for a value, shown next to each REPL result.