@harmoniclabs/pebble 0.1.3-dev1 → 0.1.3-dev2

package/dist/compiler/tir/expressions/TirTraceExpr.js

@@ -0,0 +1,53 @@
+import { _ir_apps } from "../../../IR/IRNodes/IRApp.js";
+import { IRNative } from "../../../IR/IRNodes/IRNative/index.js";
+import { hoisted_intToUtf8Bytes } from "../../../IR/tree_utils/intToUtf8Bytes.js";
+import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
+import { TirIntT } from "../types/TirNativeType/index.js";
+import { getUnaliased } from "../types/utils/getUnaliased.js";
+export class TirTraceExpr {
+    traceExpr;
+    continuation;
+    range;
+    get type() { return this.continuation.type; }
+    constructor(
+    /** must be bytes or int (converted to string via decodeUtf8 in toIR) */
+    traceExpr, continuation, range) {
+        this.traceExpr = traceExpr;
+        this.continuation = continuation;
+        this.range = range;
+    }
+    toString() {
+        return `(trace ${this.traceExpr.toString()} ${this.continuation.toString()})`;
+    }
+    pretty(indent) {
+        const singleIndent = "  ";
+        const indent_base = singleIndent.repeat(indent);
+        const indent_1 = indent_base + singleIndent;
+        return (`(trace` +
+            `\n${indent_1}${this.traceExpr.pretty(indent + 1)}` +
+            `\n${indent_1}${this.continuation.pretty(indent + 1)}` +
+            `\n${indent_base})`);
+    }
+    clone() {
+        return new TirTraceExpr(this.traceExpr.clone(), this.continuation.clone(), this.range.clone());
+    }
+    deps() {
+        return mergeSortedStrArrInplace(this.traceExpr.deps(), this.continuation.deps());
+    }
+    get isConstant() { return this.traceExpr.isConstant && this.continuation.isConstant; }
+    toIR(ctx) {
+        let bytesIR;
+        const exprType = getUnaliased(this.traceExpr.type);
+        if (exprType instanceof TirIntT) {
+            // int -> bytes via intToUtf8Bytes
+            bytesIR = _ir_apps(hoisted_intToUtf8Bytes.clone(), this.traceExpr.toIR(ctx));
+        }
+        else {
+            // assume bytes
+            bytesIR = this.traceExpr.toIR(ctx);
+        }
+        return _ir_apps(IRNative.trace, 
+        // bytes -> string via decodeUtf8
+        _ir_apps(IRNative.decodeUtf8, bytesIR), this.continuation.toIR(ctx));
+    }
+}

package/dist/compiler/tir/expressions/TirTypeConversionExpr.js

@@ -5,6 +5,7 @@ import { TirBytesT } from "../types/TirNativeType/native/bytes.js";
 import { TirDataT } from "../types/TirNativeType/native/data.js";
 import { TirIntT } from "../types/TirNativeType/native/int.js";
 import { TirDataOptT } from "../types/TirNativeType/native/Optional/data.js";
+import { TirStringT } from "../types/TirNativeType/native/string.js";
 import { TirDataStructType } from "../types/TirStructType.js";
 import { getUnaliased } from "../types/utils/getUnaliased.js";
 import { _inlineFromData } from "./TirFromDataExpr.js";
@@ -69,6 +70,11 @@ export class TirTypeConversionExpr {
                 return _ir_apps(IRNative._intToBool, exprIR);
             throw new Error(`Cannot convert from ${from_t.toString()} to ${to_t.toString()}`);
         }
+        if (to_t instanceof TirStringT) {
+            if (from_t instanceof TirBytesT)
+                return _ir_apps(IRNative.decodeUtf8, exprIR);
+            throw new Error(`Cannot convert from ${from_t.toString()} to ${to_t.toString()}`);
+        }
         throw new Error(`Cannot convert from ${from_t.toString()} to ${to_t.toString()}`);
     }
 }

package/dist/compiler/tir/statements/TirStmt.d.ts

