npm - @harmoniclabs/pebble - Versions diffs - 0.1.0-dev5 → 0.1.0-dev6 - Mend

@harmoniclabs/pebble 0.1.0-dev5 → 0.1.0-dev6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (307) hide show

package/dist/compiler/tir/expressions/litteral/TirLitIntExpr.js CHANGED Viewed

@@ -9,6 +9,10 @@ export class TirLitIntExpr {
         this.integer = integer;
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        return this.integer.toString();
+    }
     clone() {
         return new TirLitIntExpr(this.integer, this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitNamedObjExpr.d.ts CHANGED Viewed

@@ -16,7 +16,9 @@ export declare class TirLitNamedObjExpr implements ITirExpr, ITirLitObjExpr {
     readonly range: SourceRange;
     get isConstant(): boolean;
     constructor(name: Identifier, fieldNames: Identifier[], values: TirExpr[], type: TirSoPStructType | TirDataStructType | TirSopOptT | TirDataOptT, range: SourceRange);
-    clone(): TirLitNamedObjExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitNamedObjExpr.js CHANGED Viewed

@@ -31,6 +31,11 @@ export class TirLitNamedObjExpr {
         this.type = type;
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        const fields = this.fieldNames.map((f, i) => `${f.text}: ${this.values[i].toString()}`);
+        return `${this.name.text}{ ${fields.join(", ")} }`;
+    }
     clone() {
         return new TirLitNamedObjExpr(this.name, this.fieldNames.map(f => f), this.values.map(v => v.clone()), this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitObjExpr.d.ts CHANGED Viewed

@@ -16,7 +16,9 @@ export declare class TirLitObjExpr implements ITirExpr, ITirLitObjExpr {
     readonly range: SourceRange;
     get isConstant(): boolean;
     constructor(fieldNames: Identifier[], values: TirExpr[], type: TirSoPStructType | TirDataStructType, range: SourceRange);
-    clone(): TirLitObjExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitObjExpr.js CHANGED Viewed

@@ -29,6 +29,11 @@ export class TirLitObjExpr {
         this.type = type;
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        const fields = this.fieldNames.map((f, i) => `${f.text}: ${this.values[i].toString()}`);
+        return `{ ${fields.join(", ")} }`;
+    }
     clone() {
         return new TirLitObjExpr(this.fieldNames.map(f => f), this.values.map(v => v.clone()), this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitStrExpr.d.ts CHANGED Viewed

@@ -3,13 +3,16 @@ import { SourceRange } from "../../../../ast/Source/SourceRange.js";
 import { TirType } from "../../types/TirType.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
 import { IRTerm } from "../../../../IR/index.js";
+import { TirExpr } from "../TirExpr.js";
 export declare class TirLitStrExpr implements ITirExpr {
     readonly string: string;
     readonly range: SourceRange;
     readonly type: TirType;
     readonly isConstant: boolean;
     constructor(string: string, range: SourceRange);
-    clone(): TirLitStrExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitStrExpr.js CHANGED Viewed

@@ -10,6 +10,10 @@ export class TirLitStrExpr {
         this.string = string;
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        return `"${this.string}"`;
+    }
     clone() {
         return new TirLitStrExpr(this.string, this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitThisExpr.d.ts CHANGED Viewed

@@ -3,12 +3,15 @@ import { SourceRange } from "../../../../ast/Source/SourceRange.js";
 import { TirType } from "../../types/TirType.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
 import { IRTerm } from "../../../../IR/index.js";
+import { TirExpr } from "../TirExpr.js";
 export declare class TirLitThisExpr implements ITirExpr {
     readonly type: TirType;
     readonly range: SourceRange;
     readonly isConstant: boolean;
     constructor(type: TirType, range: SourceRange);
-    clone(): TirLitThisExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitThisExpr.js CHANGED Viewed

@@ -7,14 +7,18 @@ export class TirLitThisExpr {
         this.type = type;
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        return `this`;
+    }
     clone() {
         return new TirLitThisExpr(this.type.clone(), this.range.clone());
     }
     deps() { return []; }
     toIR(ctx) {
-        const dbn = ctx.getVarAccessDbn("this");
-        if (typeof dbn !== "bigint")
+        const sym = ctx.getVarAccessSym("this");
+        if (typeof sym !== "symbol")
             throw new Error("Missing 'this' variable declaration in context");
-        return new IRVar(dbn);
+        return new IRVar(sym);
     }
 }

package/dist/compiler/tir/expressions/litteral/TirLitTrueExpr.d.ts CHANGED Viewed

@@ -3,12 +3,15 @@ import { SourceRange } from "../../../../ast/Source/SourceRange.js";
 import { TirType } from "../../types/TirType.js";
 import { IRTerm } from "../../../../IR/index.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
+import { TirExpr } from "../TirExpr.js";
 export declare class TirLitTrueExpr implements ITirExpr {
     readonly range: SourceRange;
     readonly type: TirType;
     readonly isConstant: boolean;
     constructor(range: SourceRange);
-    clone(): TirLitTrueExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitTrueExpr.js CHANGED Viewed

@@ -7,6 +7,10 @@ export class TirLitTrueExpr {
     constructor(range) {
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        return "true";
+    }
     clone() {
         return new TirLitTrueExpr(this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitUndefExpr.d.ts CHANGED Viewed

@@ -4,6 +4,7 @@ import { IRTerm } from "../../../../IR/index.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
 import { TirDataOptT } from "../../types/TirNativeType/native/Optional/data.js";
 import { TirSopOptT } from "../../types/TirNativeType/native/Optional/sop.js";
+import { TirExpr } from "../TirExpr.js";
 export declare class TirLitUndefExpr implements ITirExpr {
     /** must be an optional */
     readonly type: TirSopOptT | TirDataOptT;
@@ -12,7 +13,9 @@ export declare class TirLitUndefExpr implements ITirExpr {
     constructor(
     /** must be an optional */
     type: TirSopOptT | TirDataOptT, range: SourceRange);
-    clone(): TirLitUndefExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitUndefExpr.js CHANGED Viewed

@@ -11,6 +11,10 @@ export class TirLitUndefExpr {
         this.type = type;
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        return "undefined";
+    }
     clone() {
         return new TirLitUndefExpr(this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitVoidExpr.d.ts CHANGED Viewed

@@ -2,13 +2,16 @@ import { SourceRange } from "../../../../ast/Source/SourceRange.js";
 import { IRTerm } from "../../../../IR/index.js";
 import { TirType } from "../../types/TirType.js";
 import { ITirExpr } from "../ITirExpr.js";
+import { TirExpr } from "../TirExpr.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
 export declare class TirLitVoidExpr implements ITirExpr {
     readonly range: SourceRange;
     readonly type: TirType;
     readonly isConstant: boolean;
     constructor(range: SourceRange);
-    clone(): TirLitVoidExpr;
+    pretty(): string;
+    toString(): string;
+    clone(): TirExpr;
     deps(): string[];
     toIR(ctx: ToIRTermCtx): IRTerm;
 }

package/dist/compiler/tir/expressions/litteral/TirLitVoidExpr.js CHANGED Viewed

@@ -7,6 +7,10 @@ export class TirLitVoidExpr {
     constructor(range) {
         this.range = range;
     }
+    pretty() { return this.toString(); }
+    toString() {
+        return "void";
+    }
     clone() {
         return new TirLitVoidExpr(this.range.clone());
     }

package/dist/compiler/tir/expressions/litteral/TirLitteralExpr.d.ts CHANGED Viewed

@@ -1,4 +1,5 @@
 import { TirLitArrExpr } from "./TirLitArrExpr.js";
+import { TirLitFailExpr } from "./TirLitFailExpr.js";
 import { TirLitFalseExpr } from "./TirLitFalseExpr.js";
 import { TirLitHexBytesExpr } from "./TirLitHexBytesExpr.js";
 import { TirLitIntExpr } from "./TirLitIntExpr.js";
@@ -9,5 +10,5 @@ import { TirLitThisExpr } from "./TirLitThisExpr.js";
 import { TirLitTrueExpr } from "./TirLitTrueExpr.js";
 import { TirLitUndefExpr } from "./TirLitUndefExpr.js";
 import { TirLitVoidExpr } from "./TirLitVoidExpr.js";
-export type TirLitteralExpr = TirLitVoidExpr | TirLitUndefExpr | TirLitTrueExpr | TirLitFalseExpr | TirLitStrExpr | TirLitIntExpr | TirLitHexBytesExpr | TirLitThisExpr | TirLitArrExpr | TirLitObjExpr | TirLitNamedObjExpr;
+export type TirLitteralExpr = TirLitVoidExpr | TirLitUndefExpr | TirLitTrueExpr | TirLitFalseExpr | TirLitStrExpr | TirLitIntExpr | TirLitHexBytesExpr | TirLitThisExpr | TirLitArrExpr | TirLitObjExpr | TirLitNamedObjExpr | TirLitFailExpr;
 export declare function isTirLitteralExpr(thing: any): thing is TirLitteralExpr;

package/dist/compiler/tir/expressions/litteral/TirLitteralExpr.js CHANGED Viewed

@@ -1,4 +1,5 @@
 import { TirLitArrExpr } from "./TirLitArrExpr.js";
+import { TirLitFailExpr } from "./TirLitFailExpr.js";
 import { TirLitFalseExpr } from "./TirLitFalseExpr.js";
 import { TirLitHexBytesExpr } from "./TirLitHexBytesExpr.js";
 import { TirLitIntExpr } from "./TirLitIntExpr.js";
@@ -20,5 +21,6 @@ export function isTirLitteralExpr(thing) {
         || thing instanceof TirLitNamedObjExpr
         || thing instanceof TirLitStrExpr
         || thing instanceof TirLitIntExpr
-        || thing instanceof TirLitHexBytesExpr);
+        || thing instanceof TirLitHexBytesExpr
+        || thing instanceof TirLitFailExpr);
 }

package/dist/compiler/tir/expressions/unary/TirUnaryExclamation.d.ts CHANGED Viewed

@@ -3,14 +3,16 @@ import { SourceRange } from "../../../../ast/Source/SourceRange.js";
 import { TirExpr } from "../TirExpr.js";
 import { ITirUnaryExpression } from "./ITirUnaryExpression.js";
 import { TirType } from "../../types/TirType.js";
-import { IRTerm } from "../../../../IR/index.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
+import type { IRTerm } from "../../../../IR/IRTerm.js";
 export declare class TirUnaryExclamation implements ITirExpr, ITirUnaryExpression {
     operand: TirExpr;
     readonly type: TirType;
     readonly range: SourceRange;
     constructor(operand: TirExpr, type: TirType, range: SourceRange);
-    clone(): TirUnaryExclamation;
+    toString(): string;
+    pretty(indent: number): string;
+    clone(): TirExpr;
     deps(): string[];
     get isConstant(): boolean;
     toIR(ctx: ToIRTermCtx): IRTerm;

package/dist/compiler/tir/expressions/unary/TirUnaryExclamation.js CHANGED Viewed

@@ -1,5 +1,5 @@
-import { IRNative } from "../../../../IR/index.js";
-import { _ir_apps } from "../../../../IR/tree_utils/_ir_apps.js";
+import { _ir_apps } from "../../../../IR/IRNodes/IRApp.js";
+import { IRNative } from "../../../../IR/IRNodes/IRNative/index.js";
 export class TirUnaryExclamation {
     operand;
     type;
@@ -9,7 +9,12 @@ export class TirUnaryExclamation {
         this.type = type;
         this.range = range;
     }
-    /// @ts-ignore Return type annotation circularly references itself
+    toString() {
+        return `!${this.operand.toString()}`;
+    }
+    pretty(indent) {
+        return `!${this.operand.pretty(indent)}`;
+    }
     clone() {
         return new TirUnaryExclamation(this.operand.clone(), this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/expressions/unary/TirUnaryMinus.d.ts CHANGED Viewed

@@ -4,13 +4,15 @@ import { TirExpr } from "../TirExpr.js";
 import { ITirUnaryExpression } from "./ITirUnaryExpression.js";
 import { TirType } from "../../types/TirType.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
-import { IRTerm } from "../../../../IR/index.js";
+import type { IRTerm } from "../../../../IR/IRTerm.js";
 export declare class TirUnaryMinus implements ITirExpr, ITirUnaryExpression {
     operand: TirExpr;
     readonly type: TirType;
     readonly range: SourceRange;
     constructor(operand: TirExpr, type: TirType, range: SourceRange);
-    clone(): TirUnaryMinus;
+    toString(): string;
+    pretty(indent: number): string;
+    clone(): TirExpr;
     deps(): string[];
     get isConstant(): boolean;
     toIR(ctx: ToIRTermCtx): IRTerm;

package/dist/compiler/tir/expressions/unary/TirUnaryMinus.js CHANGED Viewed

@@ -1,5 +1,5 @@
-import { IRNative } from "../../../../IR/index.js";
-import { _ir_apps } from "../../../../IR/tree_utils/_ir_apps.js";
+import { _ir_apps } from "../../../../IR/IRNodes/IRApp.js";
+import { IRNative } from "../../../../IR/IRNodes/IRNative/index.js";
 export class TirUnaryMinus {
     operand;
     type;
@@ -9,6 +9,12 @@ export class TirUnaryMinus {
         this.type = type;
         this.range = range;
     }
+    toString() {
+        return `-${this.operand.toString()}`;
+    }
+    pretty(indent) {
+        return `-${this.operand.pretty(indent)}`;
+    }
     clone() {
         return new TirUnaryMinus(this.operand.clone(), this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/expressions/unary/TirUnaryPlus.d.ts CHANGED Viewed

@@ -8,7 +8,9 @@ export declare class TirUnaryPlus implements ITirExpr, ITirUnaryExpression {
     readonly type: TirType;
     readonly range: SourceRange;
     constructor(operand: TirExpr, type: TirType, range: SourceRange);
-    clone(): TirUnaryPlus;
+    toString(): string;
+    pretty(indent: number): string;
+    clone(): TirExpr;
     deps(): string[];
     get isConstant(): boolean;
     toIR(ctx: any): any;

package/dist/compiler/tir/expressions/unary/TirUnaryPlus.js CHANGED Viewed

@@ -7,6 +7,12 @@ export class TirUnaryPlus {
         this.type = type;
         this.range = range;
     }
+    toString() {
+        return `+${this.operand.toString()}`;
+    }
+    pretty(indent) {
+        return `+${this.operand.pretty(indent)}`;
+    }
     clone() {
         return new TirUnaryPlus(this.operand.clone(), this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/expressions/unary/TirUnaryTilde.d.ts CHANGED Viewed

@@ -3,14 +3,16 @@ import { SourceRange } from "../../../../ast/Source/SourceRange.js";
 import { TirExpr } from "../TirExpr.js";
 import { ITirUnaryExpression } from "./ITirUnaryExpression.js";
 import { TirType } from "../../types/TirType.js";
-import { IRTerm } from "../../../../IR/index.js";
 import { ToIRTermCtx } from "../ToIRTermCtx.js";
+import type { IRTerm } from "../../../../IR/IRTerm.js";
 export declare class TirUnaryTilde implements ITirExpr, ITirUnaryExpression {
     operand: TirExpr;
     readonly type: TirType;
     readonly range: SourceRange;
     constructor(operand: TirExpr, type: TirType, range: SourceRange);
-    clone(): TirUnaryTilde;
+    toString(): string;
+    pretty(indent: number): string;
+    clone(): TirExpr;
     deps(): string[];
     get isConstant(): boolean;
     toIR(ctx: ToIRTermCtx): IRTerm;

package/dist/compiler/tir/expressions/unary/TirUnaryTilde.js CHANGED Viewed

@@ -1,5 +1,5 @@
-import { _ir_apps } from "../../../../IR/tree_utils/_ir_apps.js";
-import { IRNative } from "../../../../IR/index.js";
+import { _ir_apps } from "../../../../IR/IRNodes/IRApp.js";
+import { IRNative } from "../../../../IR/IRNodes/IRNative/index.js";
 export class TirUnaryTilde {
     operand;
     type;
@@ -9,6 +9,12 @@ export class TirUnaryTilde {
         this.type = type;
         this.range = range;
     }
+    toString() {
+        return `~${this.operand.toString()}`;
+    }
+    pretty(indent) {
+        return `~${this.operand.pretty(indent)}`;
+    }
     clone() {
         return new TirUnaryTilde(this.operand.clone(), this.type.clone(), this.range.clone());
     }

package/dist/compiler/tir/program/TypedProgram.d.ts CHANGED Viewed

@@ -32,6 +32,7 @@ export declare class TypedProgram extends DiagnosticEmitter {
     readonly stdScope: AstScope;
     readonly preludeScope: AstScope;
     constructor(diagnostics?: DiagnosticMessage[]);
+    registerType(tirType: TirType): boolean;
     getMainOrThrow(): TirFuncExpr;
     getFilePrefix(path: string): string;
     defineGenericType(tirKey: string, arity: number, mkApplied: (tyArgs: TirType[]) => TirType): boolean;

package/dist/compiler/tir/program/TypedProgram.js CHANGED Viewed

@@ -39,6 +39,15 @@ export class TypedProgram extends DiagnosticEmitter {
         this.preludeScope = new AstScope(this.stdScope, this, { isFunctionDeclScope: false, isMethodScope: false });
         populatePreludeScope(this);
     }
+    registerType(tirType) {
+        if (!isTirType(tirType))
+            return false;
+        const tirTypeName = tirType.toConcreteTirTypeName();
+        if (this.types.has(tirTypeName))
+            return false;
+        this.types.set(tirTypeName, tirType);
+        return true;
+    }
     getMainOrThrow() {
         if (this.contractTirFuncName === "")
             throw new Error("TypedProgram: main function name not set");