From 90cb51a907a0f78b83cb66f497f6dc0f24f01706 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 12 Jul 2026 18:52:52 -0300 Subject: repl session commands: load, reset, quit; emacs load-file binding --- docs/tooling.org | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/tooling.org b/docs/tooling.org index e09917e..2fe4860 100644 --- a/docs/tooling.org +++ b/docs/tooling.org @@ -66,5 +66,17 @@ Install by adding the directory to =load-path= and requiring =sol= with no arguments reads one statement per line. Declarations and facts accumulate; =Query expression: ...= runs against everything accumulated so far. A rejected statement reports its -error and changes nothing. The prompt flushes eagerly so the REPL -works under comint and pipes. +error and changes nothing, so the session only ever holds an +admitted program. The prompt flushes eagerly so the REPL works under +comint and pipes. + +Commands: + +- =:load FILE= brings a program into the session. The file's queries + run once, its declarations stay. The load is atomic: a file that + fails parsing or admission changes nothing. +- =:reset= clears the session. +- =:quit= leaves; =:help= lists the commands. + +From Emacs, =C-c C-l= saves and loads the current file into the +REPL, =C-c C-e= sends the statement at point. -- cgit v1.2.3