@@ -4,6 +4,7 @@ import { TirBlockStmt } from "./TirBlockStmt.js";
 import { TirBreakStmt } from "./TirBreakStmt.js";
 import { TirContinueStmt } from "./TirContinueStmt.js";
 import { TirFailStmt } from "./TirFailStmt.js";
+import { TirTraceStmt } from "./TirTraceStmt.js";
 import { TirForOfStmt } from "./TirForOfStmt.js";
 import { TirForStmt } from "./TirForStmt.js";
 import { TirIfStmt } from "./TirIfStmt.js";
@@ -30,5 +31,5 @@ export interface ITirStmt extends HasSourceRange {
     toString: () => string;
     pretty: (indent: number) => string;
 }
-export type TirStmt = TirVarDecl | TirIfStmt | TirForStmt | TirForOfStmt | TirWhileStmt | TirReturnStmt | TirBlockStmt | TirBreakStmt | TirContinueStmt | TirFailStmt | TirAssertStmt | TirMatchStmt | TirAssignmentStmt;
+export type TirStmt = TirVarDecl | TirIfStmt | TirForStmt | TirForOfStmt | TirWhileStmt | TirReturnStmt | TirBlockStmt | TirBreakStmt | TirContinueStmt | TirFailStmt | TirAssertStmt | TirTraceStmt | TirMatchStmt | TirAssignmentStmt;
 export declare function isTirStmt(thing: any): thing is TirStmt;

package/dist/compiler/tir/statements/TirStmt.js

@@ -5,6 +5,7 @@ import { TirBlockStmt } from "./TirBlockStmt.js";
 import { TirBreakStmt } from "./TirBreakStmt.js";
 import { TirContinueStmt } from "./TirContinueStmt.js";
 import { TirFailStmt } from "./TirFailStmt.js";
+import { TirTraceStmt } from "./TirTraceStmt.js";
 import { TirForOfStmt } from "./TirForOfStmt.js";
 import { TirForStmt } from "./TirForStmt.js";
 import { TirIfStmt } from "./TirIfStmt.js";
