@dallaylaen/ski-interpreter 2.4.0 → 2.4.1

package/lib/ski-interpreter.esm.js

@@ -67,7 +67,8 @@ function prepareWrapper(label) {
 // src/expr.ts
 var DEFAULTS = {
   max: 1e3,
-  maxArgs: 32
+  maxArgs: 32,
+  maxSize: 1e6
 };
 var ORDER = {
   "leftmost-outermost": "LO",
@@ -89,6 +90,7 @@ var Expr = class _Expr {
   static {
     this.native = native;
   }
+  // rough estimate of the number of nodes in the tree
   /**
    *
    * @desc Define properties of the term based on user supplied options and/or inference results.
@@ -288,9 +290,12 @@ var Expr = class _Expr {
    */
   infer(options = {}) {
     const skipNames = {};
+    const skipSkip = /* @__PURE__ */ new Set();
     this.traverse((e) => {
-      if (e instanceof Named)
+      if (e instanceof Named && !skipSkip.has(e))
         skipNames[e.name] = true;
+      if (e instanceof Lambda)
+        skipSkip.add(e.arg);
       return void 0;
     });
     return this._infer({
@@ -513,6 +518,8 @@ var Expr = class _Expr {
         final = true;
         break;
       }
+      if ((next.expr.size ?? 1) > (opt.maxSize ?? DEFAULTS.maxSize))
+        break;
       steps += next.steps;
       expr = next.expr;
     }
@@ -531,7 +538,7 @@ var Expr = class _Expr {
     let steps = 0;
     let expr = this;
     let final = false;
-    while (steps < max) {
+    while (steps < max && (expr.size ?? 1) < (options.maxSize ?? DEFAULTS.maxSize)) {
       const next = expr.step();
       if (!next.changed)
         final = true;
@@ -752,6 +759,7 @@ var App = class _App extends Expr {
     super();
     this.arg = arg;
     this.fun = fun;
+    this.size = (fun.size ?? 1) + (arg.size ?? 1);
   }
   /** @property {boolean} [final] */
   _traverse_descend(options, change) {
@@ -924,6 +932,7 @@ var Lambda = class _Lambda extends Expr {
     this.arg = local;
     this.impl = impl.subst(arg, local) ?? impl;
     this.arity = 1;
+    this.size = (impl.size ?? 1) + 1;
   }
   invoke(arg) {
     return this.impl.subst(this.arg, arg) ?? this.impl;
@@ -1010,6 +1019,7 @@ var Alias = class extends Named {
     this._setup(options);
     this.terminal = options.terminal ?? this.props?.proper;
     this.invoke = waitn(impl, this.arity ?? 0);
+    this.size = impl.size;
   }
   /**
    * @property {boolean} [outdated] - whether the alias is outdated