Bend · Issues· 24 开放

对大型 Nat 字面进行类型检查时,会导致主机栈溢出,而无法识别该字面

"指南"觉得像AI一团糟 我不明白

@unsafe 计数仅在无主路径上显示:无害的主程序或任何 -o 发布/构建程序都不会报告任何信息

数组结构分割/连接分配和复制 (blk_half/blk_node); 文献中提到两个半部分都可以到位,连接是免费的

JS 通道: Char.to_upper 在控制字符 ('\n', '\t') 上抛出异常,因为映射的 Chr 是在选定的 Bool.pick 分支之外构建的

JS 通道: 在长列表上,List.length 会导致堆栈溢出(基本递归不处于尾部位置);在同一列表上,尾部计数器则完成了递归

C 通道 F32.read 接受 JS 通道拒绝的内容: 十六进制浮点数、nan(...) 和在嵌入的 NUL 之前接受的前缀

JS 后端: 字符串.split() / 字符串.length 递归每个字符,并在 ~10k+ 个字符的字符串上溢出 JS 堆栈(由 DeepSeek V4.1 Flash 发现)

所有外部 .js 文件共享一个作用域,因此一个 FFI 模块中的私有辅助函数会默默地覆盖另一个模块中的函数( C 通道拒绝)。

外部效果名称冲突: eff_name 会折叠大小写和分隔符,因此两个定义会默默地共享一个 FFI 插槽(C 通道拒绝)

JS 后端违反了机器检查定理: F32 不保留信号 NaN 位 (由 opus 4.8 发现)

中心服务器: 部分包安装永远不会自动修复外部 .c/.js 文件(来自 eff_src 的原始 ENOENT 错误)

bend.ts 接受 Lean kernel 拒绝的书籍: base-file 中包含对后期填充的法则的引用,以及非树体

IO 快速分配调用程序的最大效果, 并中止分配失败的整个进程( 退出)

检查器递归深度: 含有 ~10k 级别的有效程序(例如 10000n 字面)会出现"机器栈溢出"错误