@calcit/procs 0.26.0 → 0.28.0-alpha.1

package/README.md

@@ -60,6 +60,8 @@ Installed binaries:
 - `calcit`, the runtime and JS compiler
 - `caps`, for downloading dependencies declared in `deps.cirru`
 
+从首次包含该资产的版本起，Ubuntu 22.04 x86_64 的低资源机器可下载 Release 中的 `calcit-ubuntu22.04-x86_64-no-wasm`，无需在本机编译；安装与功能边界见 [无 WASM 构建](docs/installation/no-wasm-build.md)。源码构建可用 `cargo build --release --no-default-features --bin calcit` 关闭 WASM/WASI 代码生成依赖，native 运行与 JS 编译仍可使用。
+
 When developing Calcit core from source, install its runtime locally and install caps from its own release:
 
 ```bash

package/lib/calcit.procs.d.mts

@@ -346,6 +346,7 @@ declare let calcit_builtin_impls: {
     enum: CalcitImplEntry;
     struct: CalcitImplEntry;
     scalar: CalcitImplEntry;
+    textScalar: CalcitImplEntry;
     ref: CalcitImplEntry;
 };
 export declare let register_calcit_builtin_impls: (options: typeof calcit_builtin_impls) => void;

package/lib/calcit.procs.mjs

@@ -466,7 +466,7 @@ export let _$n_list_$o_contains_$q_ = (xs, x) => {
             throw new Error("Expected number index for detecting");
         }
         let size = xs.len();
-        if (x >= 0 && x < size) {
+        if (Number.isInteger(x) && x >= 0 && x < size) {
             return true;
         }
         return false;
@@ -1375,6 +1375,10 @@ export let _$n_str_$o_find_index = (x, y) => {
     return scalar;
 };
 export let _$n_parse_float = (x) => {
+    if (/^[+-]?nan$/i.test(x))
+        return NaN;
+    if (/^[+-]?(?:inf|infinity)$/i.test(x))
+        return x.startsWith("-") ? -Infinity : Infinity;
     if (!/^[+-]?(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?$/.test(x)) {
         return null;
     }
@@ -1419,15 +1423,20 @@ export let _$n_number_$o_display_by = (x, n) => {
     }
 };
 export let get_char_code = (c) => {
-    if (typeof c !== "string" || c.length !== 1) {
+    if (typeof c !== "string") {
         throw new Error("Expected a character");
     }
-    return c.charCodeAt(0);
+    const code = c.codePointAt(0);
+    if (code === undefined || code >= 0xd800 && code <= 0xdfff || String.fromCodePoint(code) !== c) {
+        throw new Error("Expected a single Unicode scalar character");
+    }
+    return code;
 };
 export let char_from_code = (n) => {
-    if (typeof n !== "number")
-        throw new Error("Expected an integer");
-    return String.fromCharCode(n);
+    if (!Number.isInteger(n) || n < 0 || n > 0x10ffff || n >= 0xd800 && n <= 0xdfff) {
+        throw new Error("Expected a Unicode scalar value");
+    }
+    return String.fromCodePoint(n);
 };
 export let _$n_set_$o_to_list = (x) => {
     return new CalcitSliceList(x.values());
@@ -1573,6 +1582,37 @@ export let quit_$x_ = (code) => {
         throw new Error(`quit!(${code})`);
     }
 };
+let format_calcit_number = (x) => {
+    // Match native f64 Display, which expands finite exponents into decimal notation.
+    if (Object.is(x, -0)) {
+        return "-0";
+    }
+    if (x === Infinity) {
+        return "inf";
+    }
+    if (x === -Infinity) {
+        return "-inf";
+    }
+    const text = x.toString();
+    const exponentIndex = text.indexOf("e");
+    if (exponentIndex < 0) {
+        return text;
+    }
+    const mantissa = text.slice(0, exponentIndex);
+    const exponent = Number(text.slice(exponentIndex + 1));
+    const sign = mantissa.startsWith("-") ? "-" : "";
+    const unsigned = sign ? mantissa.slice(1) : mantissa;
+    const decimalPoint = unsigned.indexOf(".");
+    const decimalIndex = (decimalPoint < 0 ? unsigned.length : decimalPoint) + exponent;
+    const digits = unsigned.replace(".", "");
+    if (decimalIndex <= 0) {
+        return `${sign}0.${"0".repeat(-decimalIndex)}${digits}`;
+    }
+    if (decimalIndex >= digits.length) {
+        return `${sign}${digits}${"0".repeat(decimalIndex - digits.length)}`;
+    }
+    return `${sign}${digits.slice(0, decimalIndex)}.${digits.slice(decimalIndex)}`;
+};
 export let turn_string = (x) => {
     if (x === null) {
         return "";
@@ -1587,7 +1627,7 @@ export let turn_string = (x) => {
         return x.value;
     }
     if (typeof x === "number") {
-        return x.toString();
+        return format_calcit_number(x);
     }
     if (typeof x === "boolean") {
         return x.toString();
@@ -2279,7 +2319,13 @@ export let format_to_lisp = (x) => {
         return chunk;
     }
     else if (typeof x === "string") {
-        return JSON.stringify("|" + x);
+        // Mirror cirru_edn::is_simple_char for each code point, including CJK blocks.
+        const simpleAscii = /^[0-9A-Za-z?$.,'-]$/u;
+        const simpleCjk = /^[\u2e80-\u2fdf\u3000-\u30ff\u3130-\u318f\u31c0-\u31ff\u3200-\u32ff\u3400-\u4dbf\u4e00-\u9fff\ua960-\ua97f\uac00-\ud7af\uf900-\ufaff\ufe30-\ufe4f\uff00-\uffef\u{1b000}-\u{1b2ff}\u{20000}-\u{323af}]$/u;
+        if (![...x].every((char) => simpleAscii.test(char) || simpleCjk.test(char))) {
+            return JSON.stringify("|" + x);
+        }
+        return toString(x, true);
     }
     else {
         return x.toString();
@@ -2403,6 +2449,7 @@ let calcit_builtin_impls = {
     enum: null,
     struct: null,
     scalar: null,
+    textScalar: null,
     ref: null,
 };
 // need to register code from outside
@@ -2503,11 +2550,14 @@ function lookup_impls(obj) {
         tag = "&core-ref-methods";
         impls = normalize_builtin_impls(calcit_builtin_impls.ref);
     }
-    else if (obj == null ||
+    else if (obj === null ||
         typeof obj === "boolean" ||
         obj instanceof CalcitTag ||
-        obj instanceof CalcitSymbol ||
-        obj instanceof CalcitCirruQuote) {
+        obj instanceof CalcitSymbol) {
+        tag = "&core-text-scalar-impls";
+        impls = normalize_builtin_impls(calcit_builtin_impls.textScalar);
+    }
+    else if (obj === undefined || obj instanceof CalcitCirruQuote) {
         tag = "&core-scalar-impls";
         impls = normalize_builtin_impls(calcit_builtin_impls.scalar);
     }

package/lib/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@calcit/procs",
-    "version": "0.26.0",
+    "version": "0.28.0-alpha.1",
     "main": "./lib/calcit.procs.mjs",
     "files": [
         "lib/",
@@ -21,7 +21,7 @@
         "test-rs": "cargo test -q",
         "test-fail": "cargo test -q --bin calcit type_fail_",
         "test-snippets": "cargo test -q snippets::tests",
-        "check-js-runtime": "node scripts/check-js-runtime-identity.mjs && cargo build --bin calcit && node scripts/check-string-unicode.mjs && node scripts/check-numeric-predicate.mjs && node scripts/check-nil-predicate.mjs && node scripts/check-helper-inference.mjs",
+        "check-js-runtime": "node scripts/check-js-runtime-identity.mjs && cargo build --bin calcit && node scripts/check-string-unicode.mjs && node scripts/check-numeric-predicate.mjs && node scripts/check-predicate-method-names.mjs && node scripts/check-map-add-trait-boundary.mjs && node scripts/check-typed-string-conversions.mjs && node scripts/check-identity-conversion-fix.mjs && node scripts/check-nil-predicate.mjs && node scripts/check-monotonic-clock-js.mjs && node scripts/check-helper-inference.mjs",
         "check-js-ffi-source": "cargo build --bin calcit && node scripts/check-js-ffi-source.mjs",
         "check-literal-paths": "cargo run --bin calcit -- calcit/bench-literal-paths.cirru && cargo run --bin calcit -- --emit-path target/literal-path-js calcit/bench-literal-paths.cirru js && node scripts/bench-literal-paths.mjs",
         "check-typed-method-rem": "cargo run --bin calcit -- calcit/fibo.cirru && cargo run --bin calcit -- --emit-path target/typed-method-rem-js calcit/fibo.cirru js && node scripts/bench-typed-method-rem.mjs",
@@ -31,7 +31,7 @@
         "bench-typed-method-rem": "cargo build --release --bin calcit && yarn compile && target/release/calcit calcit/fibo.cirru && node scripts/bench-typed-method-rem-native.mjs && target/release/calcit --emit-path target/typed-method-rem-js calcit/fibo.cirru js && node scripts/bench-typed-method-rem.mjs",
         "bench-struct-index": "yarn compile && node scripts/bench-struct-index.mjs",
         "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",
-        "check-all": "yarn compile && yarn check-js-runtime && yarn check-js-ffi-source && yarn check-strict-default && yarn check-agent-interface && yarn try-core-tests && yarn check-core-dynamic-classification && yarn try-rs && yarn try-js && yarn try-ir && yarn try-wasm && yarn check-literal-paths && yarn check-typed-method-rem",
+        "check-all": "yarn compile && yarn check-js-runtime && node scripts/check-file-read-names.mjs && node scripts/check-enum-impl-cycle.mjs && yarn check-js-ffi-source && yarn check-strict-default && yarn check-agent-interface && node --test scripts/core-api-contract.test.mjs && node scripts/core-api-contract.mjs && yarn try-core-tests && yarn check-core-dynamic-classification && yarn try-rs && yarn try-js && node scripts/check-struct-field-js.mjs && yarn try-ir && yarn try-wasm && yarn check-literal-paths && yarn check-typed-method-rem",
         "check-strict-default": "cargo build --bin calcit && node scripts/check-strict-default.mjs",
         "check-agent-interface": "cargo build --bin calcit && node scripts/check-agent-interface.mjs",
         "try-all": "yarn check-all",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@calcit/procs",
-  "version": "0.26.0",
+  "version": "0.28.0-alpha.1",
   "main": "./lib/calcit.procs.mjs",
   "files": [
     "lib/",
@@ -21,7 +21,7 @@
     "test-rs": "cargo test -q",
     "test-fail": "cargo test -q --bin calcit type_fail_",
     "test-snippets": "cargo test -q snippets::tests",
-    "check-js-runtime": "node scripts/check-js-runtime-identity.mjs && cargo build --bin calcit && node scripts/check-string-unicode.mjs && node scripts/check-numeric-predicate.mjs && node scripts/check-nil-predicate.mjs && node scripts/check-helper-inference.mjs",
+    "check-js-runtime": "node scripts/check-js-runtime-identity.mjs && cargo build --bin calcit && node scripts/check-string-unicode.mjs && node scripts/check-numeric-predicate.mjs && node scripts/check-predicate-method-names.mjs && node scripts/check-map-add-trait-boundary.mjs && node scripts/check-typed-string-conversions.mjs && node scripts/check-identity-conversion-fix.mjs && node scripts/check-nil-predicate.mjs && node scripts/check-monotonic-clock-js.mjs && node scripts/check-helper-inference.mjs",
     "check-js-ffi-source": "cargo build --bin calcit && node scripts/check-js-ffi-source.mjs",
     "check-literal-paths": "cargo run --bin calcit -- calcit/bench-literal-paths.cirru && cargo run --bin calcit -- --emit-path target/literal-path-js calcit/bench-literal-paths.cirru js && node scripts/bench-literal-paths.mjs",
     "check-typed-method-rem": "cargo run --bin calcit -- calcit/fibo.cirru && cargo run --bin calcit -- --emit-path target/typed-method-rem-js calcit/fibo.cirru js && node scripts/bench-typed-method-rem.mjs",
@@ -31,7 +31,7 @@
     "bench-typed-method-rem": "cargo build --release --bin calcit && yarn compile && target/release/calcit calcit/fibo.cirru && node scripts/bench-typed-method-rem-native.mjs && target/release/calcit --emit-path target/typed-method-rem-js calcit/fibo.cirru js && node scripts/bench-typed-method-rem.mjs",
     "bench-struct-index": "yarn compile && node scripts/bench-struct-index.mjs",
     "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",
-    "check-all": "yarn compile && yarn check-js-runtime && yarn check-js-ffi-source && yarn check-strict-default && yarn check-agent-interface && yarn try-core-tests && yarn check-core-dynamic-classification && yarn try-rs && yarn try-js && yarn try-ir && yarn try-wasm && yarn check-literal-paths && yarn check-typed-method-rem",
+    "check-all": "yarn compile && yarn check-js-runtime && node scripts/check-file-read-names.mjs && node scripts/check-enum-impl-cycle.mjs && yarn check-js-ffi-source && yarn check-strict-default && yarn check-agent-interface && node --test scripts/core-api-contract.test.mjs && node scripts/core-api-contract.mjs && yarn try-core-tests && yarn check-core-dynamic-classification && yarn try-rs && yarn try-js && node scripts/check-struct-field-js.mjs && yarn try-ir && yarn try-wasm && yarn check-literal-paths && yarn check-typed-method-rem",
     "check-strict-default": "cargo build --bin calcit && node scripts/check-strict-default.mjs",
     "check-agent-interface": "cargo build --bin calcit && node scripts/check-agent-interface.mjs",
     "try-all": "yarn check-all",