From d88e4b093bfaa4df2cb6c75c3ab1cfcd0a108ff3 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 31 Oct 2021 20:28:50 -0400
Subject: Make VM produce deferred modifier blocks instead of immediate ones
 returning closures

---
 vm.bqn | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'vm.bqn')

diff --git a/vm.bqn b/vm.bqn
index b445a17d..c6a876f0 100644
--- a/vm.bqn
+++ b/vm.bqn
@@ -143,10 +143,10 @@ RunBC ← { bc‿pos‿env:
   }¨ bodyInfo
 
   blocks ← {type‿imm‿body:
-    inner ← type ⊑ ⟨
-      {𝕊n: N ⟨⟩}
-      {𝕊n: {N 𝕣‿𝕗  }}
-      {𝕊n: {N 𝕣‿𝕗‿𝕘}}
+    inner ← imm ⊑ type ⊑ ⟨
+      2⥊⟨{𝕊n: N ⟨⟩}⟩
+      {𝕊n: {d←N 𝕣‿𝕗  ⋄𝕨D𝕩}}‿{𝕊n: {N 𝕣‿𝕗  }}
+      {𝕊n: {d←N 𝕣‿𝕗‿𝕘⋄𝕨D𝕩}}‿{𝕊n: {N 𝕣‿𝕗‿𝕘}}
     ⟩
     outer ← imm ⊑ ⟨
       {
-- 
cgit v1.2.3