@calcit/procs 0.12.0 → 0.12.2

package/build.rs

@@ -28,9 +28,15 @@ pub struct CodeEntry {
   pub schema: Option<Edn>,
 }
 
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+pub struct NsEntry {
+  pub doc: String,
+  pub code: Cirru,
+}
+
 #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
 pub struct FileInSnapShot {
-  pub ns: CodeEntry,
+  pub ns: NsEntry,
   pub defs: HashMap<String, CodeEntry>,
 }
 
@@ -204,6 +210,31 @@ fn parse_code_entry(edn: Edn, owner: &str) -> Result<CodeEntry, String> {
   })
 }
 
+fn parse_ns_entry(edn: Edn, owner: &str) -> Result<NsEntry, String> {
+  let record: EdnRecordView = match edn {
+    Edn::Record(r) => r,
+    other => {
+      return Err(format!(
+        "{owner}: expected NsEntry/CodeEntry record, got {}",
+        format_edn_preview(&other)
+      ));
+    }
+  };
+  let mut doc = String::new();
+  let mut code: Option<Cirru> = None;
+  for (key, value) in &record.pairs {
+    match key.arc_str().as_ref() {
+      "doc" => doc = from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:doc`: {e}"))?,
+      "code" => code = Some(from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:code`: {e}"))?),
+      _ => {}
+    }
+  }
+  Ok(NsEntry {
+    doc,
+    code: code.ok_or_else(|| format!("{owner}: missing `:code` field in NsEntry"))?,
+  })
+}
+
 fn parse_file_in_snapshot(edn: Edn, file_name: &str) -> Result<FileInSnapShot, String> {
   let record: EdnRecordView = match edn {
     Edn::Record(r) => r,
@@ -214,11 +245,11 @@ fn parse_file_in_snapshot(edn: Edn, file_name: &str) -> Result<FileInSnapShot, S
       ));
     }
   };
