From 1d788dfda43549ef87233e2445e079cd522e6840 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 18 Sep 2026 07:43:38 +0700 Subject: [PATCH] The queue-full refusal stops contradicting the note two arms above it MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit It ended "send it again once the program is running", which reads as a withdrawal of what eval promises a parked program on every other evaluation: that a body redefined while parked installs when the program is run again. What is true is narrower โ€” this module was not taken, and the run that drains the sixty-four already queued is what makes room for it. --- lib/dev.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/lib/dev.ml b/lib/dev.ml index a4a575f..01762a5 100644 --- a/lib/dev.ml +++ b/lib/dev.ml @@ -556,9 +556,8 @@ let refusal ~parked reply = if parked && contains reply "reload queue full" then "the program refused the module: its reload ring is full, and a parked \ program drains none of it โ€” every module queued since it finished is \ - still waiting for a frame boundary, and M-x flan-rerun is what gives it \ - one; this one was not queued, so send it again once the program is \ - running" + still waiting for a frame boundary, and M-x flan-rerun is what gives them \ + one; this one was not taken, so send it again after that run" else "the program refused the module: " ^ reply (* [pause], when given, is the position of the form to stop at โ€” ยง9. It rides