@@ -32,6 +33,7 @@ export function isTirStmt(thing) {
         || thing instanceof TirContinueStmt
         || thing instanceof TirFailStmt
         || thing instanceof TirAssertStmt
+        || thing instanceof TirTraceStmt
         // || thing instanceof TirTestStmt
         || thing instanceof TirMatchStmt
         || thing instanceof TirAssignmentStmt

package/dist/compiler/tir/statements/TirTraceStmt.d.ts

@@ -0,0 +1,15 @@
+import { SourceRange } from "../../../ast/Source/SourceRange.js";
+import { TirExpr } from "../expressions/TirExpr.js";
+import { ITirStmt } from "./TirStmt.js";
+export declare class TirTraceStmt implements ITirStmt {
+    /** must be string */
+    expr: TirExpr;
+    readonly range: SourceRange;
+    constructor(
+    /** must be string */
+    expr: TirExpr, range: SourceRange);
+    toString(): string;
+    pretty(indent: number): string;
+    definitelyTerminates(): boolean;
+    deps(): string[];
+}

package/dist/compiler/tir/statements/TirTraceStmt.js

@@ -0,0 +1,20 @@
+export class TirTraceStmt {
+    expr;
+    range;
+    constructor(
+    /** must be string */
+    expr, range) {
+        this.expr = expr;
+        this.range = range;
+    }
+    toString() {
+        return `trace ${this.expr.toString()}`;
+    }
+    pretty(indent) {
+        return `trace ${this.expr.pretty(indent)}`;
+    }
+    definitelyTerminates() { return false; }
+    deps() {
+        return this.expr.deps();
+    }
+}

package/dist/parser/Parser.d.ts

@@ -22,6 +22,7 @@ import { IfStmt } from "../ast/nodes/statements/IfStmt.js";
 import { ReturnStmt } from "../ast/nodes/statements/ReturnStmt.js";
 import { FuncDecl } from "../ast/nodes/statements/declarations/FuncDecl.js";
 import { FailStmt } from "../ast/nodes/statements/FailStmt.js";
+import { TraceStmt } from "../ast/nodes/statements/TraceStmt.js";
 import { AssertStmt } from "../ast/nodes/statements/AssertStmt.js";
 import { TestStmt } from "../ast/nodes/statements/TestStmt.js";
 import { MatchStmt } from "../ast/nodes/statements/MatchStmt.js";
@@ -131,6 +132,7 @@ export declare class Parser extends DiagnosticEmitter {
     parseTestStatement(): TestStmt | undefined;
     parseMatchStatement(): MatchStmt | undefined;
     parseFailStatement(): FailStmt | undefined;
+    parseTraceStatement(): TraceStmt | undefined;
     parseAssertStatement(): AssertStmt | undefined;
     parseWhileStatement(): WhileStmt | undefined;
     /**

package/dist/parser/Parser.js

@@ -41,6 +41,7 @@ import { ReturnStmt } from "../ast/nodes/statements/ReturnStmt.js";
 import { EmptyStmt } from "../ast/nodes/statements/EmptyStmt.js";
 import { FuncDecl } from "../ast/nodes/statements/declarations/FuncDecl.js";
 import { FailStmt } from "../ast/nodes/statements/FailStmt.js";
+import { TraceStmt } from "../ast/nodes/statements/TraceStmt.js";
 import { AssertStmt } from "../ast/nodes/statements/AssertStmt.js";
 import { TestStmt } from "../ast/nodes/statements/TestStmt.js";
 import { MatchStmt, MatchStmtCase, MatchStmtElseCase } from "../ast/nodes/statements/MatchStmt.js";
@@ -1919,6 +1920,12 @@ export class Parser extends DiagnosticEmitter {
                     break;
                 }
                 ;
+            case Token.Trace:
+                {
+                    statement = this.parseTraceStatement();
+                    break;
+                }
+                ;
             // case Token.Try: {
             //     statement = this.parseTryStatement();
             //     break;
@@ -2319,6 +2326,14 @@ export class Parser extends DiagnosticEmitter {
             return undefined;
         return new FailStmt(expr, tn.range());
     }
+    parseTraceStatement() {
+        const tn = this.tn;
+        // at 'trace': Expression ';'?
+        const expr = this.parseExpr();
+        if (!expr)
+            return this.error(DiagnosticCode.Expression_expected, tn.range());
+        return new TraceStmt(expr, tn.range());
+    }
     parseAssertStatement() {
         const tn = this.tn;
         const startPos = tn.tokenPos;

package/dist/tokenizer/Token.d.ts

@@ -41,129 +41,130 @@ export declare enum Token {
     Test = 38,
     Fail = 39,
     Assert = 40,
-    Contract = 41,
-    Param = 42,
-    Spend = 43,
-    Mint = 44,
-    Certify = 45,
-    Withdraw = 46,
-    Propose = 47,
-    Vote = 48,
-    Context = 49,
+    Trace = 41,
+    Contract = 42,
+    Param = 43,
+    Spend = 44,
+    Mint = 45,
+    Certify = 46,
+    Withdraw = 47,
+    Propose = 48,
+    Vote = 49,
+    Context = 50,
     /** `{` */
-    OpenBrace = 50,
+    OpenBrace = 51,
     /** `}` */
-    CloseBrace = 51,
-    OpenParen = 52,
-    CloseParen = 53,
+    CloseBrace = 52,
+    OpenParen = 53,
+    CloseParen = 54,
     /** `[` */
-    OpenBracket = 54,
+    OpenBracket = 55,
     /** `]` */
-    CloseBracket = 55,
+    CloseBracket = 56,
     /** `.` */
-    Dot = 56,
+    Dot = 57,
     /** `...` */
-    Dot_Dot_Dot = 57,
+    Dot_Dot_Dot = 58,
     /** `;` */
-    Semicolon = 58,
+    Semicolon = 59,
     /** `,` */
-    Comma = 59,
+    Comma = 60,
     /** `<` */
-    LessThan = 60,
+    LessThan = 61,
     /** `>` */
-    GreaterThan = 61,
+    GreaterThan = 62,
     /** `<=` */
-    LessThan_Equals = 62,
+    LessThan_Equals = 63,
     /** `>=` */
-    GreaterThan_Equals = 63,
+    GreaterThan_Equals = 64,
     /** `==` */
-    Equals_Equals = 64,
+    Equals_Equals = 65,
     /** `!=` */
-    Exclamation_Equals = 65,
+    Exclamation_Equals = 66,
     /** `===` */
-    Equals_Equals_Equals = 66,
+    Equals_Equals_Equals = 67,
     /** `!==` */
-    Exclamation_Equals_Equals = 67,
+    Exclamation_Equals_Equals = 68,
     /** `=>` */
-    FatArrow = 68,
+    FatArrow = 69,
     /** `+` */
-    Plus = 69,
+    Plus = 70,
     /** `-` */
-    Minus = 70,
+    Minus = 71,
     /** `**` */
-    Asterisk_Asterisk = 71,
+    Asterisk_Asterisk = 72,
     /** `*` */
-    Asterisk = 72,
+    Asterisk = 73,
     /** `/` */
-    Slash = 73,
+    Slash = 74,
     /** `%` */
-    Percent = 74,
+    Percent = 75,
     /** `++` */
-    Plus_Plus = 75,
+    Plus_Plus = 76,
     /** `--` */
-    Minus_Minus = 76,
+    Minus_Minus = 77,
     /** `<<` */
-    LessThan_LessThan = 77,
+    LessThan_LessThan = 78,
     /** `>>` */
-    GreaterThan_GreaterThan = 78,
+    GreaterThan_GreaterThan = 79,
     /** `>>>` */
-    GreaterThan_GreaterThan_GreaterThan = 79,
+    GreaterThan_GreaterThan_GreaterThan = 80,
     /** `+` */
-    Ampersand = 80,
+    Ampersand = 81,
     /** `|` */
-    Bar = 81,
+    Bar = 82,
     /** `^` */
-    Caret = 82,
+    Caret = 83,
     /** `!` */
-    Exclamation = 83,
+    Exclamation = 84,
     /** `~` */
-    Tilde = 84,
+    Tilde = 85,
     /** `&&` */
-    Ampersand_Ampersand = 85,
+    Ampersand_Ampersand = 86,
     /** `||` */
-    Bar_Bar = 86,
+    Bar_Bar = 87,
     /** `?` */
-    Question = 87,
+    Question = 88,
     /** `:` */
-    Colon = 88,
+    Colon = 89,
     /** `=` */
-    Equals = 89,
-    Plus_Equals = 90,
-    Minus_Equals = 91,
-    Asterisk_Equals = 92,
-    Asterisk_Asterisk_Equals = 93,
-    Slash_Equals = 94,
-    Percent_Equals = 95,
-    LessThan_LessThan_Equals = 96,
-    GreaterThan_GreaterThan_Equals = 97,
-    GreaterThan_GreaterThan_GreaterThan_Equals = 98,
-    Ampersand_Equals = 99,
-    Bar_Equals = 100,
-    Caret_Equals = 101,
-    At = 102,
+    Equals = 90,
+    Plus_Equals = 91,
+    Minus_Equals = 92,
+    Asterisk_Equals = 93,
+    Asterisk_Asterisk_Equals = 94,
+    Slash_Equals = 95,
+    Percent_Equals = 96,
+    LessThan_LessThan_Equals = 97,
+    GreaterThan_GreaterThan_Equals = 98,
+    GreaterThan_GreaterThan_GreaterThan_Equals = 99,
+    Ampersand_Equals = 100,
+    Bar_Equals = 101,
+    Caret_Equals = 102,
+    At = 103,
     /** `??=` */
-    Question_Question_Equals = 103,
+    Question_Question_Equals = 104,
     /** `||=` */
-    Bar_Bar_Equals = 104,
+    Bar_Bar_Equals = 105,
     /** `&&=` */
-    Ampersand_Ampersand_Equals = 105,
+    Ampersand_Ampersand_Equals = 106,
     /** `??` */
-    Question_Question = 106,
+    Question_Question = 107,
     /** `?.` */
-    Question_Dot = 107,
+    Question_Dot = 108,
     /** `!.` */
-    Exclamation_Dot = 108,
-    Data = 109,
-    Bytes = 110,
-    Optional = 111,
-    List = 112,
-    LinearMap = 113,
-    Runtime = 114,
-    Identifier = 115,
-    StringLiteral = 116,
-    HexBytesLiteral = 117,
-    IntegerLiteral = 118,
-    StringTemplateLiteralQuote = 119,
-    Invalid = 120,
-    EndOfFile = 121
+    Exclamation_Dot = 109,
+    Data = 110,
+    Bytes = 111,
+    Optional = 112,
+    List = 113,
+    LinearMap = 114,
+    Runtime = 115,
+    Identifier = 116,
+    StringLiteral = 117,
+    HexBytesLiteral = 118,
+    IntegerLiteral = 119,
+    StringTemplateLiteralQuote = 120,
+    Invalid = 121,
+    EndOfFile = 122
 }

package/dist/tokenizer/Token.js

@@ -78,139 +78,140 @@ export var Token;
     Token[Token["Test"] = 38] = "Test";
     Token[Token["Fail"] = 39] = "Fail";
     Token[Token["Assert"] = 40] = "Assert";
+    Token[Token["Trace"] = 41] = "Trace";
     // contract keywords
-    Token[Token["Contract"] = 41] = "Contract";
-    Token[Token["Param"] = 42] = "Param";
-    Token[Token["Spend"] = 43] = "Spend";
-    Token[Token["Mint"] = 44] = "Mint";
-    Token[Token["Certify"] = 45] = "Certify";
-    Token[Token["Withdraw"] = 46] = "Withdraw";
-    Token[Token["Propose"] = 47] = "Propose";
-    Token[Token["Vote"] = 48] = "Vote";
-    Token[Token["Context"] = 49] = "Context";
+    Token[Token["Contract"] = 42] = "Contract";
+    Token[Token["Param"] = 43] = "Param";
+    Token[Token["Spend"] = 44] = "Spend";
+    Token[Token["Mint"] = 45] = "Mint";
+    Token[Token["Certify"] = 46] = "Certify";
+    Token[Token["Withdraw"] = 47] = "Withdraw";
+    Token[Token["Propose"] = 48] = "Propose";
+    Token[Token["Vote"] = 49] = "Vote";
+    Token[Token["Context"] = 50] = "Context";
     // punctuation
     /** `{` */
-    Token[Token["OpenBrace"] = 50] = "OpenBrace";
+    Token[Token["OpenBrace"] = 51] = "OpenBrace";
     /** `}` */
-    Token[Token["CloseBrace"] = 51] = "CloseBrace";
-    Token[Token["OpenParen"] = 52] = "OpenParen";
-    Token[Token["CloseParen"] = 53] = "CloseParen";
+    Token[Token["CloseBrace"] = 52] = "CloseBrace";
+    Token[Token["OpenParen"] = 53] = "OpenParen";
+    Token[Token["CloseParen"] = 54] = "CloseParen";
     /** `[` */
-    Token[Token["OpenBracket"] = 54] = "OpenBracket";
+    Token[Token["OpenBracket"] = 55] = "OpenBracket";
     /** `]` */
-    Token[Token["CloseBracket"] = 55] = "CloseBracket";
+    Token[Token["CloseBracket"] = 56] = "CloseBracket";
     /** `.` */
-    Token[Token["Dot"] = 56] = "Dot";
+    Token[Token["Dot"] = 57] = "Dot";
     /** `...` */
-    Token[Token["Dot_Dot_Dot"] = 57] = "Dot_Dot_Dot";
+    Token[Token["Dot_Dot_Dot"] = 58] = "Dot_Dot_Dot";
     /** `;` */
-    Token[Token["Semicolon"] = 58] = "Semicolon";
+    Token[Token["Semicolon"] = 59] = "Semicolon";
     /** `,` */
-    Token[Token["Comma"] = 59] = "Comma";
+    Token[Token["Comma"] = 60] = "Comma";
     /** `<` */
-    Token[Token["LessThan"] = 60] = "LessThan";
+    Token[Token["LessThan"] = 61] = "LessThan";
     /** `>` */
-    Token[Token["GreaterThan"] = 61] = "GreaterThan";
+    Token[Token["GreaterThan"] = 62] = "GreaterThan";
     /** `<=` */
-    Token[Token["LessThan_Equals"] = 62] = "LessThan_Equals";
+    Token[Token["LessThan_Equals"] = 63] = "LessThan_Equals";
     /** `>=` */
-    Token[Token["GreaterThan_Equals"] = 63] = "GreaterThan_Equals";
+    Token[Token["GreaterThan_Equals"] = 64] = "GreaterThan_Equals";
     /** `==` */
-    Token[Token["Equals_Equals"] = 64] = "Equals_Equals";
+    Token[Token["Equals_Equals"] = 65] = "Equals_Equals";
     /** `!=` */
-    Token[Token["Exclamation_Equals"] = 65] = "Exclamation_Equals";
+    Token[Token["Exclamation_Equals"] = 66] = "Exclamation_Equals";
     /** `===` */
-    Token[Token["Equals_Equals_Equals"] = 66] = "Equals_Equals_Equals";
+    Token[Token["Equals_Equals_Equals"] = 67] = "Equals_Equals_Equals";
     /** `!==` */
-    Token[Token["Exclamation_Equals_Equals"] = 67] = "Exclamation_Equals_Equals";
+    Token[Token["Exclamation_Equals_Equals"] = 68] = "Exclamation_Equals_Equals";
     /** `=>` */
-    Token[Token["FatArrow"] = 68] = "FatArrow";
+    Token[Token["FatArrow"] = 69] = "FatArrow";
     /** `+` */
-    Token[Token["Plus"] = 69] = "Plus";
+    Token[Token["Plus"] = 70] = "Plus";
     /** `-` */
-    Token[Token["Minus"] = 70] = "Minus";
+    Token[Token["Minus"] = 71] = "Minus";
     /** `**` */
-    Token[Token["Asterisk_Asterisk"] = 71] = "Asterisk_Asterisk";
+    Token[Token["Asterisk_Asterisk"] = 72] = "Asterisk_Asterisk";
     /** `*` */
-    Token[Token["Asterisk"] = 72] = "Asterisk";
+    Token[Token["Asterisk"] = 73] = "Asterisk";
     /** `/` */
-    Token[Token["Slash"] = 73] = "Slash";
+    Token[Token["Slash"] = 74] = "Slash";
     /** `%` */
-    Token[Token["Percent"] = 74] = "Percent";
+    Token[Token["Percent"] = 75] = "Percent";
     /** `++` */
-    Token[Token["Plus_Plus"] = 75] = "Plus_Plus";
+    Token[Token["Plus_Plus"] = 76] = "Plus_Plus";
     /** `--` */
-    Token[Token["Minus_Minus"] = 76] = "Minus_Minus";
+    Token[Token["Minus_Minus"] = 77] = "Minus_Minus";
     /** `<<` */
-    Token[Token["LessThan_LessThan"] = 77] = "LessThan_LessThan";
+    Token[Token["LessThan_LessThan"] = 78] = "LessThan_LessThan";
     /** `>>` */
-    Token[Token["GreaterThan_GreaterThan"] = 78] = "GreaterThan_GreaterThan";
+    Token[Token["GreaterThan_GreaterThan"] = 79] = "GreaterThan_GreaterThan";
     /** `>>>` */
-    Token[Token["GreaterThan_GreaterThan_GreaterThan"] = 79] = "GreaterThan_GreaterThan_GreaterThan";
+    Token[Token["GreaterThan_GreaterThan_GreaterThan"] = 80] = "GreaterThan_GreaterThan_GreaterThan";
     /** `+` */
-    Token[Token["Ampersand"] = 80] = "Ampersand";
+    Token[Token["Ampersand"] = 81] = "Ampersand";
     /** `|` */
-    Token[Token["Bar"] = 81] = "Bar";
+    Token[Token["Bar"] = 82] = "Bar";
     /** `^` */
-    Token[Token["Caret"] = 82] = "Caret";
+    Token[Token["Caret"] = 83] = "Caret";
     /** `!` */
-    Token[Token["Exclamation"] = 83] = "Exclamation";
+    Token[Token["Exclamation"] = 84] = "Exclamation";
     /** `~` */
-    Token[Token["Tilde"] = 84] = "Tilde";
+    Token[Token["Tilde"] = 85] = "Tilde";
     /** `&&` */
-    Token[Token["Ampersand_Ampersand"] = 85] = "Ampersand_Ampersand";
+    Token[Token["Ampersand_Ampersand"] = 86] = "Ampersand_Ampersand";
     /** `||` */
-    Token[Token["Bar_Bar"] = 86] = "Bar_Bar";
+    Token[Token["Bar_Bar"] = 87] = "Bar_Bar";
     /** `?` */
-    Token[Token["Question"] = 87] = "Question";
+    Token[Token["Question"] = 88] = "Question";
     /** `:` */
-    Token[Token["Colon"] = 88] = "Colon";
+    Token[Token["Colon"] = 89] = "Colon";
     /** `=` */
-    Token[Token["Equals"] = 89] = "Equals";
-    Token[Token["Plus_Equals"] = 90] = "Plus_Equals";
-    Token[Token["Minus_Equals"] = 91] = "Minus_Equals";
-    Token[Token["Asterisk_Equals"] = 92] = "Asterisk_Equals";
-    Token[Token["Asterisk_Asterisk_Equals"] = 93] = "Asterisk_Asterisk_Equals";
-    Token[Token["Slash_Equals"] = 94] = "Slash_Equals";
-    Token[Token["Percent_Equals"] = 95] = "Percent_Equals";
-    Token[Token["LessThan_LessThan_Equals"] = 96] = "LessThan_LessThan_Equals";
-    Token[Token["GreaterThan_GreaterThan_Equals"] = 97] = "GreaterThan_GreaterThan_Equals";
-    Token[Token["GreaterThan_GreaterThan_GreaterThan_Equals"] = 98] = "GreaterThan_GreaterThan_GreaterThan_Equals";
-    Token[Token["Ampersand_Equals"] = 99] = "Ampersand_Equals";
-    Token[Token["Bar_Equals"] = 100] = "Bar_Equals";
-    Token[Token["Caret_Equals"] = 101] = "Caret_Equals";
-    Token[Token["At"] = 102] = "At";
+    Token[Token["Equals"] = 90] = "Equals";
+    Token[Token["Plus_Equals"] = 91] = "Plus_Equals";
+    Token[Token["Minus_Equals"] = 92] = "Minus_Equals";
+    Token[Token["Asterisk_Equals"] = 93] = "Asterisk_Equals";
+    Token[Token["Asterisk_Asterisk_Equals"] = 94] = "Asterisk_Asterisk_Equals";
+    Token[Token["Slash_Equals"] = 95] = "Slash_Equals";
+    Token[Token["Percent_Equals"] = 96] = "Percent_Equals";
+    Token[Token["LessThan_LessThan_Equals"] = 97] = "LessThan_LessThan_Equals";
+    Token[Token["GreaterThan_GreaterThan_Equals"] = 98] = "GreaterThan_GreaterThan_Equals";
+    Token[Token["GreaterThan_GreaterThan_GreaterThan_Equals"] = 99] = "GreaterThan_GreaterThan_GreaterThan_Equals";
+    Token[Token["Ampersand_Equals"] = 100] = "Ampersand_Equals";
+    Token[Token["Bar_Equals"] = 101] = "Bar_Equals";
+    Token[Token["Caret_Equals"] = 102] = "Caret_Equals";
+    Token[Token["At"] = 103] = "At";
     /** `??=` */
-    Token[Token["Question_Question_Equals"] = 103] = "Question_Question_Equals";
+    Token[Token["Question_Question_Equals"] = 104] = "Question_Question_Equals";
     /** `||=` */
-    Token[Token["Bar_Bar_Equals"] = 104] = "Bar_Bar_Equals";
+    Token[Token["Bar_Bar_Equals"] = 105] = "Bar_Bar_Equals";
     /** `&&=` */
-    Token[Token["Ampersand_Ampersand_Equals"] = 105] = "Ampersand_Ampersand_Equals";
+    Token[Token["Ampersand_Ampersand_Equals"] = 106] = "Ampersand_Ampersand_Equals";
     /** `??` */
-    Token[Token["Question_Question"] = 106] = "Question_Question";
+    Token[Token["Question_Question"] = 107] = "Question_Question";
     /** `?.` */
-    Token[Token["Question_Dot"] = 107] = "Question_Dot";
+    Token[Token["Question_Dot"] = 108] = "Question_Dot";
     /** `!.` */
-    Token[Token["Exclamation_Dot"] = 108] = "Exclamation_Dot";
+    Token[Token["Exclamation_Dot"] = 109] = "Exclamation_Dot";
     // custom native types for pebble
-    Token[Token["Data"] = 109] = "Data";
-    Token[Token["Bytes"] = 110] = "Bytes";
-    Token[Token["Optional"] = 111] = "Optional";
-    Token[Token["List"] = 112] = "List";
-    Token[Token["LinearMap"] = 113] = "LinearMap";
+    Token[Token["Data"] = 110] = "Data";
+    Token[Token["Bytes"] = 111] = "Bytes";
+    Token[Token["Optional"] = 112] = "Optional";
+    Token[Token["List"] = 113] = "List";
+    Token[Token["LinearMap"] = 114] = "LinearMap";
     // struct decl modifiers
     // taggedModifier,     // `tagged` data struct
-    Token[Token["Runtime"] = 114] = "Runtime";
+    Token[Token["Runtime"] = 115] = "Runtime";
     // literals
-    Token[Token["Identifier"] = 115] = "Identifier";
-    Token[Token["StringLiteral"] = 116] = "StringLiteral";
-    Token[Token["HexBytesLiteral"] = 117] = "HexBytesLiteral";
-    Token[Token["IntegerLiteral"] = 118] = "IntegerLiteral";
+    Token[Token["Identifier"] = 116] = "Identifier";
+    Token[Token["StringLiteral"] = 117] = "StringLiteral";
+    Token[Token["HexBytesLiteral"] = 118] = "HexBytesLiteral";
+    Token[Token["IntegerLiteral"] = 119] = "IntegerLiteral";
     // FloatLiteral,
-    Token[Token["StringTemplateLiteralQuote"] = 119] = "StringTemplateLiteralQuote";
+    Token[Token["StringTemplateLiteralQuote"] = 120] = "StringTemplateLiteralQuote";
     // meta
-    Token[Token["Invalid"] = 120] = "Invalid";
-    Token[Token["EndOfFile"] = 121] = "EndOfFile";
+    Token[Token["Invalid"] = 121] = "Invalid";
+    Token[Token["EndOfFile"] = 122] = "EndOfFile";
 })(Token || (Token = {}));
 Object.freeze(Token);
 /*

package/dist/tokenizer/utils/tokenFromKeyword.js

@@ -203,6 +203,8 @@ export function tokenFromKeyword(text) {
                     return Token.Type;
                 break;
             }
+            if (text === "trace")
+                return Token.Trace;
             // if (text === "try") return Token.Try;
             // if (text === "throw") return Token.Throw;
             // if (text === "typeof") return Token.TypeOf;