@dallaylaen/ski-interpreter 2.6.2 → 2.6.3

package/lib/ski-interpreter.mjs

@@ -15608,14 +15608,6 @@ var Case = class {
   parse(src) {
     return new Subst(this.engine.parse(src, { env: this.env, scope: this }), this.input);
   }
-  /**
-   * @param {Expr} expr
-   * @return {CaseResult}
-   */
-  // eslint-disable-next-line @typescript-eslint/no-unused-vars
-  check(..._expr) {
-    throw new Error("not implemented");
-  }
 };
 var ExprCase = class extends Case {
   /**
@@ -15624,6 +15616,7 @@ var ExprCase = class extends Case {
    *    max?: number,
    *    note?: string,
    *    env?: {string: Expr},
+   *    canonize?: { max?: number, maxSize?: number, maxArgs?: number },
    *    engine?: Parser
    * }} options
    * @param {[e1: string, e2: string]} terms
@@ -15632,6 +15625,7 @@ var ExprCase = class extends Case {
     if (terms.length !== 2)
       throw new Error("Case accepts exactly 2 strings");
     super(input, options);
+    this.canonize = options.canonize;
     [this.e1, this.e2] = terms.map((s) => this.parse(s));
   }
   check(...args) {
@@ -15642,8 +15636,9 @@ var ExprCase = class extends Case {
     let reason = null;
     if (!r1.final || !r2.final)
       reason = "failed to reach normal form in " + this.max + " steps";
-    else
-      reason = r1.expr.diff(r2.expr);
+    else {
+      reason = this.canonize ? canonize(r1.expr, this.canonize).diff(canonize(r2.expr, this.canonize)) : r1.expr.diff(r2.expr);
+    }
     return {
       pass: !reason,
       reason: reason ?? void 0,
@@ -15805,6 +15800,11 @@ function checkHtml(str) {
 }
 Quest.Group = Group;
 Quest.Case = Case;
+function canonize(term, options = {}) {
+  return term.traverse({}, (e) => {
+    return e.infer(options).expr;
+  }) ?? term;
+}
 
 // src/extras.ts
 function search(seed, options, predicate) {