yukigo 0.3.1 → 0.3.2

package/CHANGELOG.md

@@ -1,3 +1,17 @@
+## 0.3.2 (2026-08-04)
+
+### 🩹 Fixes
+
+- **yukigo:** fix v0 Mulang Inspections translation ([2995ccc](https://github.com/miyukiproject/yukigo/commit/2995ccc))
+
+### 🧱 Updated Dependencies
+
+- Updated yukigo-ast to 0.3.2
+
+### ❤️ Thank You
+
+- noiseArch
+
 ## 0.3.1 (2026-08-01)
 
 ### 🧱 Updated Dependencies

package/dist/utils/helpers.d.ts

@@ -18,4 +18,5 @@ export interface InterpreterConfig {
 export declare class MulangAdapter {
     translateMulangInspection(mulangInspection: any): InspectionRule;
     translateMulangExpectations(mulangYamlString: string): InspectionRule[];
+    private translateV0Inspection;
 }

package/dist/utils/helpers.js

@@ -1,4 +1,28 @@
 import { parseDocument } from "yaml";
+const V0_INSPECTIONS_Has = [
+    "HasComposition",
+    "HasComprehension",
+    "HasForeach",
+    "HasIf",
+    "HasGuards",
+    "HasConditional",
+    "HasLambda",
+    "HasRepeat",
+    "HasWhile",
+    "HasAnonymousVariable",
+    "HasNot",
+    "HasForall",
+    "HasFindall",
+];
+const V0_INSPECTIONS_Declares = new Map([
+    ["HasBinding", "Declares"],
+    ["HasTypeDeclaration", "DeclaresTypeAlias"],
+    ["HasTypeSignature", "DeclaresTypeSignature"],
+    ["HasVariable", "DeclaresVariable"],
+    ["HasArity", "DeclaresComputationWithArity"],
+    ["HasDirectRecursion", "DeclaresRecursively"],
+    ["HasUsage", "Uses"],
+]);
 const isValidFormat = (inspection) => typeof inspection === "object" &&
     "inspection" in inspection &&
     "binding" in inspection;
@@ -14,8 +38,10 @@ export class MulangAdapter {
         const inspection = mulangInspection.inspection.split(":");
         const expected = inspection[0] !== "Not" && inspection[0] !== "Except";
         const args = inspection.slice(expected ? 1 : 2);
+        const inspectionV0 = expected ? inspection[0] : inspection[1];
+        const inspectionV2 = this.translateV0Inspection(inspectionV0);
         return {
-            inspection: expected ? inspection[0] : inspection[1],
+            inspection: inspectionV2,
             expected,
             args,
             binding: mulangInspection.binding,
@@ -37,11 +63,14 @@ export class MulangAdapter {
         else {
             throw new Error("Invalid Mulang YAML structure. Expected 'expectations' to be an array.");
         }
-        const inspectionRules = [];
-        for (const mulangInspection of expectations) {
-            const inspection = this.translateMulangInspection(mulangInspection);
-            inspectionRules.push(inspection);
-        }
+        const inspectionRules = expectations.map((insp) => this.translateMulangInspection(insp));
         return inspectionRules;
     }
+    translateV0Inspection(inspection) {
+        if (V0_INSPECTIONS_Declares.has(inspection))
+            return V0_INSPECTIONS_Declares.get(inspection);
+        if (V0_INSPECTIONS_Has.includes(inspection))
+            return inspection.replace("Has", "Uses");
+        return inspection;
+    }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yukigo",
-  "version": "0.3.1",
+  "version": "0.3.2",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",

package/src/utils/helpers.ts

@@ -1,10 +1,34 @@
 import { parseDocument } from "yaml";
 import { InspectionRule } from "../analyzer/index.js";
 import { NativeExtension } from "../interpreter/utils.js";
-import { RuntimeContext } from "../interpreter/components/RuntimeContext.js";
-import { YuValue } from "../interpreter/index.js";
 import { YukigoHook } from "../interpreter/components/hooks/YukigoHook.js";
 
+const V0_INSPECTIONS_Has = [
+  "HasComposition",
+  "HasComprehension",
+  "HasForeach",
+  "HasIf",
+  "HasGuards",
+  "HasConditional",
+  "HasLambda",
+  "HasRepeat",
+  "HasWhile",
+  "HasAnonymousVariable",
+  "HasNot",
+  "HasForall",
+  "HasFindall",
+];
+
+const V0_INSPECTIONS_Declares: Map<string, string> = new Map([
+  ["HasBinding", "Declares"],
+  ["HasTypeDeclaration", "DeclaresTypeAlias"],
+  ["HasTypeSignature", "DeclaresTypeSignature"],
+  ["HasVariable", "DeclaresVariable"],
+  ["HasArity", "DeclaresComputationWithArity"],
+  ["HasDirectRecursion", "DeclaresRecursively"],
+  ["HasUsage", "Uses"],
+]);
+
 type MulangInspection = {
   inspection: string;
   binding: string;
@@ -34,7 +58,7 @@ export class MulangAdapter {
   public translateMulangInspection(mulangInspection: any): InspectionRule {
     if (!isValidFormat(mulangInspection))
       throw new Error(
-        `Skipping malformed Mulang inspection entry: ${mulangInspection}`
+        `Skipping malformed Mulang inspection entry: ${mulangInspection}`,
       );
 
     const inspection: string[] = mulangInspection.inspection.split(":");
@@ -42,8 +66,10 @@ export class MulangAdapter {
       inspection[0] !== "Not" && inspection[0] !== "Except";
     const args: string[] = inspection.slice(expected ? 1 : 2);
 
+    const inspectionV0 = expected ? inspection[0] : inspection[1];
+    const inspectionV2 = this.translateV0Inspection(inspectionV0);
     return {
-      inspection: expected ? inspection[0] : inspection[1],
+      inspection: inspectionV2,
       expected,
       args,
       binding: mulangInspection.binding,
@@ -51,7 +77,7 @@ export class MulangAdapter {
   }
 
   public translateMulangExpectations(
-    mulangYamlString: string
+    mulangYamlString: string,
   ): InspectionRule[] {
     if (!mulangYamlString) return [];
     const parsedYaml = parseDocument(mulangYamlString).toJS();
@@ -65,17 +91,23 @@ export class MulangAdapter {
       expectations = parsedYaml.expectations;
     } else {
       throw new Error(
-        "Invalid Mulang YAML structure. Expected 'expectations' to be an array."
+        "Invalid Mulang YAML structure. Expected 'expectations' to be an array.",
       );
     }
 
-    const inspectionRules: InspectionRule[] = [];
+    const inspectionRules: InspectionRule[] = expectations.map((insp) =>
+      this.translateMulangInspection(insp),
+    );
+    return inspectionRules;
+  }
 
-    for (const mulangInspection of expectations) {
-      const inspection = this.translateMulangInspection(mulangInspection);
-      inspectionRules.push(inspection);
-    }
+  private translateV0Inspection(inspection: string): string {
+    if (V0_INSPECTIONS_Declares.has(inspection))
+      return V0_INSPECTIONS_Declares.get(inspection)!;
 
-    return inspectionRules;
+    if (V0_INSPECTIONS_Has.includes(inspection))
+      return inspection.replace("Has", "Uses");
+
+    return inspection;
   }
 }

package/tests/analyzer/helpers.spec.ts

@@ -33,7 +33,7 @@ expectations:
       mulangAdapter.translateMulangExpectations(mulangExpectations);
     assert.deepEqual(yukigoExpectations, [
       {
-        inspection: "HasBinding",
+        inspection: "Declares",
         binding: "squareList",
         args: [],
         expected: true,
@@ -51,7 +51,7 @@ expectations:
         expected: true,
       },
       {
-        inspection: "HasBinding",
+        inspection: "Declares",
         binding: "doble",
         args: [],
         expected: false,

package/tests/tester/Tester.spec.ts

@@ -153,36 +153,4 @@ describe("Tester class", () => {
     expect(results[0].status).to.equal("error");
     expect(results[0].message).to.contain("Type mismatch");
   });
-  it("TEMP", () => {
-    const func = new Function(new SymbolPrimitive("cantidadDiasEnero"), [
-      new Equation(
-        [],
-        new UnguardedBody(new Sequence([new Return(new NumberPrimitive(23))])),
-      ),
-    ]);
-    // test "Error" { 1 + "a" }
-    const errorTest = new TestGroup(
-      new StringPrimitive("cantidadDiasEnero"),
-      new Sequence([
-        new Test(
-          new StringPrimitive("es igual a 31"),
-          new Sequence([
-            new Assert(
-              new BooleanPrimitive(false),
-              new Equality(
-                new NumberPrimitive(31),
-                new SymbolPrimitive("cantidadDiasEnero"),
-              ),
-            ),
-          ]),
-          [],
-        ),
-      ]),
-    );
-
-    const tester = new Tester([func]);
-    const results = tester.test([errorTest]);
-
-    console.log(results)
-  });
 });