@dallaylaen/ski-interpreter 2.6.2 → 2.6.3

package/CHANGELOG.md

@@ -5,6 +5,20 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [2.6.3] - 2026-03-30
+
+### Added
+
+- Quest cases now support `{ canonize: { max: number } }` option 
+to canonize terms before comparing.
+This was added to cut off excessive `I(I(I(...)))`
+in non-normalizable solutions.
+
+### Fixed
+
+- Quests: Turing bird (wrong def) and Y combinator (was not accepting some valid solutions) fixed.
+- Exposed more types supposed to be exposed all along.
+
 ## [2.6.2] - 2026-03-29
 
 ### Added

package/lib/ski-interpreter.cjs.js

@@ -15628,14 +15628,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 {
   /**
@@ -15644,6 +15636,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
@@ -15652,6 +15645,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) {
@@ -15662,8 +15656,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,
@@ -15825,6 +15820,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) {