yukigo-ast 0.2.1 → 0.3.2

package/dist/globals/statements.d.ts

@@ -1,4 +1,4 @@
-import { ASTNode, SourceLocation } from "./generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "./generics.js";
 import { Visitor } from "../visitor/index.js";
 import { Expression } from "./expressions.js";
 import { SymbolPrimitive } from "./primitives.js";
@@ -25,12 +25,7 @@ export declare class If extends ASTNode {
     condition: Expression;
     constructor(condition: Expression, then: Expression, elseExpr: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        condition: any;
-        then: any;
-        else: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Generic return statement.
@@ -49,10 +44,7 @@ export declare class Return extends ASTNode {
     body?: Expression;
     constructor(body?: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Generic field in a Record statement.
@@ -68,14 +60,7 @@ export declare class Field extends ASTNode {
     name: SymbolPrimitive | undefined;
     constructor(name: SymbolPrimitive | undefined, value: Type, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        name: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        value: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Generic constructor node.
@@ -91,21 +76,7 @@ export declare class Constructor extends ASTNode {
     name: SymbolPrimitive;
     constructor(name: SymbolPrimitive, fields: Field[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        name: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        fields: {
-            type: string;
-            name: {
-                type: import("./primitives.js").YukigoPrimitive;
-                value: string;
-            };
-            value: any;
-        }[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Generic Record statement node.
@@ -123,32 +94,7 @@ export declare class Record extends ASTNode {
     name: SymbolPrimitive;
     constructor(name: SymbolPrimitive, contents: Constructor[], deriving?: SymbolPrimitive[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        name: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        contents: {
-            type: string;
-            name: {
-                type: import("./primitives.js").YukigoPrimitive;
-                value: string;
-            };
-            fields: {
-                type: string;
-                name: {
-                    type: import("./primitives.js").YukigoPrimitive;
-                    value: string;
-                };
-                value: any;
-            }[];
-        }[];
-        deriving: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        }[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents the body of an Equation that does not have guards.
@@ -167,34 +113,14 @@ export declare class UnguardedBody extends ASTNode {
     sequence: Sequence;
     constructor(sequence: Sequence, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        sequence: any;
-    };
+    toJSON(): SerializeNode;
 }
-export declare function isUnguardedBody(body: UnguardedBody | GuardedBody[]): body is UnguardedBody;
-/**
- * Represents the body of an Equation that does have guards.
- * For example, Haskell's guards
- * @example
- * f x
- *    | x > 2 = x * 2
- *    | otherwise = x / 2
- * @category Declarations
- */
-export declare class GuardedBody extends ASTNode {
-    /** @hidden */
-    body: Expression;
-    /** @hidden */
-    condition: Expression;
-    constructor(condition: Expression, body: Expression, loc?: SourceLocation);
+export declare class NativeBody extends ASTNode {
+    constructor(loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        condition: any;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
+export type Body = UnguardedBody | NativeBody;
 /**
  * Represents one Equation with its arguments and body. Allows for overloading and pattern matching.
  * You may define the return statement to access it more easily.
@@ -208,29 +134,14 @@ export declare class Equation extends ASTNode {
     /** @hidden */
     patterns: Pattern[];
     /** @hidden */
-    body: UnguardedBody | GuardedBody[];
+    body: Body;
     /** @hidden */
     returnExpr?: Return;
-    constructor(patterns: Pattern[], body: UnguardedBody | GuardedBody[], returnExpr?: Return, loc?: SourceLocation);
+    constructor(patterns: Pattern[], body: Body, returnExpr?: Return, loc?: SourceLocation);
     /** @hidden */
     accept<R>(visitor: Visitor<R>): R;
     /** @hidden */
-    toJSON(): {
-        type: string;
-        patterns: any[];
-        body: {
-            type: string;
-            sequence: any;
-        } | {
-            type: string;
-            condition: any;
-            body: any;
-        }[];
-        return: {
-            type: string;
-            body: any;
-        };
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Functional / Imperative programming function declaration.
@@ -251,29 +162,7 @@ export declare class Function extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, equations: Equation[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        equations: {
-            type: string;
-            patterns: any[];
-            body: {
-                type: string;
-                sequence: any;
-            } | {
-                type: string;
-                condition: any;
-                body: any;
-            }[];
-            return: {
-                type: string;
-                body: any;
-            };
-        }[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a case expression, selecting a branch based on pattern matching against a value.
@@ -291,11 +180,7 @@ export declare class Case extends ASTNode {
     condition: Expression;
     constructor(condition: Expression, body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        condition: any;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a switch statement, selecting execution paths based on value equality.
@@ -310,15 +195,7 @@ export declare class Switch extends ASTNode {
     value: Expression;
     constructor(value: Expression, cases: Case[], defaultExpr?: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        value: any;
-        cases: {
-            condition: any;
-            body: any;
-        }[];
-        default: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a catch block for handling exceptions thrown in a try block.
@@ -331,11 +208,7 @@ export declare class Catch extends ASTNode {
     patterns: Pattern[];
     constructor(patterns: Pattern[], body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        patterns: any[];
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a try block, wrapping code that might throw exceptions.
@@ -353,15 +226,7 @@ export declare class Try extends ASTNode {
     body: Expression;
     constructor(body: Expression, catchExpr: Catch[], finallyExpr: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        body: any;
-        catch: {
-            condition: any[];
-            body: any;
-        }[];
-        finally: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents an explicit raising or throwing of an exception or error.
@@ -372,10 +237,7 @@ export declare class Raise extends ASTNode {
     body: Expression;
     constructor(body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a command to output data to the standard output.
@@ -386,7 +248,7 @@ export declare class Print extends ASTNode {
     expression: Expression;
     constructor(expression: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a command to read input from the user or standard input.
@@ -399,14 +261,7 @@ export declare class Input extends ASTNode {
     message: Expression;
     constructor(message: Expression, variable: SymbolPrimitive, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        message: any;
-        variable: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a for-loop control structure for iterating over a sequence or range.
@@ -419,7 +274,7 @@ export declare class For extends ASTNode {
     body: Expression;
     constructor(body: Expression, statements: Statement[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a control flow statement to exit the current loop immediately.
@@ -430,10 +285,7 @@ export declare class Break extends ASTNode {
     body?: Expression;
     constructor(body?: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a control flow statement to skip the rest of the current loop iteration.
@@ -444,10 +296,7 @@ export declare class Continue extends ASTNode {
     body?: Expression;
     constructor(body?: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a variable usage or reference in an expression.
@@ -462,15 +311,7 @@ export declare class Variable extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, expression: Expression, variableType?: Type, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        expression: any;
-        variableType: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents an assignment operation, binding a value to a variable.
@@ -486,14 +327,7 @@ export declare class Assignment extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, expression: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        expression: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a sequence of statements executed in order.
@@ -504,7 +338,7 @@ export declare class Sequence extends ASTNode {
     statements: Statement[];
     constructor(statements: Statement[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 export type Statement = EntryPoint | Function | Clause | Procedure | TypeAlias | TypeSignature | Class | Object | Method | Super | Attribute | Interface | Switch | Send | Try | Return | Print | Input | Raise | Structure | Break | Continue | Call | Enumeration | Variable | Assignment | Yield | Record | If | Repeat | ForLoop | While | LogicConstraint | Assert | Test | TestGroup;
 //# sourceMappingURL=statements.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/globals/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAgB,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EACL,UAAU,EACV,WAAW,EACX,OAAO,EACP,SAAS,EACT,MAAM,EACN,SAAS,EACT,KAAK,EACN,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,OAAO,EACL,KAAK,EACL,MAAM,EACN,KAAK,EACL,SAAS,EACT,SAAS,EACT,IAAI,EACJ,MAAM,EACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEvD;;;;;;GAMG;AACH,qBAAa,EAAG,SAAQ,OAAO;IAC7B,cAAc;IACP,QAAQ,EAAE,UAAU,CAAC;IAC5B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAG3B,SAAS,EAAE,UAAU,EACrB,IAAI,EAAE,UAAU,EAChB,QAAQ,EAAE,UAAU,EACpB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;CAQd;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,IAAI,CAAC,EAAE,UAAU,CAAC;gBAEb,IAAI,GAAE,UAAmC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AAED;;;;;;GAMG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,KAAK,EAAE,IAAI,CAAC;IACnB,cAAc;IACP,IAAI,EAAE,eAAe,GAAG,SAAS,CAAC;gBAGvC,IAAI,EAAE,eAAe,GAAG,SAAS,EACjC,KAAK,EAAE,IAAI,EACX,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;CAOd;AAED;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,MAAM,EAAE,KAAK,EAAE,CAAC;IACvB,cAAc;IACP,IAAI,EAAE,eAAe,CAAC;gBAEjB,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAKjE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;;;;;;;CAOd;AAED;;;;;;GAMG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC;IACpC,cAAc;IACP,QAAQ,EAAE,WAAW,EAAE,CAAC;IAC/B,cAAc;IACP,IAAI,EAAE,eAAe,CAAC;gBAG3B,IAAI,EAAE,eAAe,EACrB,QAAQ,EAAE,WAAW,EAAE,EACvB,QAAQ,CAAC,EAAE,eAAe,EAAE,EAC5B,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;CAQd;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,aAAc,SAAQ,OAAO;IACxC,cAAc;IACP,QAAQ,EAAE,QAAQ,CAAC;gBAEd,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,cAAc;IAI7C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,aAAa,GAAG,WAAW,EAAE,GAClC,IAAI,IAAI,aAAa,CAEvB;AAED;;;;;;;;GAQG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAEjB,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOd;AAED;;;;;;;;GAQG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC3B,cAAc;IACP,IAAI,EAAE,aAAa,GAAG,WAAW,EAAE,CAAC;IAC3C,cAAc;IACP,UAAU,CAAC,EAAE,MAAM,CAAC;gBAEzB,QAAQ,EAAE,OAAO,EAAE,EACnB,IAAI,EAAE,aAAa,GAAG,WAAW,EAAE,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,GAAG,CAAC,EAAE,cAAc;IAOtB,cAAc;IACP,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGxC,cAAc;IACP,MAAM;;;;;;;;;;;;;;;;CAUd;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC7B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,QAAQ,EAAE,EACrB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;;;;;;;;;;;;;;;CAOd;AAED;;;;;;;;GAQG;AACH,qBAAa,IAAK,SAAQ,OAAO;IAC/B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAEjB,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOd;AACD;;;GAGG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,WAAW,CAAC,EAAE,UAAU,CAAC;IAChC,cAAc;IACP,KAAK,EAAE,IAAI,EAAE,CAAC;IACrB,cAAc;IACP,KAAK,EAAE,UAAU,CAAC;gBAGvB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,IAAI,EAAE,EACb,WAAW,CAAC,EAAE,UAAU,EACxB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;CAWd;AAED;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,QAAQ,EAAE,OAAO,EAAE,CAAC;gBAEf,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKhE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOd;AACD;;;;;;GAMG;AACH,qBAAa,GAAI,SAAQ,OAAO;IAC9B,cAAc;IACP,WAAW,EAAE,UAAU,CAAC;IAC/B,cAAc;IACP,SAAS,EAAE,KAAK,EAAE,CAAC;IAC1B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAGtB,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,KAAK,EAAE,EAClB,WAAW,EAAE,UAAU,EACvB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;CAWd;AAED;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAEZ,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAI3C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AAED;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;gBAElB,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAIjD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAMd;AACD;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,QAAQ,EAAE,eAAe,CAAC;IACjC,cAAc;IACP,OAAO,EAAE,UAAU,CAAC;gBAGzB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;CAOd;AAED;;;GAGG;AACH,qBAAa,GAAI,SAAQ,OAAO;IAC9B,cAAc;IACP,UAAU,EAAE,SAAS,EAAE,CAAC;IAC/B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAEZ,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAKpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOd;AACD;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,CAAC,EAAE,UAAU,CAAC;gBAEb,IAAI,GAAE,UAAmC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AACD;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,IAAI,CAAC,EAAE,UAAU,CAAC;gBAEb,IAAI,GAAE,UAAmC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,YAAY,CAAC,EAAE,IAAI,CAAC;IAC3B,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;IAC9B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,UAAU,EACtB,YAAY,CAAC,EAAE,IAAI,EACnB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;CAQd;AAED;;;;;;GAMG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;IAC9B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,UAAU,EACtB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;CAOd;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,UAAU,EAAE,SAAS,EAAE,CAAC;gBAEnB,UAAU,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAIlD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAMd;AAED,MAAM,MAAM,SAAS,GACjB,UAAU,GACV,QAAQ,GACR,MAAM,GACN,SAAS,GACT,SAAS,GACT,aAAa,GACb,KAAK,GACL,MAAM,GACN,MAAM,GACN,KAAK,GACL,SAAS,GACT,SAAS,GACT,MAAM,GACN,IAAI,GACJ,GAAG,GACH,MAAM,GACN,KAAK,GACL,KAAK,GACL,KAAK,GACL,SAAS,GACT,KAAK,GACL,QAAQ,GACR,IAAI,GACJ,WAAW,GACX,QAAQ,GACR,UAAU,GACV,KAAK,GACL,MAAM,GACN,EAAE,GACF,MAAM,GACN,OAAO,GACP,KAAK,GACL,eAAe,GACf,MAAM,GACN,IAAI,GACJ,SAAS,CAAC"}
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/globals/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAgB,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EACL,UAAU,EACV,WAAW,EACX,OAAO,EACP,SAAS,EACT,MAAM,EACN,SAAS,EACT,KAAK,EACN,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,OAAO,EACL,KAAK,EACL,MAAM,EACN,KAAK,EACL,SAAS,EACT,SAAS,EACT,IAAI,EACJ,MAAM,EACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEvD;;;;;;GAMG;AACH,qBAAa,EAAG,SAAQ,OAAO;IAC7B,cAAc;IACP,QAAQ,EAAE,UAAU,CAAC;IAC5B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAG3B,SAAS,EAAE,UAAU,EACrB,IAAI,EAAE,UAAU,EAChB,QAAQ,EAAE,UAAU,EACpB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAQ/B;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,IAAI,CAAC,EAAE,UAAU,CAAC;gBAEb,IAAI,GAAE,UAAmC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AAED;;;;;;GAMG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,KAAK,EAAE,IAAI,CAAC;IACnB,cAAc;IACP,IAAI,EAAE,eAAe,GAAG,SAAS,CAAC;gBAGvC,IAAI,EAAE,eAAe,GAAG,SAAS,EACjC,KAAK,EAAE,IAAI,EACX,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,MAAM,EAAE,KAAK,EAAE,CAAC;IACvB,cAAc;IACP,IAAI,EAAE,eAAe,CAAC;gBAEjB,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAKjE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;;;;GAMG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC;IACpC,cAAc;IACP,QAAQ,EAAE,WAAW,EAAE,CAAC;IAC/B,cAAc;IACP,IAAI,EAAE,eAAe,CAAC;gBAG3B,IAAI,EAAE,eAAe,EACrB,QAAQ,EAAE,WAAW,EAAE,EACvB,QAAQ,CAAC,EAAE,eAAe,EAAE,EAC5B,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAQ/B;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,aAAc,SAAQ,OAAO;IACxC,cAAc;IACP,QAAQ,EAAE,QAAQ,CAAC;gBAEd,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,cAAc;IAI7C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AAED,qBAAa,UAAW,SAAQ,OAAO;gBACzB,GAAG,CAAC,EAAE,cAAc;IAGzB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAK/B;AAED,MAAM,MAAM,IAAI,GAAG,aAAa,GAAG,UAAU,CAAC;AAE9C;;;;;;;;GAQG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC3B,cAAc;IACP,IAAI,EAAE,IAAI,CAAC;IAClB,cAAc;IACP,UAAU,CAAC,EAAE,MAAM,CAAC;gBAEzB,QAAQ,EAAE,OAAO,EAAE,EACnB,IAAI,EAAE,IAAI,EACV,UAAU,CAAC,EAAE,MAAM,EACnB,GAAG,CAAC,EAAE,cAAc;IAOtB,cAAc;IACP,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGxC,cAAc;IACP,MAAM,IAAI,aAAa;CAU/B;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC7B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,QAAQ,EAAE,EACrB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;;;;;;GAQG;AACH,qBAAa,IAAK,SAAQ,OAAO;IAC/B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAEjB,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AACD;;;GAGG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,WAAW,CAAC,EAAE,UAAU,CAAC;IAChC,cAAc;IACP,KAAK,EAAE,IAAI,EAAE,CAAC;IACrB,cAAc;IACP,KAAK,EAAE,UAAU,CAAC;gBAGvB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,IAAI,EAAE,EACb,WAAW,CAAC,EAAE,UAAU,EACxB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAW/B;AAED;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,QAAQ,EAAE,OAAO,EAAE,CAAC;gBAEf,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKhE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AACD;;;;;;GAMG;AACH,qBAAa,GAAI,SAAQ,OAAO;IAC9B,cAAc;IACP,WAAW,EAAE,UAAU,CAAC;IAC/B,cAAc;IACP,SAAS,EAAE,KAAK,EAAE,CAAC;IAC1B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAGtB,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,KAAK,EAAE,EAClB,WAAW,EAAE,UAAU,EACvB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAW/B;AAED;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAEZ,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAI3C,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AAED;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;gBAElB,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAIjD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AACD;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,QAAQ,EAAE,eAAe,CAAC;IACjC,cAAc;IACP,OAAO,EAAE,UAAU,CAAC;gBAGzB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;GAGG;AACH,qBAAa,GAAI,SAAQ,OAAO;IAC9B,cAAc;IACP,UAAU,EAAE,SAAS,EAAE,CAAC;IAC/B,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAEZ,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAKpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AACD;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,CAAC,EAAE,UAAU,CAAC;gBAEb,IAAI,GAAE,UAAmC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AACD;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,IAAI,CAAC,EAAE,UAAU,CAAC;gBAEb,IAAI,GAAE,UAAmC,EAAE,GAAG,CAAC,EAAE,cAAc;IAIpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,YAAY,CAAC,EAAE,IAAI,CAAC;IAC3B,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;IAC9B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,UAAU,EACtB,YAAY,CAAC,EAAE,IAAI,EACnB,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAQ/B;AAED;;;;;;GAMG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;IAC9B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,UAAU,EACtB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,UAAU,EAAE,SAAS,EAAE,CAAC;gBAEnB,UAAU,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAIlD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AAED,MAAM,MAAM,SAAS,GACjB,UAAU,GACV,QAAQ,GACR,MAAM,GACN,SAAS,GACT,SAAS,GACT,aAAa,GACb,KAAK,GACL,MAAM,GACN,MAAM,GACN,KAAK,GACL,SAAS,GACT,SAAS,GACT,MAAM,GACN,IAAI,GACJ,GAAG,GACH,MAAM,GACN,KAAK,GACL,KAAK,GACL,KAAK,GACL,SAAS,GACT,KAAK,GACL,QAAQ,GACR,IAAI,GACJ,WAAW,GACX,QAAQ,GACR,UAAU,GACV,KAAK,GACL,MAAM,GACN,EAAE,GACF,MAAM,GACN,OAAO,GACP,KAAK,GACL,eAAe,GACf,MAAM,GACN,IAAI,GACJ,SAAS,CAAC"}

package/dist/globals/statements.js

@@ -21,7 +21,7 @@ export class If extends ASTNode {
         this.elseExpr = elseExpr;
     }
     accept(visitor) {
-        return visitor.visitIf?.(this);
+        return this.dispatchVisit(visitor, visitor.visitIf);
     }
     toJSON() {
         return {
@@ -52,12 +52,12 @@ export class Return extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitReturn?.(this);
+        return this.dispatchVisit(visitor, visitor.visitReturn);
     }
     toJSON() {
         return {
             type: "Return",
-            body: this.body.toJSON(),
+            body: this.body?.toJSON(),
         };
     }
 }
@@ -79,7 +79,7 @@ export class Field extends ASTNode {
         this.value = value;
     }
     accept(visitor) {
-        return visitor.visitField?.(this);
+        return this.dispatchVisit(visitor, visitor.visitField);
     }
     toJSON() {
         return {
@@ -107,7 +107,7 @@ export class Constructor extends ASTNode {
         this.fields = fields;
     }
     accept(visitor) {
-        return visitor.visitConstructor?.(this);
+        return this.dispatchVisit(visitor, visitor.visitConstructor);
     }
     toJSON() {
         return {
@@ -138,7 +138,7 @@ export class Record extends ASTNode {
         this.deriving = deriving;
     }
     accept(visitor) {
-        return visitor.visitRecord?.(this);
+        return this.dispatchVisit(visitor, visitor.visitRecord);
     }
     toJSON() {
         return {
@@ -169,7 +169,7 @@ export class UnguardedBody extends ASTNode {
         this.sequence = sequence;
     }
     accept(visitor) {
-        return visitor.visitUnguardedBody?.(this);
+        return this.dispatchVisit(visitor, visitor.visitUnguardedBody);
     }
     toJSON() {
         return {
@@ -178,36 +178,16 @@ export class UnguardedBody extends ASTNode {
         };
     }
 }
-export function isUnguardedBody(body) {
-    return !Array.isArray(body);
-}
-/**
- * Represents the body of an Equation that does have guards.
- * For example, Haskell's guards
- * @example
- * f x
- *    | x > 2 = x * 2
- *    | otherwise = x / 2
- * @category Declarations
- */
-export class GuardedBody extends ASTNode {
-    /** @hidden */
-    body;
-    /** @hidden */
-    condition;
-    constructor(condition, body, loc) {
+export class NativeBody extends ASTNode {
+    constructor(loc) {
         super(loc);
-        this.condition = condition;
-        this.body = body;
     }
     accept(visitor) {
-        return visitor.visitGuardedBody?.(this);
+        return this.dispatchVisit(visitor, visitor.visitNativeBody);
     }
     toJSON() {
         return {
-            type: "GuardedBody",
-            condition: this.condition.toJSON(),
-            body: this.body.toJSON(),
+            type: "NativeBody",
         };
     }
 }
@@ -235,16 +215,16 @@ export class Equation extends ASTNode {
     }
     /** @hidden */
     accept(visitor) {
-        return visitor.visitEquation?.(this);
+        return this.dispatchVisit(visitor, visitor.visitEquation);
     }
     /** @hidden */
     toJSON() {
         return {
             type: "Equation",
             patterns: this.patterns.map((pattern) => pattern.toJSON()),
-            body: isUnguardedBody(this.body)
-                ? this.body.toJSON()
-                : this.body.map((guard) => guard.toJSON()),
+            body: Array.isArray(this.body)
+                ? this.body.map((guard) => guard.toJSON())
+                : this.body.toJSON(),
             return: this.returnExpr?.toJSON(),
         };
     }
@@ -272,7 +252,7 @@ export class Function extends ASTNode {
         this.equations = equations;
     }
     accept(visitor) {
-        return visitor.visitFunction?.(this);
+        return this.dispatchVisit(visitor, visitor.visitFunction);
     }
     toJSON() {
         return {
@@ -302,7 +282,7 @@ export class Case extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitCase?.(this);
+        return this.dispatchVisit(visitor, visitor.visitCase);
     }
     toJSON() {
         return {
@@ -330,7 +310,7 @@ export class Switch extends ASTNode {
         this.defaultExpr = defaultExpr;
     }
     accept(visitor) {
-        return visitor.visitSwitch?.(this);
+        return this.dispatchVisit(visitor, visitor.visitSwitch);
     }
     toJSON() {
         return {
@@ -359,7 +339,7 @@ export class Catch extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitCatch?.(this);
+        return this.dispatchVisit(visitor, visitor.visitCatch);
     }
     toJSON() {
         return {
@@ -390,7 +370,7 @@ export class Try extends ASTNode {
         this.finallyExpr = finallyExpr;
     }
     accept(visitor) {
-        return visitor.visitTry?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTry);
     }
     toJSON() {
         return {
@@ -416,7 +396,7 @@ export class Raise extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitRaise?.(this);
+        return this.dispatchVisit(visitor, visitor.visitRaise);
     }
     toJSON() {
         return {
@@ -437,7 +417,7 @@ export class Print extends ASTNode {
         this.expression = expression;
     }
     accept(visitor) {
-        return visitor.visitPrint?.(this);
+        return this.dispatchVisit(visitor, visitor.visitPrint);
     }
     toJSON() {
         return {
@@ -461,7 +441,7 @@ export class Input extends ASTNode {
         this.variable = variable;
     }
     accept(visitor) {
-        return visitor.visitInput?.(this);
+        return this.dispatchVisit(visitor, visitor.visitInput);
     }
     toJSON() {
         return {
@@ -486,7 +466,7 @@ export class For extends ASTNode {
         this.statements = statements;
     }
     accept(visitor) {
-        return visitor.visitFor?.(this);
+        return this.dispatchVisit(visitor, visitor.visitFor);
     }
     toJSON() {
         return {
@@ -508,12 +488,12 @@ export class Break extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitBreak?.(this);
+        return this.dispatchVisit(visitor, visitor.visitBreak);
     }
     toJSON() {
         return {
             type: "Break",
-            body: this.body.toJSON(),
+            body: this.body?.toJSON(),
         };
     }
 }
@@ -529,12 +509,12 @@ export class Continue extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitContinue?.(this);
+        return this.dispatchVisit(visitor, visitor.visitContinue);
     }
     toJSON() {
         return {
             type: "Continue",
-            body: this.body.toJSON(),
+            body: this.body?.toJSON(),
         };
     }
 }
@@ -556,14 +536,14 @@ export class Variable extends ASTNode {
         this.variableType = variableType;
     }
     accept(visitor) {
-        return visitor.visitVariable?.(this);
+        return this.dispatchVisit(visitor, visitor.visitVariable);
     }
     toJSON() {
         return {
             type: "Variable",
             identifier: this.identifier.toJSON(),
             expression: this.expression.toJSON(),
-            variableType: this.variableType.toJSON(),
+            variableType: this.variableType?.toJSON(),
         };
     }
 }
@@ -585,7 +565,7 @@ export class Assignment extends ASTNode {
         this.expression = expression;
     }
     accept(visitor) {
-        return visitor.visitAssignment?.(this);
+        return this.dispatchVisit(visitor, visitor.visitAssignment);
     }
     toJSON() {
         return {
@@ -607,7 +587,7 @@ export class Sequence extends ASTNode {
         this.statements = statements;
     }
     accept(visitor) {
-        return visitor.visitSequence?.(this);
+        return this.dispatchVisit(visitor, visitor.visitSequence);
     }
     toJSON() {
         return {