-  let mut ns: Option<CodeEntry> = None;
+  let mut ns: Option<NsEntry> = None;
   let mut defs: HashMap<String, CodeEntry> = HashMap::new();
   for (key, value) in &record.pairs {
     match key.arc_str().as_ref() {
-      "ns" => ns = Some(parse_code_entry(value.clone(), &format!("{file_name}/:ns"))?),
+      "ns" => ns = Some(parse_ns_entry(value.clone(), &format!("{file_name}/:ns"))?),
       "defs" => {
         let map = match value {
           Edn::Map(m) => m,

package/editing-history/2026-0310-1040-edit-schema-primitive-tag-support.md

@@ -0,0 +1,42 @@
+# cr edit schema: support primitive type tag leaves
+
+## 背景
+
+`cr edit schema` 原来只接受 `:: :fn $ {}` 这样的函数 schema 或 `{}` map 形式。
+有些定义的类型本身就是简单原始类型（如 `:string`、`:number`），不是函数，需要直接用 tag 表达。
+
+## 新语法
+
+```bash
+cr edit schema 'respo.comp.space/style-space' --leaf -e ':string'
+cr edit schema 'some.ns/my-val' --leaf -e ':number'
+cr edit schema 'some.ns/my-flag' --leaf -e ':bool'
+```
+
+接受的 primitive 类型 tag：`bool`, `number`, `string`, `symbol`, `tag`, `list`, `map`, `set`, `fn`, `tuple`, `ref`, `buffer`, `dynamic`, `unit`
+
+## 改动文件
+
+### `src/calcit/type_annotation.rs`
+
+- `builtin_tag_name` 改为 `pub(crate)`，供 snapshot 序列化侧调用。
+
+### `src/snapshot.rs`
+
+- 新增常量 `PRIMITIVE_SCHEMA_TAGS`：列出允许作为 leaf schema 的原始类型。
+- `validate_schema_for_write`：对 `Cirru::Leaf` 先检查是否在允许列表，允许则直接 Ok；否则给出提示信息。
+- `parse_loaded_schema_annotation`：新增对 `Edn::Tag` 的处理，返回对应 `CalcitTypeAnnotation`。
+- 两处 `CodeEntry::From` impl：`_ => Edn::Nil` 改为调用 `builtin_tag_name().map(Edn::tag)` 把原始类型 tag 正确序列化到快照。
+- 测试 `test_validate_schema_for_write`：更新为测试原始类型 leaf 通过、未知 leaf 拒绝。
+
+### `src/bin/cli_handlers/edit.rs`
+
+- `handle_schema`：`validate_schema_for_write` 通过后，若 `schema_payload` 是 `Cirru::Leaf`，用 `CalcitTypeAnnotation::from_tag_name` 直接设置 schema 并返回，不走函数 schema 解析路径。
+
+## 完整数据流（以 `:string` 为例）
+
+1. CLI 收到 `--leaf -e ':string'` → `Cirru::Leaf(":string")`
+2. `validate_schema_for_write` → `"string"` 在 `PRIMITIVE_SCHEMA_TAGS` → Ok
+3. `CalcitTypeAnnotation::from_tag_name("string")` → `CalcitTypeAnnotation::String`
+4. 写入快照 → `CodeEntry::From` 序列化为 `Edn::tag("string")`
+5. 读回快照 → `parse_loaded_schema_annotation(Edn::Tag("string"))` → `CalcitTypeAnnotation::String`

package/editing-history/2026-0310-1754-ns-entry-snapshot-migration.md

@@ -0,0 +1,66 @@
+# 2026-0310-1754 — snapshot namespace entry migrate to NsEntry
+
+## 背景
+
+snapshot 里的 `:ns` 之前复用了 `CodeEntry` 结构，导致 namespace 也带着 `:schema` 和 `:examples` 字段，语义上并不合适，而且保存时经常只是写成 `(:schema nil)`。
+
+这次改动把 namespace 入口单独收敛到 `NsEntry`，同时保持读取旧 `CodeEntry` 写法的兼容性。
+
+## 核心改动
+
+### `src/snapshot.rs`
+
+- 新增 `NsEntry { doc, code }`
+- `FileInSnapShot.ns` 从 `CodeEntry` 改为 `NsEntry`
+- `RawFileInSnapShot.ns` 同步改为 `NsEntry`
+- 新增 `TryFrom<Edn> for NsEntry` 与 `From<NsEntry> for Edn`
+- 读取 snapshot 时，`ns` 只解析 `doc` 和 `code`，兼容旧 `CodeEntry` 形状并忽略 `schema/examples`
+- 移除 `validate_snapshot_schemas_for_write` 对 `ns.schema` 的校验
+- `gen_meta_ns`、`create_file_from_snippet` 等内部构造统一改为写 `NsEntry`
+
+### `build.rs`
+
+- 嵌入式 core snapshot 解析结构新增 `NsEntry`
+- build 阶段读取 `src/cirru/calcit-core.cirru` 时，`ns` 不再解析为 `CodeEntry`
+
+### `src/detailed_snapshot.rs`
+
+- 新增 `DetailedNsEntry { doc, code }`
+- `DetailedFileInSnapshot.ns` 从 `DetailedCodeEntry` 改为 `DetailedNsEntry`
+- 详细快照读取仍兼容旧 namespace record，只提取 `doc` 和 `code`
+
+### `src/bin/cr_sync.rs`
+
+- namespace change payload 从 `CodeEntry` 拆成 `SnapshotEntry::Ns(NsEntry)`
+- definition change payload 保持 `SnapshotEntry::Def(CodeEntry)`
+- detailed snapshot 写回时，namespace 统一序列化为 `NsEntry`
+
+### `src/bin/cli_handlers/edit.rs`
+
+- `edit add-ns` 创建新 namespace 时直接写入 `NsEntry`
+
+## 数据文件迁移
+
+- 批量运行 `cr edit format`，将 compact snapshot 中旧的 `:ns $ %{} :CodeEntry ... (:schema nil) :examples []` 收敛为 `:NsEntry`
+- 运行 `cr-sync` 重写 detailed snapshot：
+  - `demos/calcit.cirru`
+  - `calcit/editor/calcit.cirru`
+- `src/cirru/calcit-core.cirru` 也已更新为 `NsEntry`
+
+## 兼容策略
+
+1. **读取兼容**：旧 snapshot/detailed snapshot 中 `ns` 仍然可以是 `CodeEntry` record
+2. **内存收敛**：加载后统一存成 `NsEntry`
+3. **保存统一**：以后重新保存或 format 都写回 `NsEntry`
+
+## 验证
+
+- `cargo fmt` ✅
+- `cargo clippy -- -D warnings` ✅
+- `cargo test` ✅
+- `yarn check-all` ✅
+
+## 备注
+
+- `demos/compact.tmp.cirru` 不是合法 snapshot，`cr edit format` 会报 EDN 解析错误，因此未纳入统一格式化
+- `demos/deps.cirru` 不是当前 snapshot loader 支持的结构，因此同样未走 `edit format`

package/editing-history/202603091753-schema-type-fail-tests.md

@@ -0,0 +1,17 @@
+# schema type-fail tests and error codes
+
+- 新增 `calcit/type-fail/` 下 schema 相关失败 fixture 的自动化测试，覆盖：
+  - `:args` required arity mismatch
+  - `:rest` presence mismatch
+  - `:kind` mismatch
+  - 基于 schema 的调用参数类型不匹配
+- 在 `src/bin/cr.rs` 中补充 fixture 加载 helper，并通过 `run_check_only()` / preprocess warning 断言行为。
+- 为类型/预处理相关告警补充 code：
+  - `W_FN_ARG_TYPE_MISMATCH`
+  - `W_PROC_ARG_TYPE_MISMATCH`
+  - `W_CORE_FN_ARG_TYPE_MISMATCH`
+  - `W_FN_RETURN_TYPE_MISMATCH`
+- 为 schema 定义不匹配错误补充 code：
+  - `E_SCHEMA_DEF_MISMATCH`
+- 为 `CalcitErr` 增加 `code` 字段和 `headline()`，让 CLI 输出可携带错误码。
+- 更新 `calcit/type-fail/README.md`，记录自动化测试与当前相关 code。

package/editing-history/202603091819-add-test-fail-script.md

@@ -0,0 +1,5 @@
+# add test-fail script
+
+- 在 `package.json` 中新增 `yarn test-fail`，用于日常单独执行 schema/type-fail 相关测试。
+- 该命令当前映射到 `cargo test -q --bin cr type_fail_`，覆盖 `src/bin/cr.rs` 中新增的 fixture 测试。
+- 更新 `calcit/type-fail/README.md`，补充 `yarn test-fail` 的使用说明。

package/editing-history/202603091944-split-type-fail-tests.md

@@ -0,0 +1,8 @@
+# split type-fail tests into separate file
+
+- 将 `src/bin/cr.rs` 中与 `type-fail` fixture 相关的 helper 和测试拆分到独立文件 `src/bin/cr_type_fail_tests.rs`。
+- 在 `src/bin/cr.rs` 顶部通过 `#[cfg(test)] mod cr_type_fail_tests;` 挂载测试模块。
+- 保留 `cr.rs` 中的通用 schema/type 覆盖测试，减少主文件体积。
+- 验证通过：
+  - `cargo test -q --bin cr`
+  - `yarn test-fail`

package/lib/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@calcit/procs",
-    "version": "0.12.0",
+    "version": "0.12.2",
     "main": "./lib/calcit.procs.mjs",
     "devDependencies": {
         "@types/node": "^25.0.9",
@@ -14,6 +14,7 @@
         "fmt-rs": "cargo fmt --all",
         "lint-rs": "cargo clippy --all-targets -- -D warnings",
         "test-rs": "cargo test -q",
+        "test-fail": "cargo test -q --bin cr type_fail_",
         "test-snippets": "cargo test -q snippets::tests",
         "bench-recur-smoke": "cargo run --bin cr -- calcit/test.cirru -1 js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
         "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@calcit/procs",
-  "version": "0.12.0",
+  "version": "0.12.2",
   "main": "./lib/calcit.procs.mjs",
   "devDependencies": {
     "@types/node": "^25.0.9",
@@ -14,6 +14,7 @@
     "fmt-rs": "cargo fmt --all",
     "lint-rs": "cargo clippy --all-targets -- -D warnings",
     "test-rs": "cargo test -q",
+    "test-fail": "cargo test -q --bin cr type_fail_",
     "test-snippets": "cargo test -q snippets::tests",
     "bench-recur-smoke": "cargo run --bin cr -- calcit/test.cirru -1 js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
     "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",