From 6755060175ea5eb8a6cd5ebec9b4de478a5c6237 Mon Sep 17 00:00:00 2001 From: Brummel Date: Thu, 14 May 2026 02:19:05 +0200 Subject: [PATCH] =?UTF-8?q?INDEX:=20iter=20rpe.1.tidy=20=E2=80=94=20audit-?= =?UTF-8?q?rpe.1=20[medium]=20drift=20closed?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/journals/INDEX.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/journals/INDEX.md b/docs/journals/INDEX.md index 6e94e58..34c7865 100644 --- a/docs/journals/INDEX.md +++ b/docs/journals/INDEX.md @@ -64,3 +64,4 @@ - 2026-05-14 — iter bugfix-mono-cursor-print-with-class-method-arg: mono cursor advance by 1+N at poly-free-fn Var with class-constrained Forall → 2026-05-14-iter-bugfix-mono-cursor-print-with-class-method-arg.md - 2026-05-14 — iter bugfix-print-leak-show-ret-mode: prelude Show.show ret_mode + substitute_rigids preserves param_modes/ret_mode → 2026-05-14-iter-bugfix-print-leak-show-ret-mode.md - 2026-05-14 — iter rpe.1: retire per-type io/print_int|bool|float; corpus migrated to polymorphic print → 2026-05-14-iter-rpe.1.md +- 2026-05-14 — iter rpe.1.tidy: subst.rs preserves Type::Fn modes through rebuild → 2026-05-14-iter-rpe.1.tidy.md