yukigo-ast 0.2.1 → 0.3.2

package/dist/globals/operators.js

@@ -14,7 +14,7 @@ export class ArithmeticUnaryOperation extends ASTNode {
         this.operand = operand;
     }
     accept(visitor) {
-        return visitor.visitArithmeticUnaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitArithmeticUnaryOperation);
     }
     toJSON() {
         return {
@@ -42,7 +42,7 @@ export class ArithmeticBinaryOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitArithmeticBinaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitArithmeticBinaryOperation);
     }
     toJSON() {
         return {
@@ -68,7 +68,7 @@ export class ListUnaryOperation extends ASTNode {
         this.operand = operand;
     }
     accept(visitor) {
-        return visitor.visitListUnaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitListUnaryOperation);
     }
     toJSON() {
         return {
@@ -96,7 +96,7 @@ export class ListBinaryOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitListBinaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitListBinaryOperation);
     }
     toJSON() {
         return {
@@ -125,7 +125,7 @@ export class ComparisonOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitComparisonOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitComparisonOperation);
     }
     toJSON() {
         return {
@@ -154,7 +154,7 @@ export class LogicalBinaryOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitLogicalBinaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitLogicalBinaryOperation);
     }
     toJSON() {
         return {
@@ -180,7 +180,7 @@ export class LogicalUnaryOperation extends ASTNode {
         this.operand = operand;
     }
     accept(visitor) {
-        return visitor.visitLogicalUnaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitLogicalUnaryOperation);
     }
     toJSON() {
         return {
@@ -208,7 +208,7 @@ export class BitwiseBinaryOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitBitwiseBinaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitBitwiseBinaryOperation);
     }
     toJSON() {
         return {
@@ -234,7 +234,7 @@ export class BitwiseUnaryOperation extends ASTNode {
         this.operand = operand;
     }
     accept(visitor) {
-        return visitor.visitBitwiseUnaryOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitBitwiseUnaryOperation);
     }
     toJSON() {
         return {
@@ -262,7 +262,7 @@ export class StringOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitStringOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitStringOperation);
     }
     toJSON() {
         return {
@@ -294,7 +294,7 @@ export class UnifyOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitUnifyOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitUnifyOperation);
     }
     toJSON() {
         return {
@@ -323,7 +323,7 @@ export class AssignOperation extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitAssignOperation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitAssignOperation);
     }
     toJSON() {
         return {

package/dist/globals/patterns.d.ts

@@ -1,5 +1,5 @@
 import { Visitor } from "../visitor/index.js";
-import { ASTNode, SourceLocation } from "./generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "./generics.js";
 import { ListPrimitive, Primitive, SymbolPrimitive } from "./primitives.js";
 import { Type } from "./types.js";
 type NamedPatternKind = "VariablePattern" | "LiteralPattern";
@@ -10,27 +10,14 @@ type YukigoPattern = NamedPatternKind | ArgsPatternKind | ListBasedPatternKind |
 declare abstract class BasePattern extends ASTNode {
     constructor(loc?: SourceLocation);
     protected abstract get jsonType(): YukigoPattern;
+    abstract toString(): string;
 }
 declare abstract class NamedPattern<T extends Primitive | SymbolPrimitive> extends BasePattern {
     name: T;
     constructor(name: T, loc?: SourceLocation);
     protected abstract get jsonType(): NamedPatternKind;
-    toJSON(): {
-        type: NamedPatternKind;
-        name: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: number;
-        } | {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: boolean;
-        } | {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        } | {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: import("./expressions.js").Expression[];
-        };
-    };
+    abstract toString(): string;
+    toJSON(): SerializeNode;
 }
 declare abstract class ArgsPattern extends BasePattern {
     /** @hidden */
@@ -39,14 +26,16 @@ declare abstract class ArgsPattern extends BasePattern {
     args: Pattern[];
     constructor(identifier: SymbolPrimitive, args: Pattern[], loc?: SourceLocation);
     protected abstract get jsonType(): ArgsPatternKind;
-    toJSON(): any;
+    abstract toString(): string;
+    toJSON(): SerializeNode;
 }
 declare abstract class ListBasedPattern extends BasePattern {
     /** @hidden */
     elements: Pattern[];
     constructor(elements: Pattern[], loc?: SourceLocation);
     protected abstract get jsonType(): ListBasedPatternKind;
-    toJSON(): any;
+    abstract toString(): string;
+    toJSON(): SerializeNode;
 }
 declare abstract class BinaryPattern extends BasePattern {
     /** @hidden */
@@ -55,7 +44,8 @@ declare abstract class BinaryPattern extends BasePattern {
     right: Pattern;
     constructor(left: Pattern, right: Pattern, loc?: SourceLocation);
     protected abstract get jsonType(): BinaryPatternKind;
-    toJSON(): any;
+    abstract toString(): string;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a pattern that matches any value and binds it to a variable.
@@ -68,6 +58,7 @@ export declare class VariablePattern extends NamedPattern<SymbolPrimitive> {
     protected get jsonType(): NamedPatternKind;
     constructor(name: SymbolPrimitive, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 type LiteralPrimitive = Exclude<Primitive, ListPrimitive>;
 /**
@@ -78,6 +69,7 @@ export declare class LiteralPattern extends NamedPattern<LiteralPrimitive> {
     protected get jsonType(): NamedPatternKind;
     constructor(name: LiteralPrimitive, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching a function application or constructor with arguments.
@@ -87,6 +79,7 @@ export declare class ApplicationPattern extends ArgsPattern {
     protected get jsonType(): ArgsPatternKind;
     constructor(symbol: SymbolPrimitive, args: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching a tuple structure.
@@ -96,6 +89,7 @@ export declare class TuplePattern extends ListBasedPattern {
     protected get jsonType(): ListBasedPatternKind;
     constructor(elements: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching a list structure.
@@ -108,6 +102,7 @@ export declare class ListPattern extends ListBasedPattern {
     protected get jsonType(): ListBasedPatternKind;
     constructor(elements: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching a functor or compound term.
@@ -117,6 +112,7 @@ export declare class FunctorPattern extends ArgsPattern {
     protected get jsonType(): ArgsPatternKind;
     constructor(symbol: SymbolPrimitive, args: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents an alias pattern (e.g., x@pat), binding the whole value to a name while matching inner patterns.
@@ -129,6 +125,7 @@ export declare class AsPattern extends BinaryPattern {
     protected get jsonType(): BinaryPatternKind;
     constructor(left: VariablePattern | WildcardPattern, right: Pattern, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a wildcard pattern (_), which matches anything and discards the value.
@@ -140,10 +137,8 @@ export declare class AsPattern extends BinaryPattern {
 export declare class WildcardPattern extends BasePattern {
     protected get jsonType(): YukigoPattern;
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        name: string;
-    };
+    toJSON(): SerializeNode;
+    toString(): string;
 }
 /**
  * Represents a union of patterns, matching if any of the sub-patterns match.
@@ -153,6 +148,7 @@ export declare class UnionPattern extends ListBasedPattern {
     protected get jsonType(): ListBasedPatternKind;
     constructor(patterns: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching a specific data constructor.
@@ -165,6 +161,7 @@ export declare class ConstructorPattern extends ArgsPattern {
     protected get jsonType(): ArgsPatternKind;
     constructor(symbol: SymbolPrimitive, args: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching the head and tail of a list (x:xs).
@@ -174,6 +171,7 @@ export declare class ConsPattern extends BinaryPattern {
     protected get jsonType(): BinaryPatternKind;
     constructor(left: Pattern, right: Pattern, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
+    toString(): string;
 }
 /**
  * Represents a pattern matching a value by its type.
@@ -187,7 +185,8 @@ export declare class TypePattern extends BasePattern {
     innerPattern?: Pattern;
     constructor(targetType: Type, innerPattern?: Pattern, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
+    toString(): string;
 }
 export type Pattern = VariablePattern | LiteralPattern | ApplicationPattern | TuplePattern | ListPattern | FunctorPattern | AsPattern | WildcardPattern | ConstructorPattern | UnionPattern | ConsPattern | TypePattern;
 export declare function isPattern(node: ASTNode): node is Pattern;

package/dist/globals/patterns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../src/globals/patterns.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,KAAK,gBAAgB,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AAC7D,KAAK,eAAe,GAChB,oBAAoB,GACpB,gBAAgB,GAChB,oBAAoB,CAAC;AACzB,KAAK,oBAAoB,GAAG,cAAc,GAAG,aAAa,GAAG,cAAc,CAAC;AAC5E,KAAK,iBAAiB,GAAG,WAAW,GAAG,aAAa,CAAC;AAErD,KAAK,aAAa,GACd,gBAAgB,GAChB,eAAe,GACf,oBAAoB,GACpB,iBAAiB,GACjB,iBAAiB,GACjB,aAAa,CAAC;AAElB,uBAAe,WAAY,SAAQ,OAAO;gBAC5B,GAAG,CAAC,EAAE,cAAc;IAGhC,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,aAAa,CAAC;CAClD;AAED,uBAAe,YAAY,CACzB,CAAC,SAAS,SAAS,GAAG,eAAe,CACrC,SAAQ,WAAW;IACZ,IAAI,EAAE,CAAC,CAAC;gBACH,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIzC,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,gBAAgB,CAAC;IAC7C,MAAM;;;;;;;;;;;;;;;;CAMd;AACD,uBAAe,WAAY,SAAQ,WAAW;IAC5C,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;IACnC,cAAc;IACP,IAAI,EAAE,OAAO,EAAE,CAAC;gBAErB,UAAU,EAAE,eAAe,EAC3B,IAAI,EAAE,OAAO,EAAE,EACf,GAAG,CAAC,EAAE,cAAc;IAMtB,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,eAAe,CAAC;IAC5C,MAAM;CAOd;AACD,uBAAe,gBAAiB,SAAQ,WAAW;IACjD,cAAc;IACP,QAAQ,EAAE,OAAO,EAAE,CAAC;gBACf,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAIrD,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,oBAAoB,CAAC;IACjD,MAAM;CAMd;AACD,uBAAe,aAAc,SAAQ,WAAW;IAC9C,cAAc;IACP,IAAI,EAAE,OAAO,CAAC;IACrB,cAAc;IACP,KAAK,EAAE,OAAO,CAAC;gBACV,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAK/D,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,iBAAiB,CAAC;IAC9C,MAAM;CAOd;AAED;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,YAAY,CAAC,eAAe,CAAC;IAChE,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAEzC;gBACW,IAAI,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,cAAc;IAGhD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED,KAAK,gBAAgB,GAAG,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAC1D;;;GAGG;AACH,qBAAa,cAAe,SAAQ,YAAY,CAAC,gBAAgB,CAAC;IAChE,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAEzC;gBACW,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,cAAc;IAGjD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AACD;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,WAAW;IACjD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;gBACW,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAGnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,gBAAgB;IAChD,SAAS,KAAK,QAAQ,IAAI,oBAAoB,CAE7C;gBACW,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAG9C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,gBAAgB;IAC/C,SAAS,KAAK,QAAQ,IAAI,oBAAoB,CAE7C;gBACW,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAG9C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,cAAe,SAAQ,WAAW;IAC7C,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;gBACW,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAGnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,aAAa;IAC1C,SAAS,KAAK,QAAQ,IAAI,iBAAiB,CAE1C;gBAEC,IAAI,EAAE,eAAe,GAAG,eAAe,EACvC,KAAK,EAAE,OAAO,EACd,GAAG,CAAC,EAAE,cAAc;IAIf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,WAAW;IAC9C,SAAS,KAAK,QAAQ,IAAI,aAAa,CAEtC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,gBAAgB;IAChD,SAAS,KAAK,QAAQ,IAAI,oBAAoB,CAE7C;gBACW,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAG9C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;;;;GAMG;AACH,qBAAa,kBAAmB,SAAQ,WAAW;IACjD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;gBACW,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAGnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,aAAa;IAC5C,SAAS,KAAK,QAAQ,IAAI,iBAAiB,CAE1C;gBACW,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAGxD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,WAAW;IAC1C,SAAS,KAAK,QAAQ,IAAI,aAAa,CAEtC;IACD,cAAc;IACP,UAAU,EAAE,IAAI,CAAC;IACxB,cAAc;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;gBAElB,UAAU,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAKnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOd;AAED,MAAM,MAAM,OAAO,GACf,eAAe,GACf,cAAc,GACd,kBAAkB,GAClB,YAAY,GACZ,WAAW,GACX,cAAc,GACd,SAAS,GACT,eAAe,GACf,kBAAkB,GAClB,YAAY,GACZ,WAAW,GACX,WAAW,CAAC;AAEhB,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,OAAO,CAExD"}
+{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../src/globals/patterns.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,KAAK,gBAAgB,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AAC7D,KAAK,eAAe,GAChB,oBAAoB,GACpB,gBAAgB,GAChB,oBAAoB,CAAC;AACzB,KAAK,oBAAoB,GAAG,cAAc,GAAG,aAAa,GAAG,cAAc,CAAC;AAC5E,KAAK,iBAAiB,GAAG,WAAW,GAAG,aAAa,CAAC;AAErD,KAAK,aAAa,GACd,gBAAgB,GAChB,eAAe,GACf,oBAAoB,GACpB,iBAAiB,GACjB,iBAAiB,GACjB,aAAa,CAAC;AAElB,uBAAe,WAAY,SAAQ,OAAO;gBAC5B,GAAG,CAAC,EAAE,cAAc;IAGhC,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,aAAa,CAAC;aACjC,QAAQ,IAAI,MAAM;CACnC;AAED,uBAAe,YAAY,CACzB,CAAC,SAAS,SAAS,GAAG,eAAe,CACrC,SAAQ,WAAW;IACZ,IAAI,EAAE,CAAC,CAAC;gBACH,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIzC,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,gBAAgB,CAAC;aACpC,QAAQ,IAAI,MAAM;IAC3B,MAAM,IAAI,aAAa;CAM/B;AACD,uBAAe,WAAY,SAAQ,WAAW;IAC5C,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;IACnC,cAAc;IACP,IAAI,EAAE,OAAO,EAAE,CAAC;gBAErB,UAAU,EAAE,eAAe,EAC3B,IAAI,EAAE,OAAO,EAAE,EACf,GAAG,CAAC,EAAE,cAAc;IAMtB,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,eAAe,CAAC;aACnC,QAAQ,IAAI,MAAM;IAC3B,MAAM,IAAI,aAAa;CAO/B;AACD,uBAAe,gBAAiB,SAAQ,WAAW;IACjD,cAAc;IACP,QAAQ,EAAE,OAAO,EAAE,CAAC;gBACf,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAIrD,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,oBAAoB,CAAC;aACxC,QAAQ,IAAI,MAAM;IAC3B,MAAM,IAAI,aAAa;CAM/B;AACD,uBAAe,aAAc,SAAQ,WAAW;IAC9C,cAAc;IACP,IAAI,EAAE,OAAO,CAAC;IACrB,cAAc;IACP,KAAK,EAAE,OAAO,CAAC;gBACV,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAK/D,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,iBAAiB,CAAC;aACrC,QAAQ,IAAI,MAAM;IAC3B,MAAM,IAAI,aAAa;CAO/B;AAED;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,YAAY,CAAC,eAAe,CAAC;IAChE,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAEzC;gBACW,IAAI,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,cAAc;IAGhD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAG1B;AAED,KAAK,gBAAgB,GAAG,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAC1D;;;GAGG;AACH,qBAAa,cAAe,SAAQ,YAAY,CAAC,gBAAgB,CAAC;IAChE,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAEzC;gBACW,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,cAAc;IAGjD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAI1B;AACD;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,WAAW;IACjD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;gBACW,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAGnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAK1B;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,gBAAgB;IAChD,SAAS,KAAK,QAAQ,IAAI,oBAAoB,CAE7C;gBACW,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAG9C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAG1B;AAED;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,gBAAgB;IAC/C,SAAS,KAAK,QAAQ,IAAI,oBAAoB,CAE7C;gBACW,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAG9C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAM1B;AAED;;;GAGG;AACH,qBAAa,cAAe,SAAQ,WAAW;IAC7C,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;gBACW,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAGnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAK1B;AAED;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,aAAa;IAC1C,SAAS,KAAK,QAAQ,IAAI,iBAAiB,CAE1C;gBAEC,IAAI,EAAE,eAAe,GAAG,eAAe,EACvC,KAAK,EAAE,OAAO,EACd,GAAG,CAAC,EAAE,cAAc;IAIf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAK1B;AAED;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,WAAW;IAC9C,SAAS,KAAK,QAAQ,IAAI,aAAa,CAEtC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;IAMvB,QAAQ,IAAI,MAAM;CAG1B;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,gBAAgB;IAChD,SAAS,KAAK,QAAQ,IAAI,oBAAoB,CAE7C;gBACW,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAG9C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAI1B;AAED;;;;;;GAMG;AACH,qBAAa,kBAAmB,SAAQ,WAAW;IACjD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;gBACW,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAGnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAK1B;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,aAAa;IAC5C,SAAS,KAAK,QAAQ,IAAI,iBAAiB,CAE1C;gBACW,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAGxD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;CAK1B;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,WAAW;IAC1C,SAAS,KAAK,QAAQ,IAAI,aAAa,CAEtC;IACD,cAAc;IACP,UAAU,EAAE,IAAI,CAAC;IACxB,cAAc;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;gBAElB,UAAU,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAKnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;IAOvB,QAAQ,IAAI,MAAM;CAM1B;AAED,MAAM,MAAM,OAAO,GACf,eAAe,GACf,cAAc,GACd,kBAAkB,GAClB,YAAY,GACZ,WAAW,GACX,cAAc,GACd,SAAS,GACT,eAAe,GACf,kBAAkB,GAClB,YAAY,GACZ,WAAW,GACX,WAAW,CAAC;AAEhB,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,OAAO,CAExD"}

package/dist/globals/patterns.js

@@ -82,7 +82,10 @@ export class VariablePattern extends NamedPattern {
         super(name, loc);
     }
     accept(visitor) {
-        return visitor.visitVariablePattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitVariablePattern);
+    }
+    toString() {
+        return this.name.value;
     }
 }
 /**
@@ -97,7 +100,11 @@ export class LiteralPattern extends NamedPattern {
         super(name, loc);
     }
     accept(visitor) {
-        return visitor.visitLiteralPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitLiteralPattern);
+    }
+    toString() {
+        const { name } = this;
+        return String(name.value);
     }
 }
 /**
@@ -112,7 +119,12 @@ export class ApplicationPattern extends ArgsPattern {
         super(symbol, args, loc);
     }
     accept(visitor) {
-        return visitor.visitApplicationPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitApplicationPattern);
+    }
+    toString() {
+        const constr = this.identifier.value;
+        const args = this.args.map((pat) => pat.toString()).join(" ");
+        return `${constr} ${args}`;
     }
 }
 /**
@@ -127,7 +139,10 @@ export class TuplePattern extends ListBasedPattern {
         super(elements, loc);
     }
     accept(visitor) {
-        return visitor.visitTuplePattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTuplePattern);
+    }
+    toString() {
+        return `(${this.elements.map((e) => e.toString()).join(", ")})`;
     }
 }
 /**
@@ -145,7 +160,13 @@ export class ListPattern extends ListBasedPattern {
         super(elements, loc);
     }
     accept(visitor) {
-        return visitor.visitListPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitListPattern);
+    }
+    toString() {
+        const { elements } = this;
+        if (elements.length === 0)
+            return "[]";
+        return `[${this.elements.map((e) => e.toString()).join(", ")}]`;
     }
 }
 /**
@@ -160,7 +181,12 @@ export class FunctorPattern extends ArgsPattern {
         super(symbol, args, loc);
     }
     accept(visitor) {
-        return visitor.visitFunctorPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitFunctorPattern);
+    }
+    toString() {
+        const constr = this.identifier.value;
+        const args = this.args.map((pat) => pat.toString()).join(" ");
+        return `${constr} ${args}`;
     }
 }
 /**
@@ -178,7 +204,12 @@ export class AsPattern extends BinaryPattern {
         super(left, right, loc);
     }
     accept(visitor) {
-        return visitor.visitAsPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitAsPattern);
+    }
+    toString() {
+        const alias = this.left.toString();
+        const pattern = this.right.toString();
+        return `${alias}@${pattern}`;
     }
 }
 /**
@@ -193,7 +224,7 @@ export class WildcardPattern extends BasePattern {
         return "WildcardPattern";
     }
     accept(visitor) {
-        return visitor.visitWildcardPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitWildcardPattern);
     }
     toJSON() {
         return {
@@ -201,6 +232,9 @@ export class WildcardPattern extends BasePattern {
             name: "_",
         };
     }
+    toString() {
+        return "_";
+    }
 }
 /**
  * Represents a union of patterns, matching if any of the sub-patterns match.
@@ -214,7 +248,11 @@ export class UnionPattern extends ListBasedPattern {
         super(patterns, loc);
     }
     accept(visitor) {
-        return visitor.visitUnionPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitUnionPattern);
+    }
+    toString() {
+        const inner = this.elements.map((pat) => pat.toString()).join(" | ");
+        return `(${inner})`;
     }
 }
 /**
@@ -232,7 +270,12 @@ export class ConstructorPattern extends ArgsPattern {
         super(symbol, args, loc);
     }
     accept(visitor) {
-        return visitor.visitConstructorPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitConstructorPattern);
+    }
+    toString() {
+        const constr = this.identifier.value;
+        const args = this.args.map((pat) => pat.toString()).join(" ");
+        return `${constr} ${args}`;
     }
 }
 /**
@@ -247,7 +290,12 @@ export class ConsPattern extends BinaryPattern {
         super(left, right, loc);
     }
     accept(visitor) {
-        return visitor.visitConsPattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitConsPattern);
+    }
+    toString() {
+        const head = this.left.toString();
+        const tail = this.right.toString();
+        return `(${head}:${tail})`;
     }
 }
 /**
@@ -268,7 +316,7 @@ export class TypePattern extends BasePattern {
         this.innerPattern = innerPattern;
     }
     accept(visitor) {
-        return visitor.visitTypePattern?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTypePattern);
     }
     toJSON() {
         return {
@@ -277,6 +325,12 @@ export class TypePattern extends BasePattern {
             innerPattern: this.innerPattern?.toJSON(),
         };
     }
+    toString() {
+        const typeStr = this.targetType.toString();
+        return this.innerPattern
+            ? `(${typeStr} ${this.innerPattern.toString()})`
+            : typeStr;
+    }
 }
 export function isPattern(node) {
     return node instanceof BasePattern;

package/dist/globals/primitives.d.ts

@@ -1,6 +1,6 @@
 import { Visitor } from "../visitor/index.js";
 import { Expression } from "./expressions.js";
-import { ASTNode, SourceLocation } from "./generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "./generics.js";
 export type YukigoPrimitive = "YuNumber" | "YuSymbol" | "YuList" | "YuString" | "YuChar" | "YuNil" | "YuBoolean";
 /**
  * Abstract base class for all Primitives to reduce boilerplate.
@@ -16,10 +16,7 @@ declare abstract class BasePrimitive<T> extends ASTNode {
      * Generic equality check.
      */
     equals(other: Primitive): boolean;
-    toJSON(): {
-        type: YukigoPrimitive;
-        value: T;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Generic number primitive

package/dist/globals/primitives.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/globals/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAExD,MAAM,MAAM,eAAe,GACvB,UAAU,GACV,UAAU,GACV,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,OAAO,GACP,WAAW,CAAC;AAEhB;;;GAGG;AACH,uBAAe,aAAa,CAAC,CAAC,CAAE,SAAQ,OAAO;IACtC,KAAK,EAAE,CAAC,CAAC;gBAEJ,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,cAAc;IAK1C,oEAAoE;IACpE,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,eAAe,CAAC;aAEnC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAEjD;;OAEG;IACI,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO;IAKjC,MAAM;;;;CAMd;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IAEM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,gBAAiB,SAAQ,aAAa,CAAC,OAAO,CAAC;IAC1D,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IAEM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,aAAa,CAAC,MAAM,CAAC;IACtD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,aAAa,CAAC,SAAS,GAAG,IAAI,CAAC;IAC/D,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,aAAa,CAAC,UAAU,EAAE,CAAC;IAC5D,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IAEM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAIxB,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO;CAalD;AAED,MAAM,MAAM,SAAS,GACjB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,eAAe,GACf,YAAY,GACZ,eAAe,GACf,aAAa,CAAC;AAElB;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,SAAS,CAElE"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/globals/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEvE,MAAM,MAAM,eAAe,GACvB,UAAU,GACV,UAAU,GACV,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,OAAO,GACP,WAAW,CAAC;AAEhB;;;GAGG;AACH,uBAAe,aAAa,CAAC,CAAC,CAAE,SAAQ,OAAO;IACtC,KAAK,EAAE,CAAC,CAAC;gBAEJ,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,cAAc;IAK1C,oEAAoE;IACpE,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,eAAe,CAAC;aAEnC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAEjD;;OAEG;IACI,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO;IAKjC,MAAM,IAAI,aAAa;CAM/B;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IAEM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,gBAAiB,SAAQ,aAAa,CAAC,OAAO,CAAC;IAC1D,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IAEM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,aAAa,CAAC,MAAM,CAAC;IACtD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,aAAa,CAAC,SAAS,GAAG,IAAI,CAAC;IAC/D,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IACM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;CAGzC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,aAAa,CAAC,UAAU,EAAE,CAAC;IAC5D,SAAS,KAAK,QAAQ,IAAI,eAAe,CAExC;IAEM,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAIxB,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO;CAalD;AAED,MAAM,MAAM,SAAS,GACjB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,eAAe,GACf,YAAY,GACZ,eAAe,GACf,aAAa,CAAC;AAElB;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,SAAS,CAElE"}

package/dist/globals/primitives.js

@@ -33,7 +33,7 @@ export class NumberPrimitive extends BasePrimitive {
         return "YuNumber";
     }
     accept(visitor) {
-        return visitor.visitNumberPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitNumberPrimitive);
     }
 }
 /**
@@ -45,7 +45,7 @@ export class BooleanPrimitive extends BasePrimitive {
         return "YuBoolean";
     }
     accept(visitor) {
-        return visitor.visitBooleanPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitBooleanPrimitive);
     }
 }
 /**
@@ -57,7 +57,7 @@ export class CharPrimitive extends BasePrimitive {
         return "YuChar";
     }
     accept(visitor) {
-        return visitor.visitCharPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitCharPrimitive);
     }
 }
 /**
@@ -69,7 +69,7 @@ export class StringPrimitive extends BasePrimitive {
         return "YuString";
     }
     accept(visitor) {
-        return visitor.visitStringPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitStringPrimitive);
     }
 }
 /**
@@ -81,7 +81,7 @@ export class NilPrimitive extends BasePrimitive {
         return "YuNil";
     }
     accept(visitor) {
-        return visitor.visitNilPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitNilPrimitive);
     }
 }
 /**
@@ -93,7 +93,7 @@ export class SymbolPrimitive extends BasePrimitive {
         return "YuSymbol";
     }
     accept(visitor) {
-        return visitor.visitSymbolPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitSymbolPrimitive);
     }
 }
 /**
@@ -105,7 +105,7 @@ export class ListPrimitive extends BasePrimitive {
         return "YuList";
     }
     accept(visitor) {
-        return visitor.visitListPrimitive?.(this);
+        return this.dispatchVisit(visitor, visitor.visitListPrimitive);
     }
     equals(other) {
         if (!(other instanceof ListPrimitive))