From 0bc0ea9ff6c2dc3675e80d3400e493652dbba0fc Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 19 Jun 2021 14:00:01 -0400
Subject: =?UTF-8?q?Don't=20treat=20=F0=9D=95=A8=20as=20possibly-Nothing=20?=
 =?UTF-8?q?after=20requiring=20it?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/c.bqn | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/c.bqn b/src/c.bqn
index 9c71cf6b..89d5c9be 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -199,6 +199,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
   nf←b¬∘PN ac<xv=vi-˜⊑bG                    # Namespace blocks
   fw←b¬∘PN gi⊏nx                            # Blocks where 𝕨 must be defined
   {"Can't return Nothing (·)"_err_(𝕩⊏⍋∘Rev) 2=fw⌈↩nf¬⊸×𝕩⊏nr} 1-˜0∾c⊏rev
+  nn←fo+`⊸⊏fw⋄no(⊣-=)↩nn⋄ne(⊣-=)↩nn         # fw indicates 𝕨 is never Nothing
   "Assignment target must be a name or list of targets"_err_(G) (a∨aid∨ps∨𝕩(=⟜(3+⊑)<M)bB)<aa
   "Can't nest assignments (write aliases with ⇐)"_err_(ai⊏G) (ak=2)<ai⊏aa
   "Can't use result of function/modifier assignment without parentheses"_err_(G) (0<er)∧(0≤r)∧»⊸>aa
-- 
cgit v1.2.3