Skip to content

同步 Arithmetic 至 Calcit 0.32.0 类型语法 - #7

Merged
tiye merged 1 commit into
mainfrom
migrate/arithmetic-0320-642
Oct 29, 2026
Merged

tiye merged 1 commit into
mainfrom
migrate/arithmetic-0320-642

Conversation

@tiye

@tiye tiye commented Oct 28, 2026

Copy link
Copy Markdown
Member

使用者需同步正式 Calcit CLI / @calcit/procs 0.32.0,并重新生成 JS。复数仍使用 List,原公式、调用名称与列表长度要求不变。模块版本保持 0.0.1,不发 tag/npm;本项目无前端资源或部署。

通过官方 formatter 更新 Snapshot 类型语法,12 个定义的完整官方查询视图前后一致。同步依赖、lock、工作流中的三个版本点和 README;保留原全部定义严格检查、完整 strict、零弃用调用及原测试。

本地已通过 Caps strict/toolchain、immutable 安装、完整类型门禁、原附属测试以及 native/Node 上同一组八种运算断言,README 示例检查也通过。独立只读评审无问题,Linux CI 待确认。

List 合同仍不证明列表长度,调用方需提供有效复数对。本轮不新增验证脚本、包装或放宽类型预算。

@tiye
tiye merged commit 3f833b2 into main Oct 29, 2026
1 check passed
@tiye
tiye deleted the migrate/arithmetic-0320-642 branch October 29, 2026 01:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant