@mirascript/mirascript 0.1.21 → 0.1.23

package/dist/{chunk-XNGYORPT.js → chunk-XWQWKD67.js}

@@ -22,7 +22,6 @@ import {
   isInteger,
   isNaN,
   isSafeInteger,
-  isVmAny,
   isVmArray,
   isVmCallable,
   isVmConst,
@@ -43,7 +42,7 @@ import {
   parseDiagnostics,
   toString,
   values
-} from "./chunk-4T5YE7LC.js";
+} from "./chunk-K7JDJG3G.js";
 
 // src/compiler/load-module.ts
 import { loadModule } from "@mirascript/bindings";
@@ -128,430 +127,6 @@ function toBoolean(value, fallback) {
   return fallback;
 }
 
-// src/vm/operations.ts
-var operations_exports = {};
-__export(operations_exports, {
-  $Add: () => $Add,
-  $Aeq: () => $Aeq,
-  $And: () => $And,
-  $ArraySpread: () => $ArraySpread,
-  $AssertInit: () => $AssertInit,
-  $AssertNonNil: () => $AssertNonNil,
-  $Call: () => $Call,
-  $Concat: () => $Concat,
-  $Div: () => $Div,
-  $Eq: () => $Eq,
-  $Format: () => $Format,
-  $Get: () => $Get,
-  $Gt: () => $Gt,
-  $Gte: () => $Gte,
-  $Has: () => $Has,
-  $In: () => $In,
-  $IsArray: () => $IsArray,
-  $IsBoolean: () => $IsBoolean,
-  $IsNumber: () => $IsNumber,
-  $IsRecord: () => $IsRecord,
-  $IsString: () => $IsString,
-  $Iterable: () => $Iterable,
-  $Length: () => $Length,
-  $Lt: () => $Lt,
-  $Lte: () => $Lte,
-  $Mod: () => $Mod,
-  $Mul: () => $Mul,
-  $Naeq: () => $Naeq,
-  $Neg: () => $Neg,
-  $Neq: () => $Neq,
-  $Not: () => $Not,
-  $Nsame: () => $Nsame,
-  $Omit: () => $Omit,
-  $Or: () => $Or,
-  $Pick: () => $Pick,
-  $Pos: () => $Pos,
-  $Pow: () => $Pow,
-  $RecordSpread: () => $RecordSpread,
-  $Same: () => $Same,
-  $Set: () => $Set,
-  $Slice: () => $Slice,
-  $SliceExclusive: () => $SliceExclusive,
-  $Sub: () => $Sub,
-  $ToBoolean: () => $ToBoolean,
-  $ToNumber: () => $ToNumber,
-  $ToString: () => $ToString,
-  $Type: () => $Type
-});
-var { abs, min, trunc, ceil } = Math;
-var { slice, at } = Array.prototype;
-var isSame = (a, b) => {
-  if (typeof a == "number" && typeof b == "number") return a === b || isNaN(a) && isNaN(b);
-  if (a === b) return true;
-  if (a == null || typeof a != "object" || b == null || typeof b != "object") return false;
-  if (isVmWrapper(a)) return a.same(b);
-  if (isVmWrapper(b)) return b.same(a);
-  if (isVmArray(a) && isVmArray(b)) {
-    const len2 = a.length;
-    if (len2 !== b.length) {
-      return false;
-    }
-    for (let i = 0; i < len2; i++) {
-      if (!isSame(a[i] ?? null, b[i] ?? null)) {
-        return false;
-      }
-    }
-    return true;
-  }
-  if (!isVmArray(a) && !isVmArray(b)) {
-    const aKeys = keys(a);
-    const bKeys = keys(b);
-    if (aKeys.length !== bKeys.length) {
-      return false;
-    }
-    for (const key of aKeys) {
-      if (!hasOwnEnumerable(b, key)) {
-        return false;
-      }
-      const av = a[key] ?? null;
-      const bv = b[key] ?? null;
-      if (!isSame(av, bv)) {
-        return false;
-      }
-    }
-    return true;
-  }
-  return false;
-};
-var overloadNumberString = (a, b) => {
-  if (typeof a == "number" || typeof b == "number") return true;
-  if (typeof a == "string" || typeof b == "string") return false;
-  return true;
-};
-var $Add = (a, b) => {
-  return $ToNumber(a) + $ToNumber(b);
-};
-var $Sub = (a, b) => {
-  return $ToNumber(a) - $ToNumber(b);
-};
-var $Mul = (a, b) => {
-  return $ToNumber(a) * $ToNumber(b);
-};
-var $Div = (a, b) => {
-  return $ToNumber(a) / $ToNumber(b);
-};
-var $Mod = (a, b) => {
-  return $ToNumber(a) % $ToNumber(b);
-};
-var $Pow = (a, b) => {
-  return $ToNumber(a) ** $ToNumber(b);
-};
-var $And = (a, b) => {
-  return $ToBoolean(a) && $ToBoolean(b);
-};
-var $Or = (a, b) => {
-  return $ToBoolean(a) || $ToBoolean(b);
-};
-var $Gt = (a, b) => {
-  if (overloadNumberString(a, b)) {
-    return $ToNumber(a) > $ToNumber(b);
-  } else {
-    return $ToString(a) > $ToString(b);
-  }
-};
-var $Gte = (a, b) => {
-  if (overloadNumberString(a, b)) {
-    return $ToNumber(a) >= $ToNumber(b);
-  } else {
-    return $ToString(a) >= $ToString(b);
-  }
-};
-var $Lt = (a, b) => {
-  if (overloadNumberString(a, b)) {
-    return $ToNumber(a) < $ToNumber(b);
-  } else {
-    return $ToString(a) < $ToString(b);
-  }
-};
-var $Lte = (a, b) => {
-  if (overloadNumberString(a, b)) {
-    return $ToNumber(a) <= $ToNumber(b);
-  } else {
-    return $ToString(a) <= $ToString(b);
-  }
-};
-var $Eq = (a, b) => {
-  $AssertInit(a);
-  $AssertInit(b);
-  if (typeof a == "number" && typeof b == "number") return a === b;
-  return isSame(a, b);
-};
-var $Neq = (a, b) => {
-  return !$Eq(a, b);
-};
-var $Aeq = (a, b) => {
-  if (overloadNumberString(a, b)) {
-    const an = $ToNumber(a);
-    const bn = $ToNumber(b);
-    const EPS = 1e-15;
-    if (isNaN(an) || isNaN(bn)) return false;
-    if (an === bn) return true;
-    const absoluteDifference = abs(an - bn);
-    if (absoluteDifference < EPS) return true;
-    const base = min(abs(an), abs(bn));
-    return absoluteDifference < base * EPS;
-  } else {
-    const as = $ToString(a);
-    const bs = $ToString(b);
-    if (as === bs) return true;
-    const ai = as.toLowerCase();
-    const bi = bs.toLowerCase();
-    if (ai === bi) return true;
-    const an = ai.normalize("NFC");
-    const bn = bi.normalize("NFC");
-    return an === bn;
-  }
-};
-var $Naeq = (a, b) => {
-  return !$Aeq(a, b);
-};
-var $Same = (a, b) => {
-  $AssertInit(a);
-  $AssertInit(b);
-  return isSame(a, b);
-};
-var $Nsame = (a, b) => {
-  return !$Same(a, b);
-};
-var $In = (value, iterable) => {
-  $AssertInit(value);
-  $AssertInit(iterable);
-  if (iterable == null) return false;
-  if (typeof iterable != "object") return false;
-  if (isVmArray(iterable)) {
-    if (value == null) {
-      for (const item of iterable) if (item == null) return true;
-      return false;
-    }
-    if (isVmPrimitive(value)) return iterable.includes(value);
-    return iterable.some((item = null) => isSame(item, value));
-  }
-  const key = toString(value, void 0);
-  if (isVmWrapper(iterable)) return iterable.has(key);
-  return hasOwnEnumerable(iterable, key);
-};
-var $Concat = (...args) => {
-  return args.map((a) => toFormat(a, null)).join("");
-};
-var $Pos = (a) => {
-  return $ToNumber(a);
-};
-var $Neg = (a) => {
-  return -$ToNumber(a);
-};
-var $Not = (a) => {
-  return !$ToBoolean(a);
-};
-var $Length = (value) => {
-  $AssertInit(value);
-  if (isVmArray(value)) return value.length;
-  if (isVmRecord(value)) return keys(value).length;
-  if (isVmWrapper(value)) return value.keys().length;
-  throw new VmError(`Value has no length: ${display(value)}`, 0);
-};
-var $Omit = (value, omitted) => {
-  $AssertInit(value);
-  if (value == null || !isVmRecord(value)) return {};
-  const result = {};
-  const valueKeys = keys(value);
-  const omittedSet = new Set(omitted.map($ToString));
-  for (const key of valueKeys) {
-    if (!omittedSet.has(key)) {
-      result[key] = value[key] ?? null;
-    }
-  }
-  return result;
-};
-var $Pick = (value, picked) => {
-  $AssertInit(value);
-  if (value == null || !isVmRecord(value)) return {};
-  const result = {};
-  for (const key of picked) {
-    const k = $ToString(key);
-    if (hasOwnEnumerable(value, k)) {
-      result[k] = value[k] ?? null;
-    }
-  }
-  return result;
-};
-var sliceCore = (value, start, end, exclusive) => {
-  const { length } = value;
-  if (isNaN(start)) start = 0;
-  else if (start < 0) start = length + start;
-  if (isNaN(end)) end = exclusive ? length : length - 1;
-  else if (end < 0) end = length + end;
-  start = ceil(start);
-  if (exclusive || !isSafeInteger(end)) {
-    end = ceil(end);
-  } else {
-    end = end + 1;
-  }
-  return slice.call(value, start, end);
-};
-var $Slice = (value, start, end) => {
-  $AssertInit(value);
-  if (!isVmArray(value)) throw new VmError(`Expected array, got ${display(value)}`, []);
-  const s = start != null ? $ToNumber(start) : 0;
-  const e = end != null ? $ToNumber(end) : value.length - 1;
-  return sliceCore(value, s, e, false);
-};
-var $SliceExclusive = (value, start, end) => {
-  $AssertInit(value);
-  if (!isVmArray(value)) throw new VmError(`Expected array, got ${display(value)}`, []);
-  const s = start != null ? $ToNumber(start) : 0;
-  const e = end != null ? $ToNumber(end) : value.length;
-  return sliceCore(value, s, e, true);
-};
-var $AssertInit = (value) => {
-  if (value === void 0) throw new VmError(`Uninitialized value`, null);
-};
-var $Call = (func, args) => {
-  for (const a of args) {
-    $AssertInit(a);
-  }
-  if (isVmExtern(func)) {
-    return func.call(args) ?? null;
-  }
-  if (isVmFunction(func)) {
-    return func(...args) ?? null;
-  }
-  throw new VmError(`Value is not callable: ${display(func)}`, null);
-};
-var $Type = (value) => {
-  if (value == null) return "nil";
-  if (isVmWrapper(value)) return value.type;
-  if (isVmArray(value)) return "array";
-  if (typeof value == "object") return "record";
-  return typeof value;
-};
-var $ToBoolean = (value) => {
-  if (typeof value == "boolean") return value;
-  $AssertInit(value);
-  return toBoolean(value, void 0);
-};
-var $ToString = (value) => {
-  if (typeof value == "string") return value;
-  $AssertInit(value);
-  return toString(value, void 0);
-};
-var $ToNumber = (value) => {
-  if (typeof value == "number") return value;
-  $AssertInit(value);
-  return toNumber(value, void 0);
-};
-var $IsBoolean = (value) => {
-  $AssertInit(value);
-  return typeof value == "boolean";
-};
-var $IsNumber = (value) => {
-  $AssertInit(value);
-  return typeof value == "number";
-};
-var $IsString = (value) => {
-  $AssertInit(value);
-  return typeof value == "string";
-};
-var $IsRecord = (value) => {
-  $AssertInit(value);
-  return isVmRecord(value);
-};
-var $IsArray = (value) => {
-  $AssertInit(value);
-  return isVmArray(value);
-};
-var $AssertNonNil = (value) => {
-  $AssertInit(value);
-  if (value !== null) return;
-  throw new VmError(`Expected non-nil value`, null);
-};
-var $Has = (obj, key) => {
-  $AssertInit(obj);
-  const pk = $ToString(key);
-  if (obj == null || typeof obj != "object") return false;
-  if (isVmWrapper(obj)) return obj.has(pk);
-  return hasOwnEnumerable(obj, pk);
-};
-var $Get = (obj, key) => {
-  $AssertInit(obj);
-  if (isVmArray(obj)) {
-    const index = $ToNumber(key);
-    if (isNaN(index)) return null;
-    return at.call(obj, trunc(index)) ?? null;
-  }
-  const pk = $ToString(key);
-  if (obj == null || typeof obj != "object") return null;
-  if (isVmWrapper(obj)) return obj.get(pk) ?? null;
-  if (!hasOwnEnumerable(obj, pk)) return null;
-  return obj[pk] ?? null;
-};
-var $Set = (obj, key, value) => {
-  $AssertInit(obj);
-  $AssertInit(value);
-  const pk = $ToString(key);
-  if (obj == null) return;
-  if (!isVmExtern(obj)) throw new VmError(`Expected extern, got ${display(obj)}`, void 0);
-  obj.set(pk, value);
-};
-var $Iterable = (value) => {
-  $AssertInit(value);
-  if (isVmWrapper(value)) return value.keys();
-  if (isVmArray(value)) return value;
-  if (value != null && typeof value == "object") return keys(value);
-  throw new VmError(`Value is not iterable: ${display(value)}`, isVmFunction(value) ? [] : [value]);
-};
-var $RecordSpread = (record) => {
-  $AssertInit(record);
-  if (record == null || isVmRecord(record)) return record;
-  if (isVmArray(record)) {
-    const result = {};
-    const len2 = record.length;
-    for (let i = 0; i < len2; i++) {
-      const item = record[i];
-      result[i] = item ?? null;
-    }
-    return result;
-  }
-  if (isVmExtern(record)) {
-    const result = create(null);
-    for (const key of record.keys()) {
-      const value = record.get(key) ?? null;
-      if (isVmPrimitive(value)) {
-        result[key] = value;
-      }
-    }
-    return result;
-  }
-  throw new VmError(`Expected record, array, extern or nil, got ${display(record)}`, null);
-};
-var $ArraySpread = (array) => {
-  $AssertInit(array);
-  if (array == null) return [];
-  if (isVmArray(array)) return array;
-  if (isVmExtern(array) && typeof array.value[Symbol.iterator] == "function") {
-    const result = [];
-    for (const item of array.value) {
-      if (isVmPrimitive(item)) {
-        result.push(item);
-      } else {
-        result.push(null);
-      }
-    }
-    return result;
-  }
-  throw new VmError(`Expected array, iterable extern or nil, got ${display(array)}`, []);
-};
-var $Format = (value, format2) => {
-  $AssertInit(value);
-  const f = format2 == null ? "" : $ToString(format2);
-  return toFormat(value, f);
-};
-
 // src/vm/types/wrapper.ts
 var VmWrapper = class {
   constructor(value) {
@@ -574,6 +149,25 @@ var VmWrapper = class {
 };
 Object.defineProperty(VmWrapper.prototype, kVmWrapper, { value: true });
 
+// src/vm/operations/common.ts
+var $AssertInit = (value) => {
+  if (value === void 0) throw new VmError(`Uninitialized value`, null);
+};
+
+// src/vm/operations/call.ts
+var $Call = (func, args) => {
+  for (const a of args) {
+    $AssertInit(a);
+  }
+  if (isVmExtern(func)) {
+    return func.call(args) ?? null;
+  }
+  if (isVmFunction(func)) {
+    return func(...args) ?? null;
+  }
+  throw new VmError(`Value is not callable: ${display(func)}`, null);
+};
+
 // src/vm/types/boundary.ts
 function toVmFunctionProxy(fn) {
   const cached = fn[kVmFunctionProxy];
@@ -582,7 +176,7 @@ function toVmFunctionProxy(fn) {
     const ret = $Call(
       fn,
       // 作为函数参数传入的值一定丢失了它的 this
-      args.map((v) => wrapToVmValue(v, null))
+      args.map((v) => wrapToVmValue(v, null, null))
     );
     return unwrapFromVmValue(ret);
   };
@@ -598,14 +192,14 @@ function fromVmFunctionProxy(fn) {
   if (isVmFunction(fn)) return fn;
   const original = fn[kVmFunctionProxy];
   if (original && isVmFunction(original)) return original;
-  return void 0;
+  return null;
 }
-function wrapToVmValue(value, thisArg = null, assumeVmValue) {
+function wrapToVmValue(value, thisArg = null, assumeVmValue = null) {
   if (value == null) return null;
   switch (typeof value) {
     case "function": {
       const unwrapped = fromVmFunctionProxy(value);
-      if (unwrapped) return unwrapped;
+      if (unwrapped != null) return unwrapped;
       return new VmExtern(value, thisArg);
     }
     case "object": {
@@ -626,6 +220,14 @@ function wrapToVmValue(value, thisArg = null, assumeVmValue) {
       return null;
   }
 }
+function bindThis(fn, thisArg) {
+  if (thisArg == null) return fn;
+  return new Proxy(fn, {
+    apply(target, _thisArg, args) {
+      return apply(target, thisArg, args);
+    }
+  });
+}
 function unwrapFromVmValue(value) {
   if (isVmFunction(value)) {
     return toVmFunctionProxy(value);
@@ -636,12 +238,7 @@ function unwrapFromVmValue(value) {
     return value.value;
   }
   const f = value;
-  const caller = f.thisArg.value;
-  return new Proxy(f.value, {
-    apply(target, thisArg, args) {
-      return apply(target, caller, args);
-    }
-  });
+  return bindThis(f.value, f.thisArg);
 }
 
 // src/vm/types/extern.ts
@@ -682,7 +279,7 @@ var VmExtern = class extends VmWrapper {
   get(key) {
     if (!this.has(key)) return void 0;
     const prop = this.value[key];
-    return wrapToVmValue(prop, this, (v) => this.assumeVmValue(v, key));
+    return wrapToVmValue(prop, this.value, (v) => this.assumeVmValue(v, key));
   }
   /** Set a property on the object */
   set(key, value) {
@@ -697,7 +294,7 @@ var VmExtern = class extends VmWrapper {
     if (typeof value != "function") {
       throw VmError.from(`Not a callable extern`, null, null);
     }
-    const caller = this.thisArg?.value ?? null;
+    const caller = this.thisArg;
     const unwrappedArgs = args.map(unwrapFromVmValue);
     let ret;
     try {
@@ -729,7 +326,7 @@ var VmExtern = class extends VmWrapper {
     if (toString2 === ArrayToString && isArray(this.value)) {
       const mapped = ArrayMap.call(this.value, (item) => {
         if (item === void 0) return "";
-        return innerToString(wrapToVmValue(item ?? null, null), true);
+        return innerToString(wrapToVmValue(item ?? null, null, null), true);
       });
       const str = mapped.join(", ");
       if (useBraces) return `[${str}]`;
@@ -912,8 +509,8 @@ var DefaultVmContext = freeze({
   /** @inheritdoc */
   get(key) {
     const val = VM_SHARED_CONTEXT[key];
-    if (val === void 0) globalVarNotFound(key);
-    return val;
+    if (val !== void 0) return val;
+    return globalVarNotFound(key);
   },
   /** @inheritdoc */
   has(key) {
@@ -928,26 +525,23 @@ var ValueVmContext = class {
   constructor(env, describer) {
     this.env = env;
     this.describer = describer;
-    this.cachedKeys = null;
   }
   /** @inheritdoc */
   keys() {
-    const defaultKeys = DefaultVmContext.keys();
-    if (this.cachedKeys?.[0] !== defaultKeys) {
-      const allKeys = freeze([...keys(this.env), ...defaultKeys]);
-      this.cachedKeys = freeze([defaultKeys, allKeys]);
-    }
-    return this.cachedKeys[1];
+    return [...keys(this.env), ...DefaultVmContext.keys()];
   }
   /** @inheritdoc */
   get(key) {
-    const val = this.env[key];
-    if (val === void 0) globalVarNotFound(key);
-    return val;
+    if (hasOwn(this.env, key)) return this.env[key] ?? null;
+    {
+      const val = VM_SHARED_CONTEXT[key];
+      if (val !== void 0) return val;
+      return globalVarNotFound(key);
+    }
   }
   /** @inheritdoc */
   has(key) {
-    return key in this.env;
+    return hasOwn(this.env, key) || key in VM_SHARED_CONTEXT;
   }
   /** @inheritdoc */
   describe(key) {
@@ -957,6 +551,49 @@ var ValueVmContext = class {
 };
 defineProperty(ValueVmContext.prototype, kVmContext, { value: true });
 freeze(ValueVmContext.prototype);
+var Value2VmContext = class {
+  constructor(env, extern, describer) {
+    this.env = env;
+    this.extern = extern;
+    this.describer = describer;
+    this.externCache = /* @__PURE__ */ new WeakMap();
+  }
+  /** @inheritdoc */
+  keys() {
+    return [...this.env == null ? [] : keys(this.env), ...keys(this.extern), ...DefaultVmContext.keys()];
+  }
+  /** @inheritdoc */
+  get(key) {
+    if (this.env != null && hasOwn(this.env, key)) return this.env[key] ?? null;
+    if (hasOwn(this.extern, key)) {
+      const val2 = this.extern[key];
+      if (val2 == null) return null;
+      if (typeof val2 != "object" && typeof val2 != "function") {
+        return wrapToVmValue(val2, null, null);
+      }
+      let cached = this.externCache.get(val2);
+      if (cached == null) {
+        cached = wrapToVmValue(val2, null, null);
+        this.externCache.set(val2, cached);
+      }
+      return cached;
+    }
+    const val = VM_SHARED_CONTEXT[key];
+    if (val !== void 0) return val;
+    return globalVarNotFound(key);
+  }
+  /** @inheritdoc */
+  has(key) {
+    return this.env != null && hasOwn(this.env, key) || hasOwn(this.extern, key) || key in VM_SHARED_CONTEXT;
+  }
+  /** @inheritdoc */
+  describe(key) {
+    if (this.env != null && hasOwn(this.env, key) || hasOwn(this.extern, key)) return this.describer?.(key);
+    return VM_SHARED_CONTEXT_DESCRIPTIONS[key];
+  }
+};
+defineProperty(Value2VmContext.prototype, kVmContext, { value: true });
+freeze(Value2VmContext.prototype);
 var FactoryVmContext = class {
   constructor(getter, enumerator, describer) {
     this.getter = getter;
@@ -966,68 +603,355 @@ var FactoryVmContext = class {
   /** @inheritdoc */
   keys() {
     if (!this.enumerator) return DefaultVmContext.keys();
-    return freeze([...this.enumerator(), ...DefaultVmContext.keys()]);
+    return [...this.enumerator(), ...DefaultVmContext.keys()];
   }
   /** @inheritdoc */
   get(key) {
     const value = this.getter(key);
     if (value !== void 0) return value;
-    return DefaultVmContext.get(key);
+    const val = VM_SHARED_CONTEXT[key];
+    if (val !== void 0) return val;
+    return globalVarNotFound(key);
   }
   /** @inheritdoc */
   has(key) {
-    return this.getter(key) !== void 0 || DefaultVmContext.has(key);
+    return this.getter(key) !== void 0 || key in VM_SHARED_CONTEXT;
+  }
+  /** @inheritdoc */
+  describe(key) {
+    if (this.getter(key) !== void 0) return this.describer?.(key);
+    return VM_SHARED_CONTEXT_DESCRIPTIONS[key];
+  }
+};
+defineProperty(FactoryVmContext.prototype, kVmContext, { value: true });
+freeze(FactoryVmContext.prototype);
+function createVmContext(arg0 = null, arg1 = null, describer = null) {
+  if (typeof arg0 == "function") {
+    const getter = arg0;
+    const enumerator = arg1;
+    return new FactoryVmContext(getter, enumerator, describer);
+  }
+  const vmValues = arg0;
+  const externValues = arg1;
+  if (externValues == null) {
+    if (vmValues == null) {
+      return DefaultVmContext;
+    }
+    return new ValueVmContext(vmValues, describer);
+  }
+  return new Value2VmContext(vmValues, externValues, describer);
+}
+
+// src/vm/operations/index.ts
+var operations_exports = {};
+__export(operations_exports, {
+  $Add: () => $Add,
+  $Aeq: () => $Aeq,
+  $And: () => $And,
+  $ArrayRange: () => $ArrayRange,
+  $ArrayRangeExclusive: () => $ArrayRangeExclusive,
+  $ArraySpread: () => $ArraySpread,
+  $AssertInit: () => $AssertInit,
+  $AssertNonNil: () => $AssertNonNil,
+  $Call: () => $Call,
+  $Concat: () => $Concat,
+  $Cp: () => Cp,
+  $CpEnter: () => CpEnter,
+  $CpExit: () => CpExit,
+  $Div: () => $Div,
+  $El: () => $El,
+  $ElOpt: () => $ElOpt,
+  $Eq: () => $Eq,
+  $Fn: () => $Fn,
+  $Format: () => $Format,
+  $Get: () => $Get,
+  $GlobalFallback: () => $GlobalFallback,
+  $Gt: () => $Gt,
+  $Gte: () => $Gte,
+  $Has: () => $Has,
+  $In: () => $In,
+  $IsArray: () => $IsArray,
+  $IsBoolean: () => $IsBoolean,
+  $IsNumber: () => $IsNumber,
+  $IsRecord: () => $IsRecord,
+  $IsString: () => $IsString,
+  $Iterable: () => $Iterable,
+  $Length: () => $Length,
+  $Lt: () => $Lt,
+  $Lte: () => $Lte,
+  $Mod: () => $Mod,
+  $Mul: () => $Mul,
+  $Naeq: () => $Naeq,
+  $Neg: () => $Neg,
+  $Neq: () => $Neq,
+  $Not: () => $Not,
+  $Nsame: () => $Nsame,
+  $Omit: () => $Omit,
+  $Or: () => $Or,
+  $Pick: () => $Pick,
+  $Pos: () => $Pos,
+  $Pow: () => $Pow,
+  $RecordSpread: () => $RecordSpread,
+  $Same: () => $Same,
+  $Set: () => $Set,
+  $Slice: () => $Slice,
+  $SliceExclusive: () => $SliceExclusive,
+  $Sub: () => $Sub,
+  $ToBoolean: () => $ToBoolean,
+  $ToNumber: () => $ToNumber,
+  $ToString: () => $ToString,
+  $Type: () => $Type,
+  $Upvalue: () => $Upvalue,
+  $VArgs: () => $VArgs
+});
+
+// src/vm/operations/convert.ts
+var $ToBoolean = (value) => {
+  if (typeof value == "boolean") return value;
+  $AssertInit(value);
+  return toBoolean(value, void 0);
+};
+var $ToString = (value) => {
+  if (typeof value == "string") return value;
+  $AssertInit(value);
+  return toString(value, void 0);
+};
+var $ToNumber = (value) => {
+  if (typeof value == "number") return value;
+  $AssertInit(value);
+  return toNumber(value, void 0);
+};
+var $Format = (value, format2) => {
+  $AssertInit(value);
+  const f = format2 == null ? "" : $ToString(format2);
+  return toFormat(value, f);
+};
+
+// src/vm/operations/type-check.ts
+var $Type = (value) => {
+  if (value == null) return "nil";
+  if (isVmWrapper(value)) return value.type;
+  if (isVmArray(value)) return "array";
+  if (typeof value == "object") return "record";
+  return typeof value;
+};
+var $IsBoolean = (value) => {
+  $AssertInit(value);
+  return typeof value == "boolean";
+};
+var $IsNumber = (value) => {
+  $AssertInit(value);
+  return typeof value == "number";
+};
+var $IsString = (value) => {
+  $AssertInit(value);
+  return typeof value == "string";
+};
+var $IsRecord = (value) => {
+  $AssertInit(value);
+  return isVmRecord(value);
+};
+var $IsArray = (value) => {
+  $AssertInit(value);
+  return isVmArray(value);
+};
+var $AssertNonNil = (value) => {
+  $AssertInit(value);
+  if (value !== null) return;
+  throw new VmError(`Expected non-nil value`, null);
+};
+
+// src/vm/operations/utils.ts
+function overloadNumberString(a, b) {
+  if (typeof a == "number" || typeof b == "number") return true;
+  if (typeof a == "string" || typeof b == "string") return false;
+  return true;
+}
+function isSame(a, b) {
+  if (typeof a == "number" && typeof b == "number") {
+    return a === b || isNaN(a) && isNaN(b);
+  }
+  if (a === b) return true;
+  if (a == null || typeof a != "object" || b == null || typeof b != "object") return false;
+  if (isVmWrapper(a)) return a.same(b);
+  if (isVmWrapper(b)) return b.same(a);
+  if (isVmArray(a) && isVmArray(b)) {
+    const len2 = a.length;
+    if (len2 !== b.length) {
+      return false;
+    }
+    for (let i = 0; i < len2; i++) {
+      if (!isSame(a[i] ?? null, b[i] ?? null)) {
+        return false;
+      }
+    }
+    return true;
+  }
+  if (!isVmArray(a) && !isVmArray(b)) {
+    const aKeys = keys(a);
+    const bKeys = keys(b);
+    if (aKeys.length !== bKeys.length) {
+      return false;
+    }
+    for (const key of aKeys) {
+      if (!hasOwnEnumerable(b, key)) {
+        return false;
+      }
+      const av = a[key] ?? null;
+      const bv = b[key] ?? null;
+      if (!isSame(av, bv)) {
+        return false;
+      }
+    }
+    return true;
+  }
+  return false;
+}
+
+// src/vm/operations/operator.ts
+var $Concat = (...args) => {
+  return args.map((a) => toFormat(a, null)).join("");
+};
+var $Pos = (a) => {
+  return $ToNumber(a);
+};
+var $Neg = (a) => {
+  return -$ToNumber(a);
+};
+var $Not = (a) => {
+  return !$ToBoolean(a);
+};
+var $Add = (a, b) => {
+  return $ToNumber(a) + $ToNumber(b);
+};
+var $Sub = (a, b) => {
+  return $ToNumber(a) - $ToNumber(b);
+};
+var $Mul = (a, b) => {
+  return $ToNumber(a) * $ToNumber(b);
+};
+var $Div = (a, b) => {
+  return $ToNumber(a) / $ToNumber(b);
+};
+var $Mod = (a, b) => {
+  return $ToNumber(a) % $ToNumber(b);
+};
+var $Pow = (a, b) => {
+  return $ToNumber(a) ** $ToNumber(b);
+};
+var $And = (a, b) => {
+  return $ToBoolean(a) && $ToBoolean(b);
+};
+var $Or = (a, b) => {
+  return $ToBoolean(a) || $ToBoolean(b);
+};
+var $Gt = (a, b) => {
+  if (overloadNumberString(a, b)) {
+    return $ToNumber(a) > $ToNumber(b);
+  } else {
+    return $ToString(a) > $ToString(b);
   }
-  /** @inheritdoc */
-  describe(key) {
-    if (this.getter(key) !== void 0) return this.describer?.(key);
-    return VM_SHARED_CONTEXT_DESCRIPTIONS[key];
+};
+var $Gte = (a, b) => {
+  if (overloadNumberString(a, b)) {
+    return $ToNumber(a) >= $ToNumber(b);
+  } else {
+    return $ToString(a) >= $ToString(b);
   }
 };
-defineProperty(FactoryVmContext.prototype, kVmContext, { value: true });
-freeze(FactoryVmContext.prototype);
-function createVmContext(arg0 = null, arg1 = null, describer = null) {
-  if (arg0 == null && arg1 == null) {
-    return DefaultVmContext;
+var $Lt = (a, b) => {
+  if (overloadNumberString(a, b)) {
+    return $ToNumber(a) < $ToNumber(b);
+  } else {
+    return $ToString(a) < $ToString(b);
   }
-  if (typeof arg0 == "function") {
-    const getter = arg0;
-    const enumerator = arg1;
-    return new FactoryVmContext(getter, enumerator, describer);
+};
+var $Lte = (a, b) => {
+  if (overloadNumberString(a, b)) {
+    return $ToNumber(a) <= $ToNumber(b);
+  } else {
+    return $ToString(a) <= $ToString(b);
   }
-  const vmValues = arg0;
-  const externValues = arg1;
-  const env = create(VM_SHARED_CONTEXT);
-  if (vmValues) {
-    for (const [key, value] of entries(vmValues)) {
-      if (!isVmAny(value, false)) continue;
-      env[key] = value ?? null;
-    }
+};
+var $Eq = (a, b) => {
+  $AssertInit(a);
+  $AssertInit(b);
+  if (typeof a == "number" && typeof b == "number") return a === b;
+  return isSame(a, b);
+};
+var $Neq = (a, b) => {
+  return !$Eq(a, b);
+};
+var { abs, min } = Math;
+var $Aeq = (a, b) => {
+  if (overloadNumberString(a, b)) {
+    const an = $ToNumber(a);
+    const bn = $ToNumber(b);
+    const EPS = 1e-15;
+    if (isNaN(an) || isNaN(bn)) return false;
+    if (an === bn) return true;
+    const absoluteDifference = abs(an - bn);
+    if (absoluteDifference < EPS) return true;
+    const base = min(abs(an), abs(bn));
+    return absoluteDifference < base * EPS;
+  } else {
+    const as = $ToString(a);
+    const bs = $ToString(b);
+    if (as === bs) return true;
+    const ai = as.toLowerCase();
+    const bi = bs.toLowerCase();
+    if (ai === bi) return true;
+    const an = ai.normalize("NFC");
+    const bn = bi.normalize("NFC");
+    return an === bn;
   }
-  if (externValues) {
-    for (const [key, value] of entries(externValues)) {
-      env[key] = value == null ? null : wrapToVmValue(value, null);
-    }
+};
+var $Naeq = (a, b) => {
+  return !$Aeq(a, b);
+};
+var $Same = (a, b) => {
+  $AssertInit(a);
+  $AssertInit(b);
+  return isSame(a, b);
+};
+var $Nsame = (a, b) => {
+  return !$Same(a, b);
+};
+
+// src/vm/operations/slice.ts
+var { ceil } = Math;
+var { slice } = Array.prototype;
+var sliceCore = (value, start, end, exclusive) => {
+  const { length } = value;
+  if (isNaN(start)) start = 0;
+  else if (start < 0) start = length + start;
+  if (isNaN(end)) end = exclusive ? length : length - 1;
+  else if (end < 0) end = length + end;
+  start = ceil(start);
+  if (exclusive || !isSafeInteger(end)) {
+    end = ceil(end);
+  } else {
+    end = end + 1;
   }
-  return new ValueVmContext(env, describer);
-}
+  return slice.call(value, start, end);
+};
+var $Slice = (value, start, end) => {
+  $AssertInit(value);
+  if (!isVmArray(value)) throw new VmError(`Expected array, got ${display(value)}`, []);
+  const s = start != null ? $ToNumber(start) : 0;
+  const e = end != null ? $ToNumber(end) : value.length - 1;
+  return sliceCore(value, s, e, false);
+};
+var $SliceExclusive = (value, start, end) => {
+  $AssertInit(value);
+  if (!isVmArray(value)) throw new VmError(`Expected array, got ${display(value)}`, []);
+  const s = start != null ? $ToNumber(start) : 0;
+  const e = end != null ? $ToNumber(end) : value.length;
+  return sliceCore(value, s, e, true);
+};
 
-// src/vm/helpers.ts
-var helpers_exports = {};
-__export(helpers_exports, {
-  ArrayRange: () => ArrayRange,
-  ArrayRangeExclusive: () => ArrayRangeExclusive,
-  Cp: () => Cp,
-  CpEnter: () => CpEnter,
-  CpExit: () => CpExit,
-  Element: () => Element,
-  ElementOpt: () => ElementOpt,
-  Function: () => Function2,
-  GlobalFallback: () => GlobalFallback,
-  Upvalue: () => Upvalue,
-  Vargs: () => Vargs
-});
-var Vargs = (varags) => {
+// src/vm/operations/helpers.ts
+var $VArgs = (varags) => {
   for (let i = 0, l = varags.length; i < l; i++) {
     const el = varags[i];
     if (!isVmConst(el)) {
@@ -1036,22 +960,22 @@ var Vargs = (varags) => {
   }
   return varags;
 };
-var Element = (value) => {
+var $El = (value) => {
   $AssertInit(value);
   if (!isVmConst(value)) return null;
   return value;
 };
 var EMPTY = create(null);
-var ElementOpt = (key, value) => {
+var $ElOpt = (key, value) => {
   $AssertInit(value);
   if (value == null || !isVmConst(value)) return EMPTY;
   return { __proto__: null, [key]: value };
 };
-var Function2 = (name, fn) => {
+var $Fn = (name, fn) => {
   defineProperty(fn, "name", { value: name || VM_FUNCTION_ANONYMOUS_NAME });
   return VmFunction(fn, { isLib: false, injectCp: false });
 };
-var Upvalue = (value) => {
+var $Upvalue = (value) => {
   $AssertInit(value);
   return value;
 };
@@ -1063,7 +987,7 @@ var assertArrayLength = (start, end) => {
 var isEmptyRange = (start, end) => {
   return !isFinite(start) || !isFinite(end) || start > end;
 };
-var ArrayRange = (start, end) => {
+var $ArrayRange = (start, end) => {
   const s = $ToNumber(start);
   const e = $ToNumber(end);
   if (isEmptyRange(s, e)) return [];
@@ -1074,7 +998,7 @@ var ArrayRange = (start, end) => {
   }
   return arr;
 };
-var ArrayRangeExclusive = (start, end) => {
+var $ArrayRangeExclusive = (start, end) => {
   const s = $ToNumber(start);
   const e = $ToNumber(end);
   if (isEmptyRange(s, e)) return [];
@@ -1085,29 +1009,138 @@ var ArrayRangeExclusive = (start, end) => {
   }
   return arr;
 };
-function GlobalFallback() {
+function $GlobalFallback() {
   return DefaultVmContext;
 }
 
-// src/compiler/keywords.ts
-import { getModule } from "@mirascript/bindings";
-var keywords = () => {
-  const kw = Object.freeze(getModule().keywords());
-  keywords = () => kw;
-  return kw;
+// src/vm/operations/compound.ts
+var { trunc } = Math;
+var { at } = Array.prototype;
+var $In = (value, iterable) => {
+  $AssertInit(value);
+  $AssertInit(iterable);
+  if (iterable == null) return false;
+  if (typeof iterable != "object") return false;
+  if (isVmArray(iterable)) {
+    if (value == null) {
+      for (const item of iterable) if (item == null) return true;
+      return false;
+    }
+    if (isVmPrimitive(value)) return iterable.includes(value);
+    return iterable.some((item = null) => isSame(item, value));
+  }
+  const key = toString(value, void 0);
+  if (isVmWrapper(iterable)) return iterable.has(key);
+  return hasOwnEnumerable(iterable, key);
+};
+var $Length = (value) => {
+  $AssertInit(value);
+  if (isVmArray(value)) return value.length;
+  if (isVmRecord(value)) return keys(value).length;
+  if (isVmWrapper(value)) return value.keys().length;
+  throw new VmError(`Value has no length: ${display(value)}`, 0);
+};
+var $Omit = (value, omitted) => {
+  $AssertInit(value);
+  if (value == null || !isVmRecord(value)) return {};
+  const result = {};
+  const valueKeys = keys(value);
+  const omittedSet = new Set(omitted.map($ToString));
+  for (const key of valueKeys) {
+    if (!omittedSet.has(key)) {
+      result[key] = value[key] ?? null;
+    }
+  }
+  return result;
+};
+var $Pick = (value, picked) => {
+  $AssertInit(value);
+  if (value == null || !isVmRecord(value)) return {};
+  const result = {};
+  for (const key of picked) {
+    const k = $ToString(key);
+    if (hasOwnEnumerable(value, k)) {
+      result[k] = value[k] ?? null;
+    }
+  }
+  return result;
+};
+var $Has = (obj, key) => {
+  $AssertInit(obj);
+  const pk = $ToString(key);
+  if (obj == null || typeof obj != "object") return false;
+  if (isVmWrapper(obj)) return obj.has(pk);
+  return hasOwnEnumerable(obj, pk);
+};
+var $Get = (obj, key) => {
+  $AssertInit(obj);
+  if (isVmArray(obj)) {
+    const index = $ToNumber(key);
+    if (isNaN(index)) return null;
+    return at.call(obj, trunc(index)) ?? null;
+  }
+  const pk = $ToString(key);
+  if (obj == null || typeof obj != "object") return null;
+  if (isVmWrapper(obj)) return obj.get(pk) ?? null;
+  if (!hasOwnEnumerable(obj, pk)) return null;
+  return obj[pk] ?? null;
+};
+var $Set = (obj, key, value) => {
+  $AssertInit(obj);
+  $AssertInit(value);
+  const pk = $ToString(key);
+  if (obj == null) return;
+  if (!isVmExtern(obj)) throw new VmError(`Expected extern, got ${display(obj)}`, void 0);
+  obj.set(pk, value);
+};
+var $Iterable = (value) => {
+  $AssertInit(value);
+  if (isVmWrapper(value)) return value.keys();
+  if (isVmArray(value)) return value;
+  if (value != null && typeof value == "object") return keys(value);
+  throw new VmError(`Value is not iterable: ${display(value)}`, isVmFunction(value) ? [] : [value]);
+};
+var $RecordSpread = (record) => {
+  $AssertInit(record);
+  if (record == null || isVmRecord(record)) return record;
+  if (isVmArray(record)) {
+    const result = {};
+    const len2 = record.length;
+    for (let i = 0; i < len2; i++) {
+      const item = record[i];
+      result[i] = item ?? null;
+    }
+    return result;
+  }
+  if (isVmExtern(record)) {
+    const result = create(null);
+    for (const key of record.keys()) {
+      const value = record.get(key) ?? null;
+      if (isVmPrimitive(value)) {
+        result[key] = value;
+      }
+    }
+    return result;
+  }
+  throw new VmError(`Expected record, array, extern or nil, got ${display(record)}`, null);
+};
+var $ArraySpread = (array) => {
+  $AssertInit(array);
+  if (array == null) return [];
+  if (isVmArray(array)) return array;
+  if (isVmExtern(array) && typeof array.value[Symbol.iterator] == "function") {
+    const result = [];
+    for (const item of array.value) {
+      if (isVmPrimitive(item)) {
+        result.push(item);
+      } else {
+        result.push(null);
+      }
+    }
+    return result;
+  }
+  throw new VmError(`Expected array, iterable extern or nil, got ${display(array)}`, []);
 };
-
-// src/vm/env.ts
-var keys2 = [];
-var values2 = [];
-for (const [key, value] of entries(operations_exports)) {
-  keys2.push(key);
-  values2.push(value);
-}
-for (const [key, value] of entries(helpers_exports)) {
-  keys2.push(key);
-  values2.push(value);
-}
 
 // src/compiler/create-script.ts
 function wrapScript(source, mode, script) {
@@ -1123,16 +1156,34 @@ function wrapScript(source, mode, script) {
   }
   return script;
 }
+var [keys2, values2] = (() => {
+  const keys4 = [];
+  const values4 = [];
+  for (const [key, value] of entries(operations_exports)) {
+    keys4.push(key);
+    values4.push(value);
+  }
+  return [keys4.join(","), values4];
+})();
 function createScript(source, mode, code) {
   let script;
   try {
-    script = new Function(...keys2, code)(...values2);
+    script = new Function(keys2, `'use strict';
+return ${code}`)(...values2);
   } catch (error) {
     throw new Error(`Failed to create script`, { cause: error });
   }
   return wrapScript(source, mode, script);
 }
 
+// src/compiler/keywords.ts
+import { getModule } from "@mirascript/bindings";
+var keywords = () => {
+  const kw = Object.freeze(getModule().keywords());
+  keywords = () => kw;
+  return kw;
+};
+
 // src/compiler/emit-script.ts
 function reportDiagnostic(source, diagnostics, fileName) {
   const parsed = parseDiagnostics(source, diagnostics);
@@ -1760,7 +1811,7 @@ var factorial = VmLib(
 );
 
 // src/vm/lib/global/math.ts
-var { atan2: _atan2, pow: _pow } = Math;
+var { atan2: _atan2, pow: _pow, random: _random } = Math;
 var atan2 = VmLib((x, y) => _atan2(expectNumber(0, x), expectNumber(1, y)), {
   summary: "返回从原点到点 (x, y) 的角度（弧度）",
   params: { x: "x 坐标", y: "y 坐标" },
@@ -1773,7 +1824,7 @@ var pow2 = VmLib((x, y) => _pow(expectNumber(0, x), expectNumber(1, y)), {
   paramsType: { x: "number", y: "number" },
   returnsType: "number"
 });
-var random = VmLib(Math.random, {
+var random = VmLib(() => _random(), {
   summary: "返回 [0, 1) 之间的伪随机数",
   params: {},
   paramsType: {},
@@ -1927,7 +1978,7 @@ var normalizeEntries = (data, entries3) => {
       }
     }
     const value = entries3[i + 1];
-    entryData.set(key, Element(value));
+    entryData.set(key, $El(value));
   }
   return entryData;
 };
@@ -3437,7 +3488,6 @@ var lib = Object.freeze(Object.assign(create(null), global_exports, mod_exports)
 
 export {
   convert_exports,
-  operations_exports,
   VmExtern,
   wrapToVmValue,
   unwrapFromVmValue,
@@ -3446,8 +3496,8 @@ export {
   defineVmContextValue,
   DefaultVmContext,
   createVmContext,
-  GlobalFallback,
-  helpers_exports,
+  $GlobalFallback,
+  operations_exports,
   wrapScript,
   createScript,
   keywords,
@@ -3458,4 +3508,4 @@ export {
   panic,
   lib
 };
-//# sourceMappingURL=chunk-XNGYORPT.js.map
+//# sourceMappingURL=chunk-XWQWKD67.js.map