aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-06-19 13:33:46 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-06-19 13:33:46 -0400
commit9cb38df9b93ddd2643a33b3705588070018802f0 (patch)
treec285ae51bb2854b2e5c3a56503f014e923fddf32 /src
parentee770a91da15c50876333705120f224fe6a2d0a7 (diff)
Verify that 𝕨 is passed in blocks where it's needed
Diffstat (limited to 'src')
-rw-r--r--src/c.bqn2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/c.bqn b/src/c.bqn
index b4cd816f..9c71cf6b 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -247,6 +247,8 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
fl←(dy×⊏⟜os)⊸+fa+dy # Function application site
dr∾↩((1+dy)×fn←2=fm←fa⊏ne)/fl # Turn function applications on · to drops
fn↩¬fn⋄fa/˜↩fn⋄fl/˜↩fn # And remove them
+ idor∾˜↩5/1+g⊏˜fw/¯1∾rt
+ idbc∾˜↩(+´fw)⥊⟨21‿0‿2‿18‿14⟩
# Bytecode generation: numbers bc ordered by source location (after rev) oi
or←⍋oi←idor∾g⊏˜∾⟨cn,cn,bk,bk,2/l,dr,af/at,al+1,al+1,oa+1⌈oa⊏os,fl,rt⟩