From c8fc33fb8668ffc92bb2e4ab917ae3cf25c09c58 Mon Sep 17 00:00:00 2001 From: Brummel Date: Sat, 9 May 2026 22:52:17 +0200 Subject: [PATCH] =?UTF-8?q?iter=2022-tidy.3:=20prose-lib=20=E2=80=94=20dro?= =?UTF-8?q?p=2022b.4=20reference=20from=20class/instance=20placeholder?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- crates/ailang-prose/src/lib.rs | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/crates/ailang-prose/src/lib.rs b/crates/ailang-prose/src/lib.rs index 0ce8195..e8302fe 100644 --- a/crates/ailang-prose/src/lib.rs +++ b/crates/ailang-prose/src/lib.rs @@ -77,27 +77,27 @@ fn write_def(out: &mut String, def: &Def, level: usize) { Def::Type(td) => write_type_def(out, td, level), Def::Fn(fd) => write_fn_def(out, fd, level), Def::Const(cd) => write_const_def(out, cd, level), - // Iter 22b.1: ClassDef / InstanceDef render as a single-line - // placeholder so prose round-trip survives a module that - // contains them. The full Form-B projection (mirror of the - // ClassDef / InstanceDef Form-A schema, with method bodies - // re-indented and superclass / default markers spelled out) - // is deferred to 22b.4 alongside the prose-roundtrip parser - // arms. The placeholder is informational only — the prose - // round-trip mediator does not yet read these forms back. + // ClassDef / InstanceDef render as a single-line placeholder + // so prose round-trip survives a module that contains them. + // The full Form-B projection (mirror of the Form-A schema, + // with method bodies re-indented and superclass / default + // markers spelled out) is queued post-22 — `crates/ailang-prose` + // is one-way (no parser by design), so the placeholder is + // informational only and the round-trip mediator does not + // read these back. Def::Class(c) => { indent(out, level); out.push_str("// (class "); out.push_str(&c.name); out.push(' '); out.push_str(&c.param); - out.push_str(") -- 22b.4 will render full Form-B\n"); + out.push_str(") -- full Form-B projection deferred (post-22)\n"); } Def::Instance(i) => { indent(out, level); out.push_str("// (instance "); out.push_str(&i.class); - out.push_str(") -- 22b.4 will render full Form-B\n"); + out.push_str(") -- full Form-B projection deferred (post-22)\n"); } } }