@harmoniclabs/pebble 0.1.0-dev5 → 0.1.0-dev6

package/dist/compiler/tir/statements/TirVarDecl/TirArrayLikeDeconstr.js

@@ -14,6 +14,36 @@ export class TirArrayLikeDeconstr {
         this.isConst = isConst;
         this.range = range;
     }
+    toString() {
+        return (`${this.isConst ? "const" : "let"} ` +
+            `[ ` +
+            this.elements
+                .map((decl) => decl.toString()).join(", ") +
+            (this.rest ? `, ...${this.rest}` : "") +
+            ` }` +
+            (this.initExpr ? ` = ${this.initExpr.toString()}` : ""));
+    }
+    pretty(indent) {
+        const singleIndent = "  ";
+        const indent_base = singleIndent.repeat(indent);
+        const indent_0 = "\n" + indent_base;
+        const indent_1 = indent_0 + singleIndent;
+        const elemEntries = this.elements.map((decl) => decl.pretty(indent + 1));
+        const elemsPart = elemEntries.length === 0
+            ? ""
+            : indent_1 + elemEntries.join(`,${indent_1}`);
+        const restPart = this.rest
+            ? (elemEntries.length === 0 ? indent_1 : `,${indent_1}`) + `...${this.rest}`
+            : "";
+        const closing = elemEntries.length === 0 && !this.rest
+            ? " [ ]"
+            : `${indent_0}]`;
+        return (`${this.isConst ? "const" : "let"} [` +
+            elemsPart +
+            restPart +
+            closing +
+            (this.initExpr ? ` = ${this.initExpr.pretty(indent)}` : ""));
+    }
     deps() {
         return this.initExpr?.deps() ?? [];
     }

package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.d.ts

@@ -8,13 +8,15 @@ export declare class TirNamedDeconstructVarDecl implements ITirStmt, ITirVarDecl
     readonly constrName: string;
     readonly fields: Map<string, TirVarDecl>;
     readonly rest: string | undefined;
-    readonly type: TirType;
+    type: TirType;
     initExpr: TirExpr | undefined;
     isConst: boolean;
     readonly range: SourceRange;
     constructor(
     /** only original (not aliased) constr name used in destructuring */
     constrName: string, fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange);
+    toString(): string;
+    pretty(indent: number): string;
     deps(): string[];
     definitelyTerminates(): boolean;
     introducedVars(): string[];

package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.js

@@ -18,6 +18,34 @@ export class TirNamedDeconstructVarDecl {
         this.isConst = isConst;
         this.range = range;
     }
+    toString() {
+        return (`${this.isConst ? "const" : "let"} ` +
+            `${this.constrName}{ ` +
+            Array.from(this.fields.entries())
+                .map(([name, decl]) => `${name}: ${decl.toString()}`).join(", ") +
+            (this.rest ? `, ...${this.rest}` : "") +
+            ` }` +
+            (this.initExpr ? ` = ${this.initExpr.toString()}` : ""));
+    }
+    pretty(indent) {
+        const singleIndent = "  ";
+        const indent_base = singleIndent.repeat(indent);
+        const indent_0 = "\n" + indent_base;
+        const indent_1 = indent_0 + singleIndent;
+        const fieldEntries = Array.from(this.fields.entries()).map(([name, decl]) => `${name}: ${decl.pretty(indent + 1)}`);
+        const fieldsPart = fieldEntries.length === 0
+            ? ""
+            : indent_1 + fieldEntries.join(`,${indent_1}`);
+        const restPart = this.rest
+            ? (fieldEntries.length === 0 ? indent_1 : `,${indent_1}`) + `...${this.rest}`
+            : "";
+        const closing = fieldEntries.length === 0 && !this.rest ? " { }" : `${indent_0}}`;
+        return (`${this.isConst ? "const" : "let"} ${this.constrName}{` +
+            fieldsPart +
+            restPart +
+            closing +
+            (this.initExpr ? ` = ${this.initExpr.pretty(indent)}` : ""));
+    }
     deps() {
         return this.initExpr?.deps() ?? [];
     }

package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.d.ts

