yukigo 0.2.2 → 0.2.3

package/CHANGELOG.md

@@ -1,3 +1,13 @@
+## 0.2.3 (2026-05-02)
+
+### 🩹 Fixes
+
+- **yukigo:** fix bugs on MulangAdapter ([7fc193d](https://github.com/miyukiproject/yukigo/commit/7fc193d))
+
+### ❤️ Thank You
+
+- noiseArch
+
 ## 0.2.2 (2026-05-01)
 
 ### 🩹 Fixes

package/dist/analyzer/inspections/generic/generic.d.ts

@@ -24,7 +24,6 @@ export declare class Declares extends ScopedVisitor {
     visitVariable(node: Variable): void;
     visitAttribute(node: Attribute): void;
     visitTypeAlias(node: TypeAlias): void;
-    visitTypeSignature(node: TypeSignature): void;
 }
 export declare class DeclaresComputation extends ScopedVisitor {
     private readonly callName;
@@ -62,7 +61,7 @@ export declare class DeclaresRecursively extends ScopedVisitor {
     visitRule(node: Rule): void;
     visitNested(node: ASTNode): void;
 }
-export declare class HasDirectRecursion extends TraverseVisitor {
+export declare class UsesDirectRecursion extends TraverseVisitor {
     private readonly binding;
     private isInsideBody;
     constructor(binding: string);

package/dist/analyzer/inspections/generic/generic.js

@@ -88,9 +88,6 @@ let Declares = class Declares extends ScopedVisitor {
     visitTypeAlias(node) {
         this.check(node);
     }
-    visitTypeSignature(node) {
-        this.check(node);
-    }
 };
 Declares = __decorate([
     AutoScoped
@@ -215,7 +212,7 @@ DeclaresRecursively = __decorate([
     AutoScoped
 ], DeclaresRecursively);
 export { DeclaresRecursively };
-export class HasDirectRecursion extends TraverseVisitor {
+export class UsesDirectRecursion extends TraverseVisitor {
     binding;
     isInsideBody = false;
     constructor(binding) {
@@ -576,7 +573,7 @@ export const genericInspections = {
     DeclaresEntryPoint: DeclaresEntryPoint,
     DeclaresFunction: DeclaresFunction,
     DeclaresRecursively: DeclaresRecursively,
-    HasDirectRecursion: HasDirectRecursion,
+    UsesDirectRecursion: UsesDirectRecursion,
     DeclaresTypeAlias: DeclaresTypeAlias,
     DeclaresTypeSignature: DeclaresTypeSignature,
     HasTypeSignature: DeclaresTypeSignature,

package/dist/utils/helpers.js

@@ -4,8 +4,14 @@ const declareMap = {
     HasTypeDeclaration: "DeclaresTypeAlias",
     HasTypeSignature: "DeclaresTypeSignature",
     HasVariable: "DeclaresVariable",
-    HasDirectRecursion: "DeclaresRecursively",
 };
+const V0_HAS_INSPECTIONS = new Set([
+    "HasBinding", "HasTypeDeclaration", "HasTypeSignature", "HasVariable",
+    "HasArity", "HasDirectRecursion", "HasComposition", "HasComprehension",
+    "HasForeach", "HasIf", "HasGuards", "HasConditional", "HasLambda",
+    "HasRepeat", "HasWhile", "HasUsage", "HasAnonymousVariable",
+    "HasNot", "HasForall", "HasFindall",
+]);
 const NEGATION_PREFIXES = new Set(["Not", "Except"]);
 const SUFFIX_ARGS = new Set(["like", "except"]);
 const isValidFormat = (inspection) => typeof inspection === "object" &&
@@ -79,15 +85,12 @@ export class MulangAdapter {
             };
         if (inspection === "HasArity")
             return {
-                inspection: `DeclaresComputationWithArity${args[0]}`,
-                ...promoteBindingToTarget([], binding),
-            };
-        if (inspection.startsWith("Has"))
-            return {
-                inspection: inspection.replace(/^Has(Usage)?/, (_, usage) => usage ? "Uses" : "Uses"),
-                args,
-                binding,
+                inspection: "DeclaresComputationWithArity",
+                args: [args[0], ...(binding && binding !== "*" ? [binding] : [])],
+                binding: "*",
             };
+        if (V0_HAS_INSPECTIONS.has(inspection))
+            return { inspection: inspection === "HasUsage" ? "Uses" : inspection.replace(/^Has/, "Uses"), args, binding };
         return { inspection, args, binding };
     }
     retrieveArguments(args) {

package/package.json

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

package/src/analyzer/inspections/generic/generic.ts

@@ -119,10 +119,6 @@ export class Declares extends ScopedVisitor {
   visitTypeAlias(node: TypeAlias): void {
     this.check(node);
   }
-
-  visitTypeSignature(node: TypeSignature): void {
-    this.check(node);
-  }
 }
 @AutoScoped
 export class DeclaresComputation extends ScopedVisitor {
@@ -234,7 +230,7 @@ export class DeclaresRecursively extends ScopedVisitor {
       throw new StopTraversalException();
   }
 }
-export class HasDirectRecursion extends TraverseVisitor {
+export class UsesDirectRecursion extends TraverseVisitor {
   private isInsideBody: boolean = false;
   constructor(private readonly binding: string) {
     super();
@@ -553,7 +549,7 @@ export const genericInspections: Record<string, VisitorConstructor> = {
   DeclaresEntryPoint: DeclaresEntryPoint,
   DeclaresFunction: DeclaresFunction,
   DeclaresRecursively: DeclaresRecursively,
-  HasDirectRecursion: HasDirectRecursion,
+  UsesDirectRecursion: UsesDirectRecursion,
   DeclaresTypeAlias: DeclaresTypeAlias,
   DeclaresTypeSignature: DeclaresTypeSignature,
   HasTypeSignature: DeclaresTypeSignature,

package/src/utils/helpers.ts

@@ -9,8 +9,14 @@ const declareMap: Record<string, string> = {
   HasTypeDeclaration: "DeclaresTypeAlias",
   HasTypeSignature: "DeclaresTypeSignature",
   HasVariable: "DeclaresVariable",
-  HasDirectRecursion: "DeclaresRecursively",
 };
+const V0_HAS_INSPECTIONS = new Set([
+  "HasBinding", "HasTypeDeclaration", "HasTypeSignature", "HasVariable",
+  "HasArity", "HasDirectRecursion", "HasComposition", "HasComprehension",
+  "HasForeach", "HasIf", "HasGuards", "HasConditional", "HasLambda",
+  "HasRepeat", "HasWhile", "HasUsage", "HasAnonymousVariable",
+  "HasNot", "HasForall", "HasFindall",
+]);
 
 type MulangInspection = {
   inspection: string;
@@ -113,18 +119,13 @@ export class MulangAdapter {
 
     if (inspection === "HasArity")
       return {
-        inspection: `DeclaresComputationWithArity${args[0]}`,
-        ...promoteBindingToTarget([], binding),
+        inspection: "DeclaresComputationWithArity",
+        args: [args[0], ...(binding && binding !== "*" ? [binding] : [])],
+        binding: "*",
       };
 
-    if (inspection.startsWith("Has"))
-      return {
-        inspection: inspection.replace(/^Has(Usage)?/, (_, usage) =>
-          usage ? "Uses" : "Uses",
-        ),
-        args,
-        binding,
-      };
+    if (V0_HAS_INSPECTIONS.has(inspection))
+      return { inspection: inspection === "HasUsage" ? "Uses" : inspection.replace(/^Has/, "Uses"), args, binding };
 
     return { inspection, args, binding };
   }

package/tests/analyzer/helpers.spec.ts

@@ -12,10 +12,10 @@ expectations:
     inspection: HasBinding
   - !ruby/hash:ActiveSupport::HashWithIndifferentAccess
     binding: squareList
-    inspection: HasLambdaExpression
+    inspection: HasLambda
   - !ruby/hash:ActiveSupport::HashWithIndifferentAccess
     binding: square
-    inspection: HasArithmetic
+    inspection: UsesArithmetic
   - !ruby/hash:ActiveSupport::HashWithIndifferentAccess
     binding: doble
     inspection: Not:HasBinding
@@ -41,7 +41,7 @@ expectations:
         targetSuffix: "named",
       },
       {
-        inspection: "UsesLambdaExpression",
+        inspection: "UsesLambda",
         binding: "squareList",
         args: [],
         expected: true,