summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorGabriel Schneider <[email protected]>2026-09-30 23:04:26 -0300
committerGabriel Schneider <[email protected]>2026-10-01 00:12:17 -0300
commit5e72bfc34cc97d12be5185930135b55c2eb001b4 (patch)
treed81daad17e81789e5ce583f22280d6cc368d6ab6 /test
parent074f113fa95a875a6bf17196f8e46e69806a247c (diff)
downloadpardes-5e72bfc34cc97d12be5185930135b55c2eb001b4.tar.gz
pardes-5e72bfc34cc97d12be5185930135b55c2eb001b4.zip
The reference is fs.md's per-file semantics, errors and limits in Typst, with the settings table, and says what the pane ctl's Left, Right, Up and Down do
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'test')
-rw-r--r--test/monkey9p.py20
1 files changed, 10 insertions, 10 deletions
diff --git a/test/monkey9p.py b/test/monkey9p.py
index 64b82832..7899f25b 100644
--- a/test/monkey9p.py
+++ b/test/monkey9p.py
@@ -78,7 +78,7 @@ class Dropped(Exception):
class Ended(Exception):
"""pardes quit cleanly: exit 0, no crash file. Closing the session's last
- pane quits it (fs.md: 'Closing the session's last pane quits pardes'),
+ pane quits it (docs/typ/reference.typ: 'closing the session's last pane quits pardes'),
and a terminal whose shell exits closes its pane, so this can follow any
step; the run starts a fresh session and carries on."""
@@ -671,7 +671,7 @@ def op_write(sess, op):
def served_lines(data, sizes, room):
"""The lines a lines file runs for `data` written in pieces of `sizes`
- (fs.md, tree.zig write): each ended line, and the unended tail of a piece
+ (docs/typ/reference.typ, tree.zig write): each ended line, and the unended tail of a piece
shorter than a Twrite holds (`room`, msize less 24), which is whole in
itself, as acme takes each write; a piece that fills its Twrite may go
on, and its tail waits for the next, and so does one of a multiple of
@@ -693,7 +693,7 @@ def served_lines(data, sizes, room):
def allowances(res, path, data, sizes, room):
- """Errs a successful write may log (fs.md): a look that finds nothing logs
+ """Errs a successful write may log (docs/typ/reference.typ): a look that finds nothing logs
one, per line, whether written to look, written back as an event record
(acme's xfid.c:842) or run as the Look builtin; an Edit block whose text
never ended runs, and fails, at the close."""
@@ -702,7 +702,7 @@ def allowances(res, path, data, sizes, room):
lines = [line for line in served if line.strip()]
if base == 'look':
# A look's line is its text, blanks and all: one of blanks alone
- # is a look too (fs.md); only an empty one (or a lone \r) is none.
+ # is a look too (docs/typ/reference.typ); only an empty one (or a lone \r) is none.
n = len([line for line in served if line.rstrip(b'\r')])
elif base == 'event':
n = len(lines)
@@ -905,7 +905,7 @@ def op_clunk(sess, op):
@op_kind('restore')
def op_restore(sess, op):
"""Write Restore [f] to /ctl: refused with an Rerror, or the server
- hangs up and serves the dump's panes again (fs.md: a Restore hangs its
+ hangs up and serves the dump's panes again (docs/typ/reference.typ: a Restore hangs its
connection up)."""
res = Result()
data = dec(op['data'])
@@ -1463,7 +1463,7 @@ COUNT = re.compile(r'^(.*) \(x(\d+)\)$')
def occurrences(lines, kind):
- """Records of `kind` (err|msg), counting `(xN)` repeats (fs.md: a record said
+ """Records of `kind` (err|msg), counting `(xN)` repeats (docs/typ/reference.typ: a record said
again is counted; a follower sees each count as a line of its own)."""
out, last_text, last_n = [], None, 0
for line in lines:
@@ -1496,7 +1496,7 @@ def alive(ctx, res):
@invariant
def one_failure_rule(ctx, res):
- """fs.md 'One rule for what fails': a write fails whenever what it asked
+ """docs/typ/reference.typ 'One rule for what fails': a write fails whenever what it asked
for fails ... and logs its reason exactly once, as `err <serial|-> <file>:
<why>`, with no `msg` for it. What is not a failure: a look that finds
nothing answers nothing and logs one `err`, the write succeeding."""
@@ -1513,7 +1513,7 @@ def one_failure_rule(ctx, res):
# Allowed only the Twrites that succeeded (allowances): a failed one
# logs its one err.
allowed = sum(r[3] for r in res.requests if r[0] == 'allow')
- # fs.md 'A write of command lines ... what is left when it closes runs at
+ # docs/typ/reference.typ 'A write of command lines ... what is left when it closes runs at
# the close ... and its failure is in the log alone'.
closes = [r for r in res.requests if r[0] == 'close-runs']
lo, hi = len(failed), len(failed) + allowed + len(closes)
@@ -1538,7 +1538,7 @@ LINE_FILES = ('look', 'exec', 'tagexec', 'ctl')
@invariant
def close_runs_only_line_files(ctx, res):
- """fs.md: 'A write of command lines -- to look, exec, tagexec, a ctl of the
+ """docs/typ/reference.typ: 'A write of command lines -- to look, exec, tagexec, a ctl of the
root, a pane or a column, or a column's exec -- runs each line once it is
whole ... what is left when it closes runs at the close'. Another file
that fails only at its close breaks 'a write fails whenever what it asked
@@ -1562,7 +1562,7 @@ def close_runs_only_line_files(ctx, res):
@invariant
def index_matches_pane_dirs(ctx, res):
- """fs.md /index: one line per pane; /pane/<n>/ each pane's directory."""
+ """docs/typ/reference.typ /index: one line per pane; /pane/<n>/ each pane's directory."""
w = ctx.sess.wire
first = w.read_path('/index')
fid, err = w.walk_names([b'pane'])