@@ -11,6 +11,9 @@ export declare class TirSimpleVarDecl implements ITirStmt, ITirVarDecl {
     readonly range: SourceRange;
     constructor(name: string, type: TirType, initExpr: TirExpr | undefined, // deconstructed OR function param
     isConst: boolean, range: SourceRange);
+    clone(): TirSimpleVarDecl;
+    toString(): string;
+    pretty(indent: number): string;
     deps(): string[];
     definitelyTerminates(): boolean;
     introducedVars(): string[];

package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.js

@@ -12,6 +12,19 @@ export class TirSimpleVarDecl {
         this.isConst = isConst;
         this.range = range;
     }
+    clone() {
+        return new TirSimpleVarDecl(this.name, this.type, this.initExpr?.clone(), this.isConst, this.range);
+    }
+    toString() {
+        return (`${this.isConst ? "const" : "let"} ${this.name}: ${this.type.toString()}` +
+            (this.initExpr ? ` = ${this.initExpr.toString()}` : ""));
+    }
+    pretty(indent) {
+        const singleIndent = "  ";
+        const indent_base = singleIndent.repeat(indent);
+        return (`${this.isConst ? "const" : "let"} ${this.name}: ${this.type.toString()}` +
+            (this.initExpr ? ` = ${this.initExpr.pretty(indent)}` : ""));
+    }
     deps() {
         return this.initExpr?.deps() ?? [];
     }

package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.d.ts

@@ -6,11 +6,13 @@ import { TirVarDecl } from "./TirVarDecl.js";
 export declare class TirSingleDeconstructVarDecl implements ITirStmt {
     readonly fields: Map<string, TirVarDecl>;
     readonly rest: string | undefined;
-    readonly type: TirType;
+    type: TirType;
     initExpr: TirExpr | undefined;
     isConst: boolean;
     readonly range: SourceRange;
     constructor(fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange);
+    toString(): string;
+    pretty(indent: number): string;
     deps(): string[];
     definitelyTerminates(): boolean;
     introducedVars(): string[];

package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.js

@@ -14,6 +14,34 @@ export class TirSingleDeconstructVarDecl {
         this.isConst = isConst;
         this.range = range;
     }
+    toString() {
+        return (`${this.isConst ? "const" : "let"} ` +
+            `{ ` +
+            Array.from(this.fields.entries())
+                .map(([name, decl]) => `${name}: ${decl.toString()}`).join(", ") +
+            (this.rest ? `, ...${this.rest}` : "") +
+            ` }` +
+            (this.initExpr ? ` = ${this.initExpr.toString()}` : ""));
+    }
+    pretty(indent) {
+        const singleIndent = "  ";
+        const indent_base = singleIndent.repeat(indent);
+        const indent_0 = "\n" + indent_base;
+        const indent_1 = indent_0 + singleIndent;
+        const fieldEntries = Array.from(this.fields.entries()).map(([name, decl]) => `${name}: ${decl.pretty(indent + 1)}`);
+        const fieldsPart = fieldEntries.length === 0
+            ? ""
+            : indent_1 + fieldEntries.join(`,${indent_1}`);
+        const restPart = this.rest
+            ? (fieldEntries.length === 0 ? indent_1 : `,${indent_1}`) + `...${this.rest}`
+            : "";
+        const closing = fieldEntries.length === 0 && !this.rest ? " { }" : `${indent_0}}`;
+        return (`${this.isConst ? "const" : "let"} {` +
+            fieldsPart +
+            restPart +
+            closing +
+            (this.initExpr ? ` = ${this.initExpr.pretty(indent)}` : ""));
+    }
     deps() {
         return this.initExpr?.deps() ?? [];
     }

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

@@ -6,6 +6,8 @@ export declare class TirWhileStmt implements ITirStmt {
     body: TirStmt;
     readonly range: SourceRange;
     constructor(condition: TirExpr, body: TirStmt, range: SourceRange);
+    toString(): string;
+    pretty(indent: number): string;
     definitelyTerminates(): boolean;
     deps(): string[];
 }

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

@@ -7,6 +7,20 @@ export class TirWhileStmt {
         this.body = body;
         this.range = range;
     }
+    toString() {
+        return (`while( ${this.condition.toString()} ) ` +
+            this.body.toString());
+    }
+    pretty(indent) {
+        const singleIndent = "  ";
+        const indent_base = singleIndent.repeat(indent);
+        const indent_0 = "\n" + indent_base;
+        const indent_1 = indent_0 + singleIndent;
+        return (`while(` +
+            indent_1 + this.condition.pretty(indent + 1) +
+            `${indent_0}) ` +
+            this.body.pretty(indent));
+    }
     definitelyTerminates() {
         return this.body.definitelyTerminates();
     }

package/dist/compiler/tir/types/utils/canAssignTo.js

@@ -225,7 +225,7 @@ function uncheckedGetCanAssign(a, b, symbols) {
         }
         return currentDecision;
     }
-    const tsEnsureExsautstiveCheck = b;
+    const tsEnsureExhautstiveCheck = b;
     return CanAssign.No;
 }
 function canAssignStruct(a, b, symbols) {

package/dist/diagnostics/DiagnosticEmitter.js

@@ -19,7 +19,7 @@ export class DiagnosticEmitter {
     /** Emits a diagnostic message of the specified category. */
     emitDiagnostic(code, category, range, relatedRange, arg0 = undefined, arg1 = undefined, arg2 = undefined) {
         const originalStackLimit = Error.stackTraceLimit;
-        Error.stackTraceLimit = 6;
+        Error.stackTraceLimit = 10;
         let emitStack = new Error().stack;
         Error.stackTraceLimit = originalStackLimit;
         emitStack = emitStack?.split("\n").slice(2).map(l => l.trim()).join("\n");

package/dist/diagnostics/diagnosticMessages.generated.d.ts

@@ -1,7 +1,8 @@
 /** Enum of available diagnostic codes. */
 export declare enum DiagnosticCode {
     Not_implemented_0 = 100,
-    Main_function_is_missing = 101,
+    Contract_is_missing = 101,
+    Contract_declarations_cannot_be_exported = 102,
     Conversion_from_type_0_to_1_requires_an_explicit_cast = 200,
     Conversion_from_type_0_to_1_will_require_an_explicit_cast_when_switching_between_32_64_bit = 201,
     Type_0_cannot_be_changed_to_type_1 = 202,
@@ -92,6 +93,14 @@ export declare enum DiagnosticCode {
     _case_expression_must_decontructed_the_inspected_value = 287,
     for_loop_initialization_variables_cannot_be_destructured_Declare_it_as_a_simple_variable_and_move_the_destructuring_in_the_loop_body = 288,
     Match_cases_are_not_exhaustive = 289,
+    Contract_methods_must_return_void_or_fail = 290,
+    Contract_parameters_cannot_have_an_initializer_expression = 291,
+    _context_can_only_be_destructured_in_a_constant_declaration = 292,
+    _context_can_only_be_accessed_in_a_contract_method = 293,
+    _this_in_a_contract_context_can_only_be_used_to_read_parameters_in_a_contract_method = 293,
+    _0_is_not_aviable_in_this_contract_method_context = 294,
+    _context_can_only_be_destructured_as_an_unnamed_object = 295,
+    _0_is_not_a_contract_parameter = 296,
     Importing_the_table_disables_some_indirect_call_optimizations = 901,
     Exporting_the_table_disables_some_indirect_call_optimizations = 902,
     Expression_compiles_to_a_dynamic_check_at_runtime = 903,

package/dist/diagnostics/diagnosticMessages.generated.js

@@ -3,7 +3,8 @@
 export var DiagnosticCode;
 (function (DiagnosticCode) {
     DiagnosticCode[DiagnosticCode["Not_implemented_0"] = 100] = "Not_implemented_0";
-    DiagnosticCode[DiagnosticCode["Main_function_is_missing"] = 101] = "Main_function_is_missing";
+    DiagnosticCode[DiagnosticCode["Contract_is_missing"] = 101] = "Contract_is_missing";
+    DiagnosticCode[DiagnosticCode["Contract_declarations_cannot_be_exported"] = 102] = "Contract_declarations_cannot_be_exported";
     DiagnosticCode[DiagnosticCode["Conversion_from_type_0_to_1_requires_an_explicit_cast"] = 200] = "Conversion_from_type_0_to_1_requires_an_explicit_cast";
     DiagnosticCode[DiagnosticCode["Conversion_from_type_0_to_1_will_require_an_explicit_cast_when_switching_between_32_64_bit"] = 201] = "Conversion_from_type_0_to_1_will_require_an_explicit_cast_when_switching_between_32_64_bit";
     DiagnosticCode[DiagnosticCode["Type_0_cannot_be_changed_to_type_1"] = 202] = "Type_0_cannot_be_changed_to_type_1";
@@ -94,6 +95,14 @@ export var DiagnosticCode;
     DiagnosticCode[DiagnosticCode["_case_expression_must_decontructed_the_inspected_value"] = 287] = "_case_expression_must_decontructed_the_inspected_value";
     DiagnosticCode[DiagnosticCode["for_loop_initialization_variables_cannot_be_destructured_Declare_it_as_a_simple_variable_and_move_the_destructuring_in_the_loop_body"] = 288] = "for_loop_initialization_variables_cannot_be_destructured_Declare_it_as_a_simple_variable_and_move_the_destructuring_in_the_loop_body";
     DiagnosticCode[DiagnosticCode["Match_cases_are_not_exhaustive"] = 289] = "Match_cases_are_not_exhaustive";
+    DiagnosticCode[DiagnosticCode["Contract_methods_must_return_void_or_fail"] = 290] = "Contract_methods_must_return_void_or_fail";
+    DiagnosticCode[DiagnosticCode["Contract_parameters_cannot_have_an_initializer_expression"] = 291] = "Contract_parameters_cannot_have_an_initializer_expression";
+    DiagnosticCode[DiagnosticCode["_context_can_only_be_destructured_in_a_constant_declaration"] = 292] = "_context_can_only_be_destructured_in_a_constant_declaration";
+    DiagnosticCode[DiagnosticCode["_context_can_only_be_accessed_in_a_contract_method"] = 293] = "_context_can_only_be_accessed_in_a_contract_method";
+    DiagnosticCode[DiagnosticCode["_this_in_a_contract_context_can_only_be_used_to_read_parameters_in_a_contract_method"] = 293] = "_this_in_a_contract_context_can_only_be_used_to_read_parameters_in_a_contract_method";
+    DiagnosticCode[DiagnosticCode["_0_is_not_aviable_in_this_contract_method_context"] = 294] = "_0_is_not_aviable_in_this_contract_method_context";
+    DiagnosticCode[DiagnosticCode["_context_can_only_be_destructured_as_an_unnamed_object"] = 295] = "_context_can_only_be_destructured_as_an_unnamed_object";
+    DiagnosticCode[DiagnosticCode["_0_is_not_a_contract_parameter"] = 296] = "_0_is_not_a_contract_parameter";
     DiagnosticCode[DiagnosticCode["Importing_the_table_disables_some_indirect_call_optimizations"] = 901] = "Importing_the_table_disables_some_indirect_call_optimizations";
     DiagnosticCode[DiagnosticCode["Exporting_the_table_disables_some_indirect_call_optimizations"] = 902] = "Exporting_the_table_disables_some_indirect_call_optimizations";
     DiagnosticCode[DiagnosticCode["Expression_compiles_to_a_dynamic_check_at_runtime"] = 903] = "Expression_compiles_to_a_dynamic_check_at_runtime";
@@ -277,7 +286,8 @@ export var DiagnosticCode;
 export function diagnosticCodeToString(code) {
     switch (code) {
         case 100: return "Not implemented: {0}";
-        case 101: return "Main function is missing";
+        case 101: return "Contract is missing";
+        case 102: return "Contract declarations cannot be exported";
         case 200: return "Conversion from type '{0}' to '{1}' requires an explicit cast.";
         case 201: return "Conversion from type '{0}' to '{1}' will require an explicit cast when switching between 32/64-bit.";
         case 202: return "Type '{0}' cannot be changed to type '{1}'.";
@@ -368,6 +378,14 @@ export function diagnosticCodeToString(code) {
         case 287: return "'case' expression must decontructed the inspected value.";
         case 288: return "for loop initialization variables cannot be destructured. Declare it as a simple variable and move the destructuring in the loop body";
         case 289: return "Match cases are not exhaustive";
+        case 290: return "Contract methods must return void or fail";
+        case 291: return "Contract parameters cannot have an initializer expression";
+        case 292: return "`context` can only be destructured in a constant declaration.";
+        case 293: return "`context` can only be accessed in a contract method.";
+        case 293: return "`this`, in a contract context, can only be used to read parameters in a contract method.";
+        case 294: return "`{0}` is not aviable in this contract method `context`.";
+        case 295: return "`context` can only be destructured as an unnamed object.";
+        case 296: return "'{0}' is not a contract parameter.";
         case 901: return "Importing the table disables some indirect call optimizations.";
         case 902: return "Exporting the table disables some indirect call optimizations.";
         case 903: return "Expression compiles to a dynamic check at runtime.";

package/dist/parser/Parser.d.ts

@@ -41,6 +41,7 @@ import { AstTypeExpr } from "../ast/nodes/types/AstTypeExpr.js";
 import { UsingStmt } from "../ast/nodes/statements/UsingStmt.js";
 import { BodyStmt, TopLevelStmt } from "../ast/nodes/statements/PebbleStmt.js";
 import { Precedence } from "./Precedence.js";
+import { ContractDecl } from "../ast/nodes/statements/declarations/ContractDecl.js";
 interface ParseStmtOpts {
     isExport?: boolean;
     topLevel?: boolean;
@@ -52,6 +53,7 @@ export declare class Parser extends DiagnosticEmitter {
     static parseSource(src: Source, diagnostics?: DiagnosticMessage[]): DiagnosticMessage[];
     parseSource(): DiagnosticMessage[];
     parseTopLevelStatement(): TopLevelStmt | undefined;
+    parseContractDecl(startPos: number): ContractDecl | undefined;
     parseUsingDecl(): UsingStmt | undefined;
     parseTypeParameters(): Identifier[] | undefined;
     parseTypeArguments(): AstTypeExpr[] | undefined;
@@ -63,7 +65,7 @@ export declare class Parser extends DiagnosticEmitter {
     parseStruct(structDeclFlags: StructDeclAstFlags, flags?: CommonFlags, startPos?: number): StructDecl | undefined;
     parseStructConstrFields(flags: CommonFlags): SimpleVarDecl[] | undefined;
     private parseNamedFuncSig;
-    parseFuncDecl(flags: CommonFlags, startPos?: number): FuncDecl | undefined;
+    parseFuncDecl(flags: CommonFlags, startPos?: number, defaultReturnType?: AstTypeExpr | undefined): FuncDecl | undefined;
     parseEnum(flags: CommonFlags, startPos: number): EnumDecl | undefined;
     parseEnumValue(parentFlags: CommonFlags): EnumValueDecl | undefined;
     parseVarStmt(flags: CommonFlags, startPos: number, opts?: Partial<ParseVarOpts>): VarStmt | undefined;
@@ -78,10 +80,13 @@ export declare class Parser extends DiagnosticEmitter {
      *
      * on the contrary in case we are parsing a field of a deconstructed variable declaration
      * an initializer MUST NOT be present NOR a type
+     *
+     * EDIT:
+     * This method is also used while parsing contract `param`s;
      */
     private _parseVarDecl;
-    parseSingleDeconstructVarDecl(flags: CommonFlags): SingleDeconstructVarDecl | undefined;
-    parseArrayLikeDeconstr(flags: CommonFlags): ArrayLikeDeconstr | undefined;
+    parseSingleDeconstructVarDecl(flags: CommonFlags, skipTypeAndInitializer?: boolean): SingleDeconstructVarDecl | undefined;
+    parseArrayLikeDeconstr(flags: CommonFlags, skipTypeAndInitializer?: boolean): ArrayLikeDeconstr | undefined;
     parseIdentifier(startRange?: SourceRange | undefined): Identifier | undefined;
     /**
      * parses `(: AstTypeExpr)? (= PebbleExpr)?` for parameters and variable declarations