fix

tact-lang · Jun 11, 2024 · 07cdc25 · 07cdc25
1 parent 7012e13
commit 07cdc25
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/grammar/grammar.ts b/src/grammar/grammar.ts
@@ -596,7 +596,7 @@ semantics.addOperation<ASTNode>("astOfStatement", {
         return createNode({
             kind: "statement_let_no_type",
             name: arg1.sourceString,
-            expression: arg3.resolve_expression(),
+            expression: arg3.astOfExpression(),
             ref: createRef(this),
         });
     },

diff --git a/src/test/__snapshots__/feature-local-type-inference.spec.ts.snap b/src/test/__snapshots__/feature-local-type-inference.spec.ts.snap
@@ -40,7 +40,7 @@ exports[`feature-local-type-inference should automatically set types for let sta
       "message": "Masterchain support is not enabled for this contract",
     },
     "2": {
-      "message": "Stack undeflow",
+      "message": "Stack underflow",
     },
     "3": {
       "message": "Stack overflow",

diff --git a/src/types/resolveStatements.ts b/src/types/resolveStatements.ts
@@ -193,7 +193,7 @@ function processStatements(
             const expressionType = getExpType(ctx, s.expression);
 
             // Add variable to statement context
-            if (sctx.vars[s.name]) {
+            if (sctx.vars.has(s.name)) {
                 throwError(`Variable already exists: ${s.name}`, s.ref);
             }
             sctx = addVariable(s.name, expressionType, sctx);