diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 18:52:52 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 18:52:52 -0300 |
| commit | 90cb51a907a0f78b83cb66f497f6dc0f24f01706 (patch) | |
| tree | 379e7e79a3e7c6d0e1520ab153a581689060bb4b /docs | |
| parent | 19ba625e0345a88da6c29ab91a3ba2d7a8462065 (diff) | |
| download | SOL-90cb51a907a0f78b83cb66f497f6dc0f24f01706.tar.gz SOL-90cb51a907a0f78b83cb66f497f6dc0f24f01706.zip | |
repl session commands: load, reset, quit; emacs load-file binding
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/tooling.org | 16 |
1 files changed, 14 insertions, 2 deletions